Atsushi Ohnishi

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