Application of formal methods to scenario-based requirements engineering

International Journal of Computers and Applications

Volumn 23, Issue 3, 2001, Pages 141-151

  Babin, G ^a   Lustman, F ^a  

^a HEC MONTRÉAL   (Canada)

Author keywords

Formal methods; Requirements engineering; Scenarios

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DATA ACQUISITION; DATABASE SYSTEMS; FINITE AUTOMATA; FORMAL LOGIC; INFORMATION RETRIEVAL SYSTEMS; SEMANTICS;

BASELINE ELICITATION; FINITE STATE MACHINES; FORMAL METHODS; SCENARIO ACQUISITION; SCENARIOS; SEMANTIC INTEGRATION;

REQUIREMENTS ENGINEERING;

EID: 0034771757     PISSN: 1206212X     EISSN: None     Source Type: Journal    
DOI: 10.1080/1206212X.2001.11441645     Document Type: Article

References (15)

1. Goal-directed requirements acquisition
2. A scenario-based methodology for conducting requirements elicitation
3. Integration of sequential scenarios
4. Formal approach to scenario analysis
5. Spécification formelle des systèmes d'information par la technique des scénarios
6. From scenarios to timed automata: Building specifications from users requirements
7. Automating the synthesis of statechart diagrams from multiple collaboration diagrams
8. An integrated formal method of scenarios based on statecharts
9. A formal approach to scenario integration
10. Object behaviour analysis
11. ADISSA: Architectural design of information system based on structured analysis
12. Paradigm translation in manufacturing information using a meta-model: The TSER approach
13. An introduction to database systems