DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.
Hugues EvrardPublished in: TACAS (2016)
Keyphrases
- formal specification
- specification language
- data abstraction
- model checking
- object oriented design
- formal specification language
- process algebra
- reverse engineering
- design methodology
- design methodologies
- cooperative
- specification languages
- distributed systems
- formal methods
- model checker
- concurrent systems
- protocol specification
- multi agent
- software components
- distributed environment
- artificial intelligence
- object oriented
- data warehouse
- relational databases
- grid workflow