Formal Design and Performance Evaluation of Parallel and Distributed Software Systems.
Michael GoedickeTorsten MeyerPublished in: PDSE (1998)
Keyphrases
- software systems
- software design
- software architecture
- functional requirements
- software engineering
- source code
- design patterns
- requirements specification
- software development
- software maintenance
- software engineers
- metamodel
- cooperative
- complex software systems
- distributed systems
- building blocks
- software components
- embedded systems
- software quality
- artificial intelligence
- high assurance
- software intensive systems
- software testing
- software developers
- multi agent
- software projects
- object oriented
- requirements engineering
- multi agent systems
- software evolution
- development effort
- case study
- machine learning
- databases