Structuring Formal Methods into the Undergraduate Computer Science Curriculum.
Sarnath RamnathStephen WalkPublished in: NFM (2024)
Keyphrases
- computer science curriculum
- formal methods
- software engineering
- computer science
- artificial intelligence
- formal analysis
- knowledge based systems
- safety critical
- college level
- reverse engineering
- software development
- model checking
- software systems
- formal specification language
- formal specification
- modeling language
- development process
- object oriented
- design patterns