Atsushi OHNISHI


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 (561.2KB)

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)

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 (636.5KB)

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 (66KB)

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 (569.3KB)

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 (985.7KB)

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 (836.6KB)

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/20
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 (424.2KB)

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/20
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 (579.1KB)