Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.
Richard F. PaigeJonathan S. OstroffPublished in: TFM (2004)
Keyphrases
- formal methods
- lightweight
- formal analysis
- safety critical
- reactive systems
- formal specification
- provably correct
- knowledge based systems
- software engineering
- model checking
- artificial intelligence
- process algebra
- multi agent systems
- development lifecycle
- intelligent agents
- model checker
- formal specification language
- metamodel
- design process
- wireless sensor networks
- multi agent
- authentication protocol
- dos attacks
- modeling language
- database
- user interface
- machine learning