IEICE Trans

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 requirements, NFR, time-response requirements, requirements frame, verification 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 retrieval, differential scenario, scenario-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 ontology, ontology verification, requirements 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 verification, requirements ontology, checking 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 generation, scenario language, differential scenario, scenario-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 analysis, case frame, quality requirements, spectrum 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 elicitation, scenario analysis, scenario 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 elicitation, scenario analysis, scenario 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 analysis, requirements elicitation, requirements definition, rule-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 engineering, scenario, software 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 engineering, requirements specification, communication 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 definition, inconsistency management, software requirements specification, Dempster 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: specification, algebraic method, asynchronous circuits, arbiter,
	Summary \| Full Text:PDF(577.7KB)