Verification System for Formal Requirements Description. - Kiyoshi Agusa; Atsushi Ohnishi; Yutaka Ohno (ICSE, 1982)

CARD: a software requirements definition environment. - Atsushi Ohnishi; Kiyoshi Agusa (RE, 1993)

Visual Software Requirements Specification Language: VRDL. - Atsushi Ohnishi (SEKE, 1993)

Customizable software requirements languages. - Atsushi Ohnishi (COMPSAC, 1994)

A visual software requirements definition method. - Atsushi Ohnishi (ICRE, 1994)

CARD: An Environment for Software Requirements Definition. - Atsushi Ohnishi (APSEC, 1995)

Software Requirements Specification Database Based on Requirements Frame Model. - Atsushi Ohnishi (ICRE, 1996)

Timing verification of asynchronous sequential circuits with specifications - A method of reducing state transitions to be verified in detail. - Atsushi Ohnishi; Yuji Sugiyama; Takuji Okamoto (Syst. Comput. Jpn., 1996)

Software Requirements Definition for Specification Database. - Atsushi Ohnishi (APSEC, 1997)

Visual software requirements definition environment. - Atsushi Ohnishi; Norihiro Tokuda (COMPSAC, 1997)

Audio-visual software requirements specification. - Atsushi Ohnishi (MSE, 1998)

A Visual Programming Method for Developing Sequence Controller Programs. - Atsushi Ohnishi; Yongil Shin (APSEC, 1999)

A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. - Hideaki Sugimoto; Atsushi Ohnishi (APSEC, 1999)

Collaborative Requirements Definition with VRDL. - Atsushi Ohnishi (ECOOP Workshops, 1999)

Multi-user Object-Oriented Environments. - 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; et al. (ECOOP Workshops, 1999)

Vrdl: a Visual Software Requirements Language. - Atsushi Ohnishi (Trans. SDPS, 1999)

A Visual Supporting Method for Sequence Controller Programming. - Yongil Shin; Atsushi Ohnishi (COMPSAC, 2000)

A Model for Navigating Interview Processes in Requirements Elicitation. - Junzo Kato; Seiichi Komiya; Motoshi Saeki; Atsushi Ohnishi; Morio Nagata; Shuichiro Yamamoto; Hisayuki Horai (APSEC, 2001)

A fast method for timing verification that uses the conditions that cause changes in the output values of gates. - Atsushi Ohnishi; Yuji Sugiyama (Syst. Comput. Jpn., 2001)

Transformation and Integration Method of Scenarios. - Atsushi Ohnishi; Hong Hui Zhang; Hiroshi Fujimoto (COMPSAC, 2002)

A supporting system for verification among models of the UML. - Atsushi Ohnishi (Syst. Comput. Jpn., 2002)

PAORE: Package Oriented Requirements Elicitation. - Junzo Kato; Morio Nagata; Shuichiro Yamamoto; Motoshi Saeki; Haruhiko Kaiya; Hisayuki Horai; Atsushi Ohnishi; Seiichi Komiya; Kenji Watahiki (APSEC, 2003)

A Scenario Description Language Based on Action Frame. - Hong Hui Zhang; Atsushi Ohnishi (CAiSE Short Paper Proceedings, 2003)

Integration and Evolution Method of Scenarios from Different Viewpoints. - Hong Hui Zhang; Atsushi Ohnishi (IWPSE, 2003)

A Transformation Method of Scenarios from Different Viewpoints. - Hong Hui Zhang; Atsushi Ohnishi (APSEC, 2004)

Transformation between Scenarios from Different Viewpoints. - Hong Hui Zhang; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2004)

A Supporting Method of the Evolution of State Diagrams with Scenarios. - Takuya Kadota; Atsushi Ohnishi (IWPSE, 2005)

Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. - Tatsuya Toyama; Atsushi Ohnishi (RE, 2005)

Supporting Methods of Generating Alternative Scenarios from a Normal Scenario. - Atsushi Ohnishi (ICEIS (3), 2006)

A scenario generation method using a differential scenario. - Masayuki Makino; Atsushi Ohnishi (ICSOFT (1), 2006)

Improvement of the Correctness of Scenarios with Rules. - Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2006)

Guest Editors' Introduction. - Kai-Yuan Cai; Atsushi Ohnishi; T. H. Tse (Int. J. Softw. Eng. Knowl. Eng., 2006)

Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria. - Hiroya Itoga; Atsushi Ohnishi (QSIC, 2007)

Effects of Thesaurus in Requirements Elicitation. - Junzo Kato; Motoshi Saeki; Atsushi Ohnishi; Haruhiko Kaiya; Shuichiro Yamamoto (RCIS, 2007)

Alternative/Exceptional Scenario Generation with Differential Scenario. - Masayuki Makino; Atsushi Ohnishi (ICSEA, 2008)

Verification of Scenarios Using the Common Criteria. - Atsushi Ohnishi (ICSOFT (SE/MUSE/GSDCA), 2008)

Common Criteria Based Security Scenario Verification. - Atsushi Ohnishi (ICSOFT (Selected Papers), 2008)

