Formal Specification in Basic Education: What Does It Take?
Braz Araujo da Silva JuniorSimone André da Costa CavalheiroLuciana FossJúlia Veiga da SilvaPublished in: FIE (2023)
Keyphrases
- formal specification
- model checking
- specification language
- object oriented design
- specification languages
- data abstraction
- reverse engineering
- formal methods
- process algebra
- information and communication technologies
- concurrent systems
- distance learning
- model checker
- e learning
- protocol specification
- formal verification
- software components
- open source