Dezyne: Paving the Way to Practical Formal Software Engineering.
Rutger van BeusekomBert de JongePaul F. HoogendijkJan NieuwenhuizenPublished in: F-IDE@NFM (2021)
Keyphrases
- software engineering
- formal methods
- real world
- real time
- mathematical foundations
- software systems
- neural network
- design patterns
- development process
- human computer interaction
- software development
- programming language
- practical application
- reverse engineering
- artificial intelligence
- object oriented
- knowledge engineering
- software design
- practical problems
- database systems
- requirements engineering
- formal models
- requirements elicitation