Classifying Scenarios with Differential Scenario. - Atsushi Ohnishi (JCKBSE, 2008)

A Method of Scenario Generation with Differential Scenario. - Masayuki Makino; Atsushi Ohnishi (RE, 2008)

A Generation Method of Exceptional Scenarios from a Normal Scenario. - Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2008)

Transformation of Organization of Software Requirements Specifications. - Yusuke Matsuo; Atsushi Ohnishi (ICSOFT (1), 2009)

Improvement of Quality of Software Requirements with Requirements Ontology. - Dang Viet Dzung; Atsushi Ohnishi (QSIC, 2009)

Ontology-Based Reasoning in Requirements Elicitation. - Dang Viet Dzung; Atsushi Ohnishi (SEFM, 2009)

A Method for Exception Scenarios Generation Using Templates of Exceptions. - Hiroki Shudo; Atsushi Ohnishi (APSEC, 2010)

Visualized Scenario Classification Method. - Yusaku Yoshida; Atsushi Ohnishi (QSIC, 2010)

Automatic Transformation of Organization of Software Requirements Specifications. - Yusuke Matsuo; Kiyoshi Ogasawara; Atsushi Ohnishi (RCIS, 2010)

Foreword. - Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2010)

A Generation Method of Alternative Scenarios with a Normal Scenario. - Atsushi Ohnishi; Koji Kitamoto (IEICE Trans. Inf. Syst., 2010)

Quality Requirements Analysis Using Requirements Frames. - Haruhiko Kaiya; Atsushi Ohnishi (QSIC, 2011)

A Verification Method of Elicited Software Requirements Using Requirements Ontology. - Dang Viet Dzung; Atsushi Ohnishi (APSEC, 2012)

Improving Software Quality Requirements Specifications Using Spectrum Analysis. - Haruhiko Kaiya; Atsushi Ohnishi (COMPSAC Workshops, 2012)

A Verification Method of the Correctness of Requirements Ontology. - Bui Quang Huy; Atsushi Ohnishi (JCKBSE, 2012)

Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame. - Haruhiko Kaiya; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2012)

Scenario Generation Using Differential Scenario Information. - Masayuki Makino; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2012)

Evaluation of Ontology-Based Checking of Software Requirements Specification. - Dang Viet Dzung; Atsushi Ohnishi (COMPSAC, 2013)

Software Requirements Parts for Construction of Software Requirements Specifications. - Yoshitaka Iyoda; Atsushi Ohnishi (ICSOFT, 2013)

Customizable rule-based verification of requirements ontology. - Dang Viet Dzung; Atsushi Ohnishi (AIRE, 2014)

Rule-Based Verification Method of Requirements Ontology. - Dang Viet Dzung; Bui Quang Huy; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2014)

Ontology-Based Checking Method of Requirements Specification. - Dang Viet Dzung; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2014)

A Visualization Tool for Scenario-based Software Development. - Eiji Shiota; Atsushi Ohnishi (ICSOFT-EA, 2015)

A Verification Method of Time-response Requirements. - Yuuma Matsumoto; Atsushi Ohnishi (ICSOFT-EA, 2016)

Scenario Retrieval Method Using Differential Scenario. - Eiji Shiota; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2016)

A Method for Verifying Non-Functional Requirements. - Yuuma Matsumoto; Sayaka Shirai; Atsushi Ohnishi (KES, 2017)

Visualization of Quality of Software Requirements Specification Using Digital Elevation Model. - Diding Adi Parwoto; Takayuki Omori; Hiroya Itoga; Atsushi Ohnishi (REFSQ, 2017)

Transformation Method from Scenario to Sequence Diagram. - Yousuke Morikawa; Takayuki Omori; Atsushi Ohnishi (KMIS, 2018)

Ripple Effect Analysis Method of Data Flow Diagrams in Modifying Data Flow Requirements. - Jo Heayyoung; Takayuki Omori; Atsushi Ohnishi (JCKBSE, 2018)

A Method of Verifying Time-Response Requirements. - Yuma Matsumoto; Takayuki Omori; Hiroya Itoga; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2018)

Ripple Effect Analysis of Data Flow Requirements. - Bui Do Tien Hung; Takayuki Omori; Atsushi Ohnishi (ICSOFT, 2019)

Verification method of reliability requirements. - Satsuki Yamada; Takayuki Omori; Atsushi Ohnishi (KES, 2019)

Supporting Change Management of Sequence Diagrams. - Toshitaka Odamura; Takayuki Omori; Atsushi Ohnishi (JCKBSE, 2020)

Supporting Software Development Task Understanding by Visualizing Operation History. - Takayuki Omori; Atsushi Ohnishi (SERA, 2021)

Lightweight Operation History Graph for Traceability on Program Elements. - Takayuki Omori; Katsuhisa Maruyama; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2021)

Supporting change management of UML class diagrams. - Yusuke Numa; Atsushi Ohnishi (KES, 2023)

Supporting Q&A Processes in Requirements Elicitation: Bad Smell Detection and Version Control. - Yui Imahori; Junzo Kato; Shinpei Hayashi; Atsushi Ohnishi; Motoshi Saeki (QUATIC, 2024)