An experience teaching formal methods in discrete mathematics.
J. Stanley WarfordPublished in: ACM SIGCSE Bull. (1995)
Keyphrases
- formal methods
- computer programming
- model checking
- mathematics education
- formal analysis
- teaching mathematics
- computer science
- software engineering
- communication skills
- safety critical
- word problems
- model checker
- computer assisted instruction
- engineering courses
- middle school students
- formal specification
- knowledge based systems
- middle school mathematics
- provably correct
- artificial intelligence
- development lifecycle
- process algebra
- modeling language
- higher education
- security properties
- learning process
- college level
- learning systems
- high school
- e learning
- reactive systems
- multi agent systems
- teacher education
- databases