Atsushi Ohnishi

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 14

Top Topics

Change Management

Verification Method

Software Development

Top Venues

IEICE Trans. Inf. Syst.

Publications

Yusuke Numa, Atsushi Ohnishi
Supporting change management of UML class diagrams. KES (2023)
Takayuki Omori, Katsuhisa Maruyama, Atsushi Ohnishi
Lightweight Operation History Graph for Traceability on Program Elements. IEICE Trans. Inf. Syst. (3) (2021)
Takayuki Omori, Atsushi Ohnishi
Supporting Software Development Task Understanding by Visualizing Operation History. SERA (2021)
Toshitaka Odamura, Takayuki Omori, Atsushi Ohnishi
Supporting Change Management of Sequence Diagrams. JCKBSE (2020)
Bui Do Tien Hung, Takayuki Omori, Atsushi Ohnishi
Ripple Effect Analysis of Data Flow Requirements. ICSOFT (2019)
Satsuki Yamada, Takayuki Omori, Atsushi Ohnishi
Verification method of reliability requirements. KES (2019)
Yousuke Morikawa, Takayuki Omori, Atsushi Ohnishi
Transformation Method from Scenario to Sequence Diagram. KMIS (2018)
Yuma Matsumoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi
A Method of Verifying Time-Response Requirements. IEICE Trans. Inf. Syst. (7) (2018)
Jo Heayyoung, Takayuki Omori, Atsushi Ohnishi
Ripple Effect Analysis Method of Data Flow Diagrams in Modifying Data Flow Requirements. JCKBSE (2018)
Diding Adi Parwoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi
Visualization of Quality of Software Requirements Specification Using Digital Elevation Model. REFSQ (2017)
Yuuma Matsumoto, Sayaka Shirai, Atsushi Ohnishi
A Method for Verifying Non-Functional Requirements. KES (2017)
Eiji Shiota, Atsushi Ohnishi
Scenario Retrieval Method Using Differential Scenario. IEICE Trans. Inf. Syst. (9) (2016)
Yuuma Matsumoto, Atsushi Ohnishi
A Verification Method of Time-response Requirements. ICSOFT-EA (2016)
Eiji Shiota, Atsushi Ohnishi
A Visualization Tool for Scenario-based Software Development. ICSOFT-EA (2015)
Dang Viet Dzung, Atsushi Ohnishi
Ontology-Based Checking Method of Requirements Specification. IEICE Trans. Inf. Syst. (5) (2014)
Dang Viet Dzung, Atsushi Ohnishi
Customizable rule-based verification of requirements ontology. AIRE (2014)
Dang Viet Dzung, Bui Quang Huy, Atsushi Ohnishi
Rule-Based Verification Method of Requirements Ontology. IEICE Trans. Inf. Syst. (5) (2014)
Yoshitaka Iyoda, Atsushi Ohnishi
Software Requirements Parts for Construction of Software Requirements Specifications. ICSOFT (2013)
Dang Viet Dzung, Atsushi Ohnishi
Evaluation of Ontology-Based Checking of Software Requirements Specification. COMPSAC (2013)
Masayuki Makino, Atsushi Ohnishi
Scenario Generation Using Differential Scenario Information. IEICE Trans. Inf. Syst. (4) (2012)
Haruhiko Kaiya, Atsushi Ohnishi
Improving Software Quality Requirements Specifications Using Spectrum Analysis. COMPSAC Workshops (2012)
Dang Viet Dzung, Atsushi Ohnishi
A Verification Method of Elicited Software Requirements Using Requirements Ontology. APSEC (2012)
Bui Quang Huy, Atsushi Ohnishi
A Verification Method of the Correctness of Requirements Ontology. JCKBSE (2012)
Haruhiko Kaiya, Atsushi Ohnishi
Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame. IEICE Trans. Inf. Syst. (4) (2012)
Haruhiko Kaiya, Atsushi Ohnishi
Quality Requirements Analysis Using Requirements Frames. QSIC (2011)
Hiroki Shudo, Atsushi Ohnishi
A Method for Exception Scenarios Generation Using Templates of Exceptions. APSEC (2010)
Atsushi Ohnishi
Foreword. IEICE Trans. Inf. Syst. (4) (2010)
Yusuke Matsuo, Kiyoshi Ogasawara, Atsushi Ohnishi
Automatic Transformation of Organization of Software Requirements Specifications. RCIS (2010)
Yusaku Yoshida, Atsushi Ohnishi
Visualized Scenario Classification Method. QSIC (2010)
Atsushi Ohnishi, Koji Kitamoto
A Generation Method of Alternative Scenarios with a Normal Scenario. IEICE Trans. Inf. Syst. (4) (2010)
Dang Viet Dzung, Atsushi Ohnishi
Ontology-Based Reasoning in Requirements Elicitation. SEFM (2009)
Dang Viet Dzung, Atsushi Ohnishi
Improvement of Quality of Software Requirements with Requirements Ontology. QSIC (2009)
Yusuke Matsuo, Atsushi Ohnishi
Transformation of Organization of Software Requirements Specifications. ICSOFT (1) (2009)
Atsushi Ohnishi
Classifying Scenarios with Differential Scenario. JCKBSE (2008)
Atsushi Ohnishi
Verification of Scenarios Using the Common Criteria. ICSOFT (SE/MUSE/GSDCA) (2008)
Masayuki Makino, Atsushi Ohnishi
A Method of Scenario Generation with Differential Scenario. RE (2008)
Atsushi Ohnishi
A Generation Method of Exceptional Scenarios from a Normal Scenario. IEICE Trans. Inf. Syst. (4) (2008)
Atsushi Ohnishi
Common Criteria Based Security Scenario Verification. ICSOFT (Selected Papers) (2008)
Masayuki Makino, Atsushi Ohnishi
Alternative/Exceptional Scenario Generation with Differential Scenario. ICSEA (2008)
Hiroya Itoga, Atsushi Ohnishi
Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria. QSIC (2007)
Junzo Kato, Motoshi Saeki, Atsushi Ohnishi, Haruhiko Kaiya, Shuichiro Yamamoto
Effects of Thesaurus in Requirements Elicitation. RCIS (2007)
Atsushi Ohnishi
Supporting Methods of Generating Alternative Scenarios from a Normal Scenario. ICEIS (3) (2006)
Kai-Yuan Cai, Atsushi Ohnishi, T. H. Tse
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 16 (5) (2006)
Atsushi Ohnishi
Improvement of the Correctness of Scenarios with Rules. IEICE Trans. Inf. Syst. (4) (2006)
Atsushi Ohnishi
A Generation Method of Exceptional Scenarios from a Normal Scenario. JCKBSE (2006)
Masayuki Makino, Atsushi Ohnishi
A scenario generation method using a differential scenario. ICSOFT (1) (2006)
Tatsuya Toyama, Atsushi Ohnishi
Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. RE (2005)
Takuya Kadota, Atsushi Ohnishi
A Supporting Method of the Evolution of State Diagrams with Scenarios. IWPSE (2005)
Hong Hui Zhang, Atsushi Ohnishi
A Transformation Method of Scenarios from Different Viewpoints. APSEC (2004)
Hong Hui Zhang, Atsushi Ohnishi
Transformation between Scenarios from Different Viewpoints. IEICE Trans. Inf. Syst. (4) (2004)
Junzo Kato, Morio Nagata, Shuichiro Yamamoto, Motoshi Saeki, Haruhiko Kaiya, Hisayuki Horai, Atsushi Ohnishi, Seiichi Komiya, Kenji Watahiki
PAORE: Package Oriented Requirements Elicitation. APSEC (2003)
Hong Hui Zhang, Atsushi Ohnishi
A Scenario Description Language Based on Action Frame. CAiSE Short Paper Proceedings (2003)
Hong Hui Zhang, Atsushi Ohnishi
Integration and Evolution Method of Scenarios from Different Viewpoints. IWPSE (2003)
Atsushi Ohnishi
A supporting system for verification among models of the UML. Systems and Computers in Japan 33 (4) (2002)
Atsushi Ohnishi, Hong Hui Zhang, Hiroshi Fujimoto
Transformation and Integration Method of Scenarios. COMPSAC (2002)
Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai
A Model for Navigating Interview Processes in Requirements Elicitation. APSEC (2001)
Atsushi Ohnishi, Yuji Sugiyama
A fast method for timing verification that uses the conditions that cause changes in the output values of gates. Systems and Computers in Japan 32 (1) (2001)
Yongil Shin, Atsushi Ohnishi
A Visual Supporting Method for Sequence Controller Programming. COMPSAC (2000)
Ivan Tomek, Alicia Díaz, Ronald Melster, António Rito Silva, Miguel Antunes, Vinny Cahill, Zièd Choukair, Alejandro Fernández, Mads Haahr, Eric Jul, Atsushi Ohnishi, Luís E. T. Rodrigues, Erich R. Schmidt, Cristian Tapus, Waldemar Wieczerzycki, Daniel M. Zimmerman
Multi-user Object-Oriented Environments. ECOOP Workshops (1999)
Hideaki Sugimoto, Atsushi Ohnishi
A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. APSEC (1999)
Atsushi Ohnishi
Collaborative Requirements Definition with VRDL. ECOOP Workshops (1999)
Atsushi Ohnishi
Vrdl: a Visual Software Requirements Language. Trans. SDPS 3 (3) (1999)
Atsushi Ohnishi, Yongil Shin
A Visual Programming Method for Developing Sequence Controller Programs. APSEC (1999)
Atsushi Ohnishi
Audio-visual software requirements specification. MSE (1998)
Atsushi Ohnishi, Norihiro Tokuda
Visual software requirements definition environment. COMPSAC (1997)
Atsushi Ohnishi
Software Requirements Definition for Specification Database. APSEC (1997)
Atsushi Ohnishi, Yuji Sugiyama, Takuji Okamoto
Timing verification of asynchronous sequential circuits with specifications - A method of reducing state transitions to be verified in detail. Systems and Computers in Japan 27 (11) (1996)
Atsushi Ohnishi
Software Requirements Specification Database Based on Requirements Frame Model. ICRE (1996)
Atsushi Ohnishi
CARD: An Environment for Software Requirements Definition. APSEC (1995)
Atsushi Ohnishi
A visual software requirements definition method. ICRE (1994)
Atsushi Ohnishi
Customizable software requirements languages. COMPSAC (1994)
Atsushi Ohnishi
Visual Software Requirements Specification Language: VRDL. SEKE (1993)
Atsushi Ohnishi, Kiyoshi Agusa
CARD: a software requirements definition environment. RE (1993)
Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno
Verification System for Formal Requirements Description. ICSE (1982)