Integrating formal methods tools into undergraduate computer science curriculum.
Sotiris SkevoulisMaria FalidasPublished in: ITiCSE (2002)
Keyphrases
- formal methods
- computer science curriculum
- software engineering
- model checking
- formal analysis
- college level
- artificial intelligence
- knowledge based systems
- computer science
- formal specification
- safety critical
- software development
- software systems
- reverse engineering
- object oriented
- formal specification language
- development lifecycle
- design patterns
- knowledge management