Advertising Formal Methods and Organizing Their Teaching: Yes, but ....
Dino MandrioliPublished in: TFM (2004)
Keyphrases
- formal methods
- formal analysis
- safety critical
- model checking
- knowledge based systems
- artificial intelligence
- formal specification
- process algebra
- software engineering
- model checker
- provably correct
- learning environment
- temporal properties
- higher education
- distance learning
- online learning
- learning systems
- e learning
- computer programming
- learning process
- modeling language
- machine learning
- formal specification language
- online advertising
- high school
- knowledge acquisition
- reactive systems
- development lifecycle
- information systems