Keyword : requirements specification


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)

Requirements Specification and Analysis of Digital Systems Using FARHDL
Victor R. L. SHEN Feng-Ho KUO Feipei LAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/03/25
Vol. E81-D  No. 3 ; pp. 317-328
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Cognitive Science
Keyword: 
knowledge baserequirements specification formal analysisPetri netcompletenessand consistency
 Summary | Full Text:PDF(1MB)

Refinement and Validation of Software Requirements Using Incremental Simulation
Kyo-Chul KANG Kwan W. LEE Ji-young LEE Jounghyun (Gerard) KIM Hye-jung KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/02/25
Vol. E81-D  No. 2 ; pp. 171-182
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
real-time systemsrequirements specificationrequirements analysisspecification executionstatechartvalidationverificationincremental development
 Summary | Full Text:PDF(1.2MB)

Generating Prolog Program and Skeleton Code from Data Flow Diagrams
Young-Kwang NAM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/11/25
Vol. E79-D  No. 11 ; pp. 1588-1592
Type of Manuscript:  LETTER
Category: Automata,Languages and Theory of Computing
Keyword: 
code generationdata flow diagramsPrologskeleton coderequirements specification
 Summary | Full Text:PDF(313.2KB)