Keyphrases
- case study
- specification language
- formal specification
- lessons learned
- high level
- practical guidelines
- formal verification
- development process
- learning environment
- real world
- design process
- business process
- knowledge management
- object oriented
- learning algorithm
- network layer
- asynchronous circuits
- data delivery
- provably correct
- database