Empirical results of a software engineering curriculum incorporating formal methods.
Ann E. Kelley SobelPublished in: SIGCSE (2000)
Keyphrases
- formal methods
- software engineering
- formal analysis
- computer science curriculum
- provably correct
- model checking
- artificial intelligence
- formal specification
- model checker
- process algebra
- programming language
- knowledge based systems
- safety critical
- software development
- high school
- development lifecycle
- machine learning
- modeling language
- development process
- software systems
- reverse engineering
- object oriented
- cooperative
- database systems
- data mining
- formal specification language