Integrating Formal Methods into a Professional Master of Software Engineering Program.
David GarlanPublished in: Z User Workshop (1994)
Keyphrases
- formal methods
- software engineering
- safety critical
- formal analysis
- model checking
- software engineers
- provably correct
- artificial intelligence
- practical experience
- knowledge based systems
- model checker
- process algebra
- temporal properties
- formal specification
- programming environment
- reverse engineering
- test cases
- building blocks
- software maintenance
- design patterns
- software architecture
- reactive systems
- software systems
- software development
- development lifecycle