Model checking early requirements specifications in Tropos

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2001, Pages 174-181

  Fuxman, Ariel ^a   Pistore, Marco ^b   Mylopoulos, John ^a   Traverso, Paolo ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; SOFTWARE ENGINEERING;

MODELING LANGUAGES;

REQUIREMENTS ENGINEERING;

EID: 0034829384     PISSN: 1090705X     EISSN: None     Source Type: Journal    
DOI: 10.1109/ISRE.2001.948557     Document Type: Article

References (16)

1. Goal based requirements analysis
2. Safety-critical systems, formal methods and standards
3. 20 states and beyond
4. A requirements-driven development methodology
5. NuSMV: A new Symbolic Model Checker
6. Formal verification of a railway interlocking system using model checking
7. Another look at LTL model checking
8. Goal directed requirements acquisition
9. Model checking vs. theorem proving: A manifesto
10. Automated consistency checking of requirements specifications
11. Managing conflicts in goal-driven requirements engineering
12. Towards modelling and reasoning support for early-phase requirements engineering
13. Towards modelling strategic actor relationships for information systems development - With examples from business process reengineering