Architecture and functionality of a specification environment for distributed software.
Bernd KrämerHeinz-Wilhelm SchmidtPublished in: COMPSAC (1990)
Keyphrases
- computing platform
- reactive systems
- grid middleware
- distributed multimedia
- open systems
- software architecture
- configuration management
- heterogeneous environments
- real time
- hierarchical architecture
- multi agent architecture
- highly modular
- software environment
- simulation environment
- hardware design
- distributed systems
- software development
- requirements specification
- computing environments
- layered architecture
- programming interface
- industrial strength
- software platform
- core components
- enterprise systems
- local area network
- agent based architecture
- grid enabled
- distributed architecture
- loosely coupled
- autonomous agents
- highly distributed
- multi agent
- scalable distributed
- hardware software
- distributed computing
- cross platform
- master slave
- formal methods
- user interface
- distributed processing
- management system
- runtime environment
- test cases
- computer systems
- workflow engine
- specification language
- web services
- platform independent
- open source
- source code
- software design
- mobile agents
- model checking
- software implementation
- working environment
- data flow
- formal specification