Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems.

Jean-Marc Zeippen Eric Dubois Philippe Du Bois

Published 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