Search Results - "Ichii, Makoto" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction

by OGAWA, Hideto, ICHII, Makoto, MYOJIN, Tomoyuki, CHIKAHISA, Masaki, NAKAGAWA, Yuichiro
Published in IEICE Transactions on Information and Systems (2015)

Get full text

Journal Article

A Practical Study of Debugging Using Model Checking

A Practical Study of Debugging Using Model Checking

by Ogawa, Hideto, Ichii, Makoto, Kumeno, Fumihiko, Aoki, Toshiaki
Published in 2013 20th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2013)

Get full text

Conference Proceeding

REFACTORING EFFECT EVALUATION APPARATUS, REFACTORING EFFECT EVALUATION METHOD, AND PROGRAM

REFACTORING EFFECT EVALUATION APPARATUS, REFACTORING EFFECT EVALUATION METHOD, AND PROGRAM

by KAWAKAMI MASUMI, ICHII MAKOTO
Year of Publication 04.07.2024

Get full text

Patent

A Rule-based Automated Approach for Extracting Models from Source Code

A Rule-based Automated Approach for Extracting Models from Source Code

by Ichii, M., Myojin, T., Nakagawa, Y., Chikahisa, M., Ogawa, H.
Published in 2012 19th Working Conference on Reverse Engineering (01.10.2012)

Get full text

Conference Proceeding

SOURCE CODE ANALYSIS APPARATUS AND SOURCE CODE ANALYSIS METHOD

SOURCE CODE ANALYSIS APPARATUS AND SOURCE CODE ANALYSIS METHOD

by KAWAKAMI MASUMI, ICHII MAKOTO
Year of Publication 15.12.2022

Get full text

Patent

SOURCE CODE ANALYSIS APPARATUS, SOURCE CODE ANALYSIS METHOD, AND SOURCE CODE ANALYSIS PROGRAM

SOURCE CODE ANALYSIS APPARATUS, SOURCE CODE ANALYSIS METHOD, AND SOURCE CODE ANALYSIS PROGRAM

by KAWAKAMI MASUMI, YABUKI YUGA, ICHII MAKOTO, KAGA HIROTO
Year of Publication 07.03.2024

Get full text

Patent

SOURCE CODE ANALYSIS DEVICE AND SOURCE CODE ANALYSIS METHOD

SOURCE CODE ANALYSIS DEVICE AND SOURCE CODE ANALYSIS METHOD

by KAWAKAMI MASUMI, ICHII MAKOTO, KATO MASAYASU
Year of Publication 18.04.2019

Get full text

Patent

SOFTWARE ANALYSIS ASSISTANCE SYSTEM AND COMPUTER PROGRAM FOR SAME

SOFTWARE ANALYSIS ASSISTANCE SYSTEM AND COMPUTER PROGRAM FOR SAME

by WAKABAYASHI, Noboru, HORI, Akihiro, KAWAKAMI, Masumi, ICHII, Makoto, SUZUKI, Yasufumi
Year of Publication 12.11.2020

Get full text

Patent

SOFTWARE ANALYSIS SUPPORT SYSTEM AND COMPUTER PROGRAM THEREFOR

SOFTWARE ANALYSIS SUPPORT SYSTEM AND COMPUTER PROGRAM THEREFOR

by KAWAKAMI MASUMI, ICHII MAKOTO, SUZUKI YASUFUMI, WAKABAYASHI NOBORU, HORI AKIHIRO
Year of Publication 12.11.2020

Get full text

Patent

PROCESS CONTROL SUPPORT SYSTEM, PROCESS CONTROL SUPPORT METHOD, AND PROCESS CONTROL SUPPORT PROGRAM

PROCESS CONTROL SUPPORT SYSTEM, PROCESS CONTROL SUPPORT METHOD, AND PROCESS CONTROL SUPPORT PROGRAM

by KAWAKAMI MASUMI, ICHII MAKOTO, SUZUKI YASUFUMI, HORI AKIHIRO, OSHIMA KOSUKE
Year of Publication 25.06.2020

Get full text

