default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAtsushi Ohnishi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c58]Yui Imahori, Junzo Kato, Shinpei Hayashi, Atsushi Ohnishi, Motoshi Saeki:
Supporting Q&A Processes in Requirements Elicitation: Bad Smell Detection and Version Control. QUATIC 2024: 253-268- 2023
- [c57]Yusuke Numa, Atsushi Ohnishi:
Supporting change management of UML class diagrams. KES 2023: 208-217 - 2021
- [j17]Takayuki Omori, Katsuhisa Maruyama, Atsushi Ohnishi:
Lightweight Operation History Graph for Traceability on Program Elements. IEICE Trans. Inf. Syst. 104-D(3): 404-418 (2021) - [c56]Takayuki Omori, Atsushi Ohnishi:
Supporting Software Development Task Understanding by Visualizing Operation History. SERA 2021: 73-80 - 2020
- [c55]Toshitaka Odamura, Takayuki Omori, Atsushi Ohnishi:
Supporting Change Management of Sequence Diagrams. JCKBSE 2020: 35-46
2010 – 2019
- 2019
- [c54]Bui Do Tien Hung, Takayuki Omori, Atsushi Ohnishi:
Ripple Effect Analysis of Data Flow Requirements. ICSOFT 2019: 262-269 - [c53]Satsuki Yamada, Takayuki Omori, Atsushi Ohnishi:
Verification method of reliability requirements. KES 2019: 860-869 - 2018
- [j16]Yuma Matsumoto, Takayuki Omori, Hiroya Itoga
, Atsushi Ohnishi:
A Method of Verifying Time-Response Requirements. IEICE Trans. Inf. Syst. 101-D(7): 1725-1732 (2018) - [c52]Yousuke Morikawa, Takayuki Omori, Atsushi Ohnishi:
Transformation Method from Scenario to Sequence Diagram. KMIS 2018: 134-141 - [c51]Jo Heayyoung, Takayuki Omori, Atsushi Ohnishi:
Ripple Effect Analysis Method of Data Flow Diagrams in Modifying Data Flow Requirements. JCKBSE 2018: 1-11 - 2017
- [c50]Yuuma Matsumoto, Sayaka Shirai, Atsushi Ohnishi:
A Method for Verifying Non-Functional Requirements. KES 2017: 157-166 - [c49]Diding Adi Parwoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi:
Visualization of Quality of Software Requirements Specification Using Digital Elevation Model. REFSQ 2017: 209-215 - 2016
- [j15]Eiji Shiota, Atsushi Ohnishi:
Scenario Retrieval Method Using Differential Scenario. IEICE Trans. Inf. Syst. 99-D(9): 2202-2209 (2016) - [c48]Yuuma Matsumoto, Atsushi Ohnishi:
A Verification Method of Time-response Requirements. ICSOFT-EA 2016: 149-156 - 2015
- [c47]Eiji Shiota, Atsushi Ohnishi:
A Visualization Tool for Scenario-based Software Development. ICSOFT-EA 2015: 293-300 - 2014
- [j14]Dang Viet Dzung, Bui Quang Huy, Atsushi Ohnishi:
Rule-Based Verification Method of Requirements Ontology. IEICE Trans. Inf. Syst. 97-D(5): 1017-1027 (2014) - [j13]Dang Viet Dzung, Atsushi Ohnishi:
Ontology-Based Checking Method of Requirements Specification. IEICE Trans. Inf. Syst. 97-D(5): 1028-1038 (2014) - [c46]Dang Viet Dzung, Atsushi Ohnishi:
Customizable rule-based verification of requirements ontology. AIRE 2014: 19-26 - 2013
- [c45]Dang Viet Dzung, Atsushi Ohnishi:
Evaluation of Ontology-Based Checking of Software Requirements Specification. COMPSAC 2013: 425-430 - [c44]Yoshitaka Iyoda, Atsushi Ohnishi:
Software Requirements Parts for Construction of Software Requirements Specifications. ICSOFT 2013: 147-153 - 2012
- [j12]Haruhiko Kaiya, Atsushi Ohnishi:
Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame. IEICE Trans. Inf. Syst. 95-D(4): 1031-1043 (2012) - [j11]Masayuki Makino, Atsushi Ohnishi:
Scenario Generation Using Differential Scenario Information. IEICE Trans. Inf. Syst. 95-D(4): 1044-1051 (2012) - [c43]Dang Viet Dzung, Atsushi Ohnishi:
A Verification Method of Elicited Software Requirements Using Requirements Ontology. APSEC 2012: 553-558 - [c42]Haruhiko Kaiya, Atsushi Ohnishi:
Improving Software Quality Requirements Specifications Using Spectrum Analysis. COMPSAC Workshops 2012: 379-384 - [c41]Bui Quang Huy, Atsushi Ohnishi:
A Verification Method of the Correctness of Requirements Ontology. JCKBSE 2012: 1-10 - 2011
- [c40]Haruhiko Kaiya, Atsushi Ohnishi:
Quality Requirements Analysis Using Requirements Frames. QSIC 2011: 198-207 - 2010
- [j10]Atsushi Ohnishi:
Foreword. IEICE Trans. Inf. Syst. 93-D(4): 677-678 (2010) - [j9]Atsushi Ohnishi, Koji Kitamoto:
A Generation Method of Alternative Scenarios with a Normal Scenario. IEICE Trans. Inf. Syst. 93-D(4): 693-701 (2010) - [c39]Hiroki Shudo, Atsushi Ohnishi:
A Method for Exception Scenarios Generation Using Templates of Exceptions. APSEC 2010: 13-22 - [c38]Yusaku Yoshida, Atsushi Ohnishi:
Visualized Scenario Classification Method. QSIC 2010: 306-311 - [c37]Yusuke Matsuo, Kiyoshi Ogasawara, Atsushi Ohnishi:
Automatic Transformation of Organization of Software Requirements Specifications. RCIS 2010: 269-278
2000 – 2009
- 2009
- [c36]Yusuke Matsuo, Atsushi Ohnishi:
Transformation of Organization of Software Requirements Specifications. ICSOFT (1) 2009: 291-294 - [c35]Dang Viet Dzung, Atsushi Ohnishi:
Improvement of Quality of Software Requirements with Requirements Ontology. QSIC 2009: 284-289 - [c34]Dang Viet Dzung, Atsushi Ohnishi:
Ontology-Based Reasoning in Requirements Elicitation. SEFM 2009: 263-272 - 2008
- [j8]Atsushi Ohnishi:
A Generation Method of Exceptional Scenarios from a Normal Scenario. IEICE Trans. Inf. Syst. 91-D(4): 881-887 (2008) - [c33]Masayuki Makino, Atsushi Ohnishi:
Alternative/Exceptional Scenario Generation with Differential Scenario. ICSEA 2008: 346-351 - [c32]Atsushi Ohnishi:
Verification of Scenarios Using the Common Criteria. ICSOFT (SE/MUSE/GSDCA) 2008: 5-11 - [c31]Atsushi Ohnishi:
Common Criteria Based Security Scenario Verification. ICSOFT (Selected Papers) 2008: 37-47 - [c30]Atsushi Ohnishi:
Classifying Scenarios with Differential Scenario. JCKBSE 2008: 9-21 - [c29]Masayuki Makino, Atsushi Ohnishi:
A Method of Scenario Generation with Differential Scenario. RE 2008: 337-338 - 2007
- [c28]Hiroya Itoga, Atsushi Ohnishi:
Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria. QSIC 2007: 70-79 - [c27]Junzo Kato, Motoshi Saeki, Atsushi Ohnishi, Haruhiko Kaiya, Shuichiro Yamamoto:
Effects of Thesaurus in Requirements Elicitation. RCIS 2007: 385-394 - 2006
- [j7]Atsushi Ohnishi:
Improvement of the Correctness of Scenarios with Rules. IEICE Trans. Inf. Syst. 89-D(4): 1337-1346 (2006) - [j6]Kai-Yuan Cai, Atsushi Ohnishi, T. H. Tse:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 16(5): 653-654 (2006) - [c26]Atsushi Ohnishi:
Supporting Methods of Generating Alternative Scenarios from a Normal Scenario. ICEIS (3) 2006: 110-117 - [c25]Masayuki Makino, Atsushi Ohnishi:
A scenario generation method using a differential scenario. ICSOFT (1) 2006: 279-282 - [c24]Atsushi Ohnishi:
A Generation Method of Exceptional Scenarios from a Normal Scenario. JCKBSE 2006: 125-134 - 2005
- [c23]Takuya Kadota, Atsushi Ohnishi:
A Supporting Method of the Evolution of State Diagrams with Scenarios. IWPSE 2005: 91-102 - [c22]Tatsuya Toyama, Atsushi Ohnishi:
Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. RE 2005: 319-328 - 2004
- [j5]Hong Hui Zhang, Atsushi Ohnishi:
Transformation between Scenarios from Different Viewpoints. IEICE Trans. Inf. Syst. 87-D(4): 801-810 (2004) - [c21]Hong Hui Zhang, Atsushi Ohnishi:
A Transformation Method of Scenarios from Different Viewpoints. APSEC 2004: 492-501 - 2003
- [c20]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- - [c19]Hong Hui Zhang, Atsushi Ohnishi:
A Scenario Description Language Based on Action Frame. CAiSE Short Paper Proceedings 2003 - [c18]Hong Hui Zhang, Atsushi Ohnishi:
Integration and Evolution Method of Scenarios from Different Viewpoints. IWPSE 2003: 183-188 - 2002
- [j4]Atsushi Ohnishi:
A supporting system for verification among models of the UML. Syst. Comput. Jpn. 33(4): 1-13 (2002) - [c17]Atsushi Ohnishi, Hong Hui Zhang, Hiroshi Fujimoto:
Transformation and Integration Method of Scenarios. COMPSAC 2002: 224-232 - 2001
- [j3]Atsushi Ohnishi, Yuji Sugiyama:
A fast method for timing verification that uses the conditions that cause changes in the output values of gates. Syst. Comput. Jpn. 32(1): 38-44 (2001) - [c16]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
- [c15]Yongil Shin, Atsushi Ohnishi:
A Visual Supporting Method for Sequence Controller Programming. COMPSAC 2000: 331-336
1990 – 1999
- 1999
- [j2]Atsushi Ohnishi:
Vrdl: a Visual Software Requirements Language. Trans. SDPS 3(3): 43-52 (1999) - [c14]Atsushi Ohnishi, Yongil Shin:
A Visual Programming Method for Developing Sequence Controller Programs. APSEC 1999: 118- - [c13]Hideaki Sugimoto, Atsushi Ohnishi:
A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. APSEC 1999: 208-215 - [c12]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: 80-96 - [c11]Atsushi Ohnishi:
Collaborative Requirements Definition with VRDL. ECOOP Workshops 1999: 84 - 1998
- [c10]Atsushi Ohnishi:
Audio-visual software requirements specification. MSE 1998: 26-33 - 1997
- [c9]Atsushi Ohnishi:
Software Requirements Definition for Specification Database. APSEC 1997: 521-520 - [c8]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. Syst. Comput. Jpn. 27(11): 53-63 (1996) - [c7]Atsushi Ohnishi:
Software Requirements Specification Database Based on Requirements Frame Model. ICRE 1996: 221-228 - 1995
- [c6]Atsushi Ohnishi:
CARD: An Environment for Software Requirements Definition. APSEC 1995: 420-429 - 1994
- [c5]Atsushi Ohnishi:
Customizable software requirements languages. COMPSAC 1994: 5-10 - [c4]Atsushi Ohnishi:
A visual software requirements definition method. ICRE 1994: 194-201 - 1993
- [c3]Atsushi Ohnishi, Kiyoshi Agusa:
CARD: a software requirements definition environment. RE 1993: 90-93 - [c2]Atsushi Ohnishi:
Visual Software Requirements Specification Language: VRDL. SEKE 1993: 219-221
1980 – 1989
- 1982
- [c1]Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno:
Verification System for Formal Requirements Description. ICSE 1982: 120-126
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
