Mathematics for Formal Methods, a Proposal for Education Reform.
Mícheál Mac an AirchinnighPublished in: IWFM (1998)
Keyphrases
- formal methods
- mathematics education
- formal specification
- model checking
- formal analysis
- artificial intelligence
- knowledge based systems
- model checker
- provably correct
- software engineering
- safety critical
- distance learning
- formal specification language
- process algebra
- multimedia courseware
- development lifecycle
- educational technology
- middle school
- reactive systems
- e learning
- information and communication technologies
- higher education
- computer science
- web services
- special education
- information systems