Atsushi Ohnishi

According to our database, Atsushi Ohnishi authored at least 74 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Supporting Q&A Processes in Requirements Elicitation: Bad Smell Detection and Version Control.

Yui Imahori, Junzo Kato, Shinpei Hayashi, Atsushi Ohnishi, Motoshi Saeki

Proceedings of the Quality of Information and Communications Technology, 2024

2023

Supporting change management of UML class diagrams.

Yusuke Numa, Atsushi Ohnishi

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

2021

Lightweight Operation History Graph for Traceability on Program Elements.

Takayuki Omori, Katsuhisa Maruyama, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2021

Supporting Software Development Task Understanding by Visualizing Operation History.

Takayuki Omori, Atsushi Ohnishi

Proceedings of the 19th IEEE/ACIS International Conference on Software Engineering Research, 2021

2020

Supporting Change Management of Sequence Diagrams.

Toshitaka Odamura, Takayuki Omori, Atsushi Ohnishi

Proceedings of the Knowledge-Based Software Engineering: 2020, 2020

2019

Verification method of reliability requirements.

Satsuki Yamada, Takayuki Omori, Atsushi Ohnishi

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Ripple Effect Analysis of Data Flow Requirements.

Bui Do Tien Hung, Takayuki Omori, Atsushi Ohnishi

Proceedings of the 14th International Conference on Software Technologies, 2019

2018

A Method of Verifying Time-Response Requirements.

Yuma Matsumoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2018

Ripple Effect Analysis Method of Data Flow Diagrams in Modifying Data Flow Requirements.

Jo Heayyoung, Takayuki Omori, Atsushi Ohnishi

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Transformation Method from Scenario to Sequence Diagram.

Yousuke Morikawa, Takayuki Omori, Atsushi Ohnishi

Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

2017

Visualization of Quality of Software Requirements Specification Using Digital Elevation Model.

Diding Adi Parwoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

A Method for Verifying Non-Functional Requirements.

Yuuma Matsumoto, Sayaka Shirai, Atsushi Ohnishi

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

2016

Scenario Retrieval Method Using Differential Scenario.

Eiji Shiota, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2016

A Verification Method of Time-response Requirements.

Yuuma Matsumoto, Atsushi Ohnishi

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

2015

A Visualization Tool for Scenario-based Software Development.

Eiji Shiota, Atsushi Ohnishi

Proceedings of the ICSOFT-EA 2015, 2015

2014

Ontology-Based Checking Method of Requirements Specification.

Dang Viet Dzung, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2014

Rule-Based Verification Method of Requirements Ontology.

Dang Viet Dzung, Bui Quang Huy, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2014

Customizable rule-based verification of requirements ontology.

Dang Viet Dzung, Atsushi Ohnishi

Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

2013

Software Requirements Parts for Construction of Software Requirements Specifications.

Yoshitaka Iyoda, Atsushi Ohnishi

Proceedings of the ICSOFT 2013, 2013

Evaluation of Ontology-Based Checking of Software Requirements Specification.

Dang Viet Dzung, Atsushi Ohnishi

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Scenario Generation Using Differential Scenario Information.

Masayuki Makino, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2012

Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame.

Haruhiko Kaiya, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2012

A Verification Method of the Correctness of Requirements Ontology.

Bui Quang Huy, Atsushi Ohnishi

Proceedings of the Knowledge-Based Software Engineering, 2012

Improving Software Quality Requirements Specifications Using Spectrum Analysis.

Haruhiko Kaiya, Atsushi Ohnishi

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

A Verification Method of Elicited Software Requirements Using Requirements Ontology.

Dang Viet Dzung, Atsushi Ohnishi

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Quality Requirements Analysis Using Requirements Frames.

Haruhiko Kaiya, Atsushi Ohnishi

Proceedings of the 11th International Conference on Quality Software, 2011

2010

A Generation Method of Alternative Scenarios with a Normal Scenario.

Atsushi Ohnishi, Koji Kitamoto

IEICE Trans. Inf. Syst., 2010

Foreword.

Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2010

Automatic Transformation of Organization of Software Requirements Specifications.

Yusuke Matsuo, Kiyoshi Ogasawara, Atsushi Ohnishi

Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, 2010

Visualized Scenario Classification Method.

Yusaku Yoshida, Atsushi Ohnishi

Proceedings of the 10th International Conference on Quality Software, 2010

A Method for Exception Scenarios Generation Using Templates of Exceptions.

Hiroki Shudo, Atsushi Ohnishi

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Ontology-Based Reasoning in Requirements Elicitation.

Dang Viet Dzung, Atsushi Ohnishi

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Improvement of Quality of Software Requirements with Requirements Ontology.

Dang Viet Dzung, Atsushi Ohnishi

Proceedings of the Ninth International Conference on Quality Software, 2009

