Teaching Them Early: Formal Methods in School.
Faron MollerLiam O'ReillyStewart PowellCasey DennerPublished in: FMFun (2019)
Keyphrases
- formal methods
- high school
- primary school
- secondary school
- computer technology
- school teachers
- teacher training
- computer usage
- formal analysis
- formal specification
- elementary school
- model checker
- artificial intelligence
- middle school mathematics
- model checking
- knowledge based systems
- hong kong
- safety critical
- distance learning
- learning environment
- software engineering
- higher education
- teaching practices
- technology integration
- science education
- process algebra
- educational practices
- digital literacy
- learning opportunities
- teacher education
- english teaching
- formal specification language
- special education
- modeling language
- student learning
- early childhood
- security properties
- educational technology
- information systems