Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum.
Jeannette M. WingPublished in: AMAST (2000)
Keyphrases
- computer science curriculum
- formal methods
- invited talk
- software engineering
- selected papers
- computer science
- college level
- knowledge discovery and data mining
- artificial intelligence
- knowledge based systems
- software development
- model checking
- development process
- formal specification
- reverse engineering
- software systems
- modeling language
- case study
- formal specification language
- cooperative learning
- real world
- object oriented