Web-based laboratories in the introductory curriculum enhance formal methods.
Rhys Price JonesFritz RuehrRichard M. SalterPublished in: SIGCSE (1996)
Keyphrases
- formal methods
- formal analysis
- formal specification
- computer science curriculum
- knowledge based systems
- software engineering
- model checking
- model checker
- safety critical
- process algebra
- high school
- computer science
- reactive systems
- provably correct
- remote laboratories
- artificial intelligence
- learning platform
- database systems
- reverse engineering
- development lifecycle
- professional development