CaVa: Virtual Learning Spaces Formal Specification (Short Paper).
Ricardo Giuliani MartiniPedro Rangel HenriquesPublished in: SLATE (2018)
Keyphrases
- formal specification
- learning spaces
- model checking
- specification languages
- object oriented design
- specification language
- reverse engineering
- process algebra
- learning environment
- learning activities
- data abstraction
- virtual environment
- learning scenarios
- concurrent systems
- formal methods
- learning resources
- database
- formal specification language
- temporal logic
- xml documents
- relational databases
- natural language
- information systems