Applying Property-Based Testing in Teaching Safety-Critical System Programming.
Lars-Åke FredlundÁngel Herranz-NievaJulio MariñoPublished in: EUROMICRO-SEAA (2015)
Keyphrases
- safety critical
- computer programming
- programming course
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- nuclear power plant
- programming language
- agent architecture
- e learning
- learning environment
- regulatory requirements
- learning systems
- learning process
- support systems
- data mining
- control system
- artificial intelligence
- real time