Patent

PROCESS MANAGEMENT ASSISTANCE SYSTEM, PROCESS MANAGEMENT ASSISTANCE METHOD, AND PROCESS MANAGEMENT ASSISTANCE PROGRAM

PROCESS MANAGEMENT ASSISTANCE SYSTEM, PROCESS MANAGEMENT ASSISTANCE METHOD, AND PROCESS MANAGEMENT ASSISTANCE PROGRAM

by HORI, Akihiro, OSHIMA, Kosuke, KAWAKAMI, Masumi, ICHII, Makoto, SUZUKI, Yasufumi
Year of Publication 25.06.2020

Get full text

Patent

PROJECT SIGN DETECTION APPARATUS AND PROJECT SIGN DETECTION METHOD

PROJECT SIGN DETECTION APPARATUS AND PROJECT SIGN DETECTION METHOD

by NAKAYA FUMIE, KAWAKAMI MASUMI, ICHII MAKOTO, WU YUHAO, OSHIMA KOSUKE
Year of Publication 25.02.2022

Get full text

Patent

RISK ASSESSMENT SYSTEM AND RISK ASSESSMENT METHOD

RISK ASSESSMENT SYSTEM AND RISK ASSESSMENT METHOD

by KAWAKAMI MASUMI, KITAGAWA KENJI, ICHII MAKOTO, HORI AKIHIRO, WU YUHAO, OSHIMA KOSUKE
Year of Publication 02.09.2021

Get full text

Patent

SOFTWARE DEVELOPMENT ASSIST METHOD AND SYSTEM

SOFTWARE DEVELOPMENT ASSIST METHOD AND SYSTEM

by KAWAKAMI MASUMI, ICHII MAKOTO, ODA FUMIO
Year of Publication 11.01.2018

Get full text

Patent

RISK ASSESSMENT SYSTEM AND RISK ASSESSMENT METHOD

RISK ASSESSMENT SYSTEM AND RISK ASSESSMENT METHOD

by KITAGAWA Kenji, WU Yuhao, OSHIMA Kosuke, HORI Akihiro, KAWAKAMI Masumi, ICHII Makoto
Year of Publication 19.08.2021

Get full text

Patent

SOURCE CODE INSPECTION METHOD AND DEVICE

SOURCE CODE INSPECTION METHOD AND DEVICE

by ICHII MAKOTO, NOGUCHI HIDETO
Year of Publication 31.10.2013

Get full text

Patent

SOURCE CODE ANALYSIS DEVICE, SOURCE CODE ANALYSIS METHOD, AND SOURCE CODE ANALYSIS PROGRAM

SOURCE CODE ANALYSIS DEVICE, SOURCE CODE ANALYSIS METHOD, AND SOURCE CODE ANALYSIS PROGRAM

by TOSHIKUNI AI, KAWAKAMI MASUMI, ICHII MAKOTO, KATO MASAYASU
Year of Publication 23.05.2019

Get full text

Patent

CALCULATION DEVICE AND INFLUENCE OUTPUT SYSTEM

CALCULATION DEVICE AND INFLUENCE OUTPUT SYSTEM

by KAWAKAMI MASUMI, ICHII MAKOTO, SHIMODA SHINICHI, ODA FUMIO
Year of Publication 15.11.2018

Get full text

Patent

Source code analysis apparatus and source code analysis method

Source code analysis apparatus and source code analysis method

by Ichii, Makoto, Kawakami, Masumi
Year of Publication 24.09.2024

Get full text

Patent

SOURCE CODE EQUIVALENCE VERIFYING DEVICE, AND SOURCE CODE EQUIVALENCE VERIFYING METHOD

SOURCE CODE EQUIVALENCE VERIFYING DEVICE, AND SOURCE CODE EQUIVALENCE VERIFYING METHOD

by ICHII MAKOTO, SUZUKI YASUFUMI, SHIMBARA DAISUKE, NOGUCHI HIDETO
Year of Publication 17.03.2016

Get full text

Patent

1
2
3
4
5
6
Next
[6]