Lightweight Formal Methods for Scenario-Based Software Engineering.
Yves BontempsPatrick HeymansPierre-Yves SchobbensPublished in: Scenarios: Models, Transformations and Tools (2003)
Keyphrases
- lightweight
- formal methods
- software engineering
- requirements engineering
- formal analysis
- artificial intelligence
- safety critical
- knowledge based systems
- model checking
- process algebra
- development process
- reverse engineering
- software systems
- dos attacks
- formal specification
- formal specification language
- software development
- low cost
- rfid tags
- authentication protocol
- building blocks
- development lifecycle
- web services