Atsushi OHNISHI


A Method of Verifying Time-Response Requirements
Yuma MATSUMOTO Takayuki OMORI Hiroya ITOGA Atsushi OHNISHI 
Publication:   
Publication Date: 2018/07/01
Vol. E101-D  No. 7  pp. 1725-1732
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
non-functional requirementsNFRtime-response requirementsrequirements frameverification of non-functional requirements
 Summary | Full Text:PDF(1.7MB)

Scenario Retrieval Method Using Differential Scenario
Eiji SHIOTA Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/09/01
Vol. E99-D  No. 9  pp. 2202-2209
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
scenario retrievaldifferential scenarioscenario-based requirements elicitation
 Summary | Full Text:PDF(1.3MB)

Rule-Based Verification Method of Requirements Ontology
Dang Viet DZUNG Bui Quang HUY Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1017-1027
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
requirements ontologyontology verificationrequirements elicitation and analysis
 Summary | Full Text:PDF(1.2MB)

Ontology-Based Checking Method of Requirements Specification
Dang Viet DZUNG Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1028-1038
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
requirements verificationrequirements ontologychecking requirements specification
 Summary | Full Text:PDF(1MB)

Scenario Generation Using Differential Scenario Information
Masayuki MAKINO Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/04/01
Vol. E95-D  No. 4  pp. 1044-1051
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
scenario generationscenario languagedifferential scenarioscenario-based requirements elicitation
 Summary | Full Text:PDF(1.7MB)

Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame
Haruhiko KAIYA Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/04/01
Vol. E95-D  No. 4  pp. 1031-1043
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
requirements analysiscase framequality requirementsspectrum analysis
 Summary | Full Text:PDF(560.4KB)

FOREWORD
Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/04/01
Vol. E93-D  No. 4  pp. 677-678
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(66.3KB)

A Generation Method of Alternative Scenarios with a Normal Scenario
Atsushi OHNISHI Koji KITAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/04/01
Vol. E93-D  No. 4  pp. 693-701
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Requirements Engineering
Keyword: 
requirements elicitationscenario analysisscenario generation
 Summary | Full Text:PDF(637.6KB)

A Generation Method of Exceptional Scenarios from a Normal Scenario
Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4  pp. 881-887
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Software Engineering
Keyword: 
requirements elicitationscenario analysisscenario generation
 Summary | Full Text:PDF(570KB)

Improvement of the Correctness of Scenarios with Rules
Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4  pp. 1337-1346
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
scenario analysisrequirements elicitationrequirements definitionrule-based checking
 Summary | Full Text:PDF(1.3MB)

Transformation between Scenarios from Different Viewpoints
HongHui ZHANG Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/04/01
Vol. E87-D  No. 4  pp. 801-810
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Requirement Engineering
Keyword: 
requirements engineeringscenariosoftware development
 Summary | Full Text:PDF(986.1KB)

Visual Software Requirements Specification Technique Based on Communication Model
Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/04/01
Vol. E85-D  No. 4  pp. 615-622
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Specification
Keyword: 
requirements engineeringrequirements specificationcommunication model
 Summary | Full Text:PDF(833.9KB)

A Supporting Method of Making a Consistent Software Requirements Specification Based on the Dempster and Shafer's Theory
Hideaki SUGIMOTO Atsushi OHNISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4  pp. 659-668
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
software requirements definitioninconsistency managementsoftware requirements specificationDempster and Shafer's theory
 Summary | Full Text:PDF(421KB)

An Algebraic Specification of a Daisy Chain Arbiter
Yu Rong HOU Atsushi OHNISHI Yuji SUGIYAMA Takuji OKAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/11/25
Vol. E75-D  No. 6  pp. 778-784
Type of Manuscript:  Special Section PAPER (Special Issue on Pacific Rim International Symposium on Fault Tolerant Systems)
Category: 
Keyword: 
specificationalgebraic methodasynchronous circuitsarbiter
 Summary | Full Text:PDF(577.7KB)