On Complementing an Undergraduate Software Engineering Course with Formal Methods.
Bernd WestphalPublished in: CSEE&T (2020)
Keyphrases
- formal methods
- software engineering
- computer science curriculum
- safety critical
- model checker
- artificial intelligence
- formal analysis
- engineering courses
- provably correct
- computer science
- process algebra
- programming language
- knowledge based systems
- software systems
- engineering students
- undergraduate students
- formal specification
- development process
- model checking
- reverse engineering
- software development
- databases
- modeling language
- object oriented
- data model
- security properties
- software architecture
- knowledge base
- reactive systems
- temporal properties
- fine grained