Transformation of Organization of Software Requirements Specifications.

Yusuke Matsuo, Atsushi Ohnishi

Proceedings of the ICSOFT 2009, 2009

2008

A Generation Method of Exceptional Scenarios from a Normal Scenario.

Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2008

A Method of Scenario Generation with Differential Scenario.

Masayuki Makino, Atsushi Ohnishi

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Classifying Scenarios with Differential Scenario.

Atsushi Ohnishi

Proceedings of the Knowledge-Based Software Engineering, 2008

Common Criteria Based Security Scenario Verification.

Atsushi Ohnishi

Proceedings of the Software and Data Technologies - Third International Conference, 2008

Verification of Scenarios Using the Common Criteria.

Atsushi Ohnishi

Proceedings of the ICSOFT 2008, 2008

Alternative/Exceptional Scenario Generation with Differential Scenario.

Masayuki Makino, Atsushi Ohnishi

Proceedings of the Third International Conference on Software Engineering Advances, 2008

2007

Effects of Thesaurus in Requirements Elicitation.

Junzo Kato, Motoshi Saeki, Atsushi Ohnishi, Haruhiko Kaiya, Shuichiro Yamamoto

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria.

Hiroya Itoga, Atsushi Ohnishi

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

Guest Editors' Introduction.

Kai-Yuan Cai, Atsushi Ohnishi, T. H. Tse

Int. J. Softw. Eng. Knowl. Eng., 2006

Improvement of the Correctness of Scenarios with Rules.

Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2006

A scenario generation method using a differential scenario.

Masayuki Makino, Atsushi Ohnishi

Proceedings of the ICSOFT 2006, 2006

Supporting Methods of Generating Alternative Scenarios from a Normal Scenario.

Atsushi Ohnishi

Proceedings of the ICEIS 2006, 2006

2005

Rule-based Verification of Scenarios with Pre-conditions and Post-conditions.

Tatsuya Toyama, Atsushi Ohnishi

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

A Supporting Method of the Evolution of State Diagrams with Scenarios.

Takuya Kadota, Atsushi Ohnishi

Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

2004

Transformation between Scenarios from Different Viewpoints.

Hong Hui Zhang, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2004

A Transformation Method of Scenarios from Different Viewpoints.

Hong Hui Zhang, Atsushi Ohnishi

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Integration and Evolution Method of Scenarios from Different Viewpoints.

Hong Hui Zhang, Atsushi Ohnishi

Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

A Scenario Description Language Based on Action Frame.

Hong Hui Zhang, Atsushi Ohnishi

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

PAORE: Package Oriented Requirements Elicitation.

Junzo Kato, Morio Nagata, Shuichiro Yamamoto, Motoshi Saeki, Haruhiko Kaiya, Hisayuki Horai, Atsushi Ohnishi, Seiichi Komiya, Kenji Watahiki

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

A supporting system for verification among models of the UML.

Atsushi Ohnishi

Syst. Comput. Jpn., 2002

Transformation and Integration Method of Scenarios.

Atsushi Ohnishi, Hong Hui Zhang, Hiroshi Fujimoto

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

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

A Model for Navigating Interview Processes in Requirements Elicitation.

Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

A Visual Supporting Method for Sequence Controller Programming.

Yongil Shin, Atsushi Ohnishi

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999

Vrdl: a Visual Software Requirements Language.

Atsushi Ohnishi

Trans. SDPS, 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, Erich R. Schmidt, Cristian Tapus, Waldemar Wieczerzycki, Daniel M. Zimmerman

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Collaborative Requirements Definition with VRDL.

Atsushi Ohnishi

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications.

Hideaki Sugimoto, Atsushi Ohnishi

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

A Visual Programming Method for Developing Sequence Controller Programs.

Atsushi Ohnishi, Yongil Shin

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Audio-visual software requirements specification.

Atsushi Ohnishi

Proceedings of the 1998 International Workshop on Multimedia Software Engineering, 1998

1997

Visual software requirements definition environment.

Atsushi Ohnishi, Norihiro Tokuda

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Software Requirements Definition for Specification Database.

Atsushi Ohnishi

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

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 Specification Database Based on Requirements Frame Model.

Atsushi Ohnishi

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995

CARD: An Environment for Software Requirements Definition.

Atsushi Ohnishi

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

A visual software requirements definition method.

Atsushi Ohnishi

Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

Customizable software requirements languages.

Atsushi Ohnishi

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993

Visual Software Requirements Specification Language: VRDL.

Atsushi Ohnishi

Proceedings of the SEKE'93, 1993

CARD: a software requirements definition environment.

Atsushi Ohnishi, Kiyoshi Agusa

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

1982

Verification System for Formal Requirements Description.

Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno

Proceedings of the Proceedings, 1982