An Approach to the Specification of Distributed Software.
William R. FrantaWilliam Earl BoebertHelmut K. BergPublished in: The Use of Formal Specification of Software (1979)
Keyphrases
- software development
- software systems
- computing platform
- multi agent
- cooperative
- distributed systems
- open systems
- configuration management
- formal methods
- software design
- distributed environment
- mobile agents
- software package
- specification language
- software maintenance
- requirements specification
- high level
- hardware design
- test case generation
- computing infrastructure
- data sets
- software quality
- distributed computing
- computing environments
- distributed databases
- computer systems
- peer to peer
- mobile devices