Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture).
Bernd WestphalPublished in: SEUH (2019)
Keyphrases
- formal methods
- software engineering
- formal analysis
- safety critical
- model checker
- artificial intelligence
- model checking
- provably correct
- process algebra
- knowledge based systems
- temporal properties
- formal specification
- software systems
- software development
- software engineers
- software architecture
- design patterns
- programming language
- database
- development lifecycle
- reverse engineering
- relational databases