SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.
José Juan Pazos-AriasJorge García DuquePublished in: Formal Aspects Comput. (2001)
Keyphrases
- distributed systems
- software development
- software architecture
- case study
- fault tolerant
- fault tolerance
- load balancing
- geographically distributed
- distributed computing
- software engineering
- distributed database systems
- mobile agents
- message passing
- distributed environment
- software systems
- effort estimation
- loosely coupled
- software development environments
- development process
- concurrent systems
- agent technology
- comparative analysis
- formal specification
- software development process
- operating system
- real time systems
- development methodologies
- replicated data
- deadlock detection
- software components
- response time
- software developers
- database systems
- software projects
- databases