BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems.
Jan Olaf BlechHeinz W. SchmidtPublished in: CoRR (2014)
Keyphrases
- software components
- distributed systems
- formal methods
- commercial off the shelf
- lightweight
- asynchronous circuits
- heterogeneous systems
- building blocks
- conceptual model
- autonomous mobile
- reusable components
- design rationale
- software development
- relational databases
- case study
- formal specification
- analysis tool
- spatio temporal
- database
- software architecture
- model checking
- computing environments
- peer to peer
- software reuse
- trading systems
- artificial intelligence