Introduction to the Software Engineering and Formal Methods 2013 special issue.
Mario BravettiRobert M. HieronsMercedes G. MerayoPublished in: Softw. Syst. Model. (2017)
Keyphrases
- formal methods
- special issue
- software engineering
- safety critical
- ai edam
- international journal
- formal analysis
- artificial intelligence
- model checking
- ecml pkdd
- applied intelligence
- formal specification
- model checker
- process algebra
- knowledge based systems
- software development
- software systems
- special section
- modeling language
- reverse engineering
- design patterns
- development process
- object oriented
- metamodel
- life cycle