Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Atsushi Ohnishi
2010 – today
- 2012
[j11]Haruhiko Kaiya, Atsushi Ohnishi: Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame. IEICE Transactions 95-D(4): 1031-1043 (2012)- [j10]Masayuki Makino, Atsushi Ohnishi: Scenario Generation Using Differential Scenario Information. IEICE Transactions 95-D(4): 1044-1051 (2012)
- [c37]Dang Viet Dzung, Atsushi Ohnishi: A Verification Method of Elicited Software Requirements Using Requirements Ontology. APSEC 2012: 553-558
- [c36]Haruhiko Kaiya, Atsushi Ohnishi: Improving Software Quality Requirements Specifications Using Spectrum Analysis. COMPSAC Workshops 2012: 379-384
- [c35]Bui Quang Huy, Atsushi Ohnishi: A Verification Method of the Correctness of Requirements Ontology. JCKBSE 2012: 1-10
- 2011
- [c34]Haruhiko Kaiya, Atsushi Ohnishi: Quality Requirements Analysis Using Requirements Frames. QSIC 2011: 198-207
- 2010
- [j9]
- [j8]Atsushi Ohnishi, Koji Kitamoto: A Generation Method of Alternative Scenarios with a Normal Scenario. IEICE Transactions 93-D(4): 693-701 (2010)
- [c33]Hiroki Shudo, Atsushi Ohnishi: A Method for Exception Scenarios Generation Using Templates of Exceptions. APSEC 2010: 13-22
- [c32]
- [c31]Yusuke Matsuo, Kiyoshi Ogasawara, Atsushi Ohnishi: Automatic Transformation of Organization of Software Requirements Specifications. RCIS 2010: 269-278
2000 – 2009
- 2009
- [c30]Yusuke Matsuo, Atsushi Ohnishi: Transformation of Organization of Software Requirements Specifications. ICSOFT (1) 2009: 291-294
- [c29]Dang Viet Dzung, Atsushi Ohnishi: Improvement of Quality of Software Requirements with Requirements Ontology. QSIC 2009: 284-289
- [c28]Dang Viet Dzung, Atsushi Ohnishi: Ontology-Based Reasoning in Requirements Elicitation. SEFM 2009: 263-272
- 2008
- [j7]Atsushi Ohnishi: A Generation Method of Exceptional Scenarios from a Normal Scenario. IEICE Transactions 91-D(4): 881-887 (2008)
- [c27]Masayuki Makino, Atsushi Ohnishi: Alternative/Exceptional Scenario Generation with Differential Scenario. ICSEA 2008: 346-351
- [c26]Atsushi Ohnishi: Verification of Scenarios Using the Common Criteria. ICSOFT (SE/MUSE/GSDCA) 2008: 5-11
- [c25]
- [c24]Masayuki Makino, Atsushi Ohnishi: A Method of Scenario Generation with Differential Scenario. RE 2008: 337-338
- 2007
- [c23]Hiroya Itoga, Atsushi Ohnishi: Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria. QSIC 2007: 70-79
- [c22]Junzo Kato, Motoshi Saeki, Atsushi Ohnishi, Haruhiko Kaiya, Shuichiro Yamamoto: Effects of Thesaurus in Requirements Elicitation. RCIS 2007: 385-394
- 2006
- [j6]Atsushi Ohnishi: Improvement of the Correctness of Scenarios with Rules. IEICE Transactions 89-D(4): 1337-1346 (2006)
- [j5]Kai-Yuan Cai, Atsushi Ohnishi, T. H. Tse: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 16(5): 653-654 (2006)
- [c21]Atsushi Ohnishi: Supporting Methods of Generating Alternative Scenarios from a Normal Scenario. ICEIS (3) 2006: 110-117
- [c20]Masayuki Makino, Atsushi Ohnishi: A scenario generation method using a differential scenario. ICSOFT (1) 2006: 279-282
- [c19]Atsushi Ohnishi: A Generation Method of Exceptional Scenarios from a Normal Scenario. JCKBSE 2006: 125-134
- 2005
- [c18]Takuya Kadota, Atsushi Ohnishi: A Supporting Method of the Evolution of State Diagrams with Scenarios. IWPSE 2005: 91-102
- [c17]Tatsuya Toyama, Atsushi Ohnishi: Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. RE 2005: 319-328
- 2004
- [j4]Hong Hui Zhang, Atsushi Ohnishi: Transformation between Scenarios from Different Viewpoints. IEICE Transactions 87-D(4): 801-810 (2004)
- [c16]Hong Hui Zhang, Atsushi Ohnishi: A Transformation Method of Scenarios from Different Viewpoints. APSEC 2004: 492-501
- 2003
- [c15]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: 17-
- [c14]Hong Hui Zhang, Atsushi Ohnishi: A Scenario Description Language Based on Action Frame. CAiSE Short Paper Proceedings 2003
- [c13]Hong Hui Zhang, Atsushi Ohnishi: Integration and Evolution Method of Scenarios from Different Viewpoints. IWPSE 2003: 183-188
- 2002
- [j3]Atsushi Ohnishi: A supporting system for verification among models of the UML. Systems and Computers in Japan 33(4): 1-13 (2002)
- [c12]Atsushi Ohnishi, Hong Hui Zhang, Hiroshi Fujimoto: Transformation and Integration Method of Scenarios. COMPSAC 2002: 224-232
- 2001
- [j2]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): 38-44 (2001)
- [c11]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: 141-148
- 2000
- [c10]Yongil Shin, Atsushi Ohnishi: A Visual Supporting Method for Sequence Controller Programming. COMPSAC 2000: 331-336
1990 – 1999
- 1999
- [c9]Atsushi Ohnishi, Yongil Shin: A Visual Programming Method for Developing Sequence Controller Programs. APSEC 1999: 118-
- [c8]Hideaki Sugimoto, Atsushi Ohnishi: A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. APSEC 1999: 208-215
- [c7]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 Rodrigues, Erich R. Schmidt, Cristian Tapus, Waldemar Wieczerzycki, Daniel M. Zimmerman: Multi-user Object-Oriented Environments. ECOOP Workshops 1999: 80-96
- [c6]
- 1997
- [c5]
- [c4]Atsushi Ohnishi, Norihiro Tokuda: Visual software requirements definition environment. COMPSAC 1997: 624-629
- 1996
- [j1]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): 53-63 (1996)
- [c3]Atsushi Ohnishi: Software Requirements Specification Database Based on Requirements Frame Model. ICRE 1996: 221-228
- 1995
- [c2]
- 1993
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-30 22:14 CEST by the dblp team