3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015).
Stefania GnesiNico PlatPublished in: ICSE (2) (2015)
Keyphrases
- formal methods
- software engineering
- software engineering practices
- artificial intelligence
- formal analysis
- formal specification
- safety critical
- process algebra
- provably correct
- knowledge based systems
- temporal properties
- software development
- model checker
- model checking
- software engineers
- reverse engineering
- reactive systems
- object oriented
- selected papers
- language technology
- formal specification language
- design patterns
- software systems
- knowledge management
- case study
- database
- development process
- software architecture
- business processes
- programming language
- multi agent
- development lifecycle
- machine learning
- real world