The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back.
Maurice H. ter BeekAlessandro FantechiLaura SeminiPublished in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
- formal methods
- software engineering
- safety critical
- model checking
- artificial intelligence
- formal analysis
- reverse engineering
- knowledge based systems
- provably correct
- formal specification
- process algebra
- model checker
- data mining
- software engineers
- software developers
- security properties
- development process
- software systems
- object oriented
- database systems
- information systems
- development lifecycle