Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems.
Jean-Marc ZeippenEric DuboisPhilippe Du BoisPublished in: ISORC (1998)
Keyphrases
- distributed systems
- real time systems
- real time
- concurrent systems
- fault tolerant
- distributed environment
- geographically distributed
- fault tolerance
- load balancing
- functional requirements
- message passing
- knowledge base
- distributed database systems
- distributed computing
- software architecture
- loosely coupled
- high assurance
- embedded systems
- formal specification
- mobile agents
- operating system
- deadlock detection
- security policies
- quality of service
- data replication
- written in natural language