Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques.
Jianli XuPublished in: SEW (2006)
Keyphrases
- software architecture
- description language
- reference model
- software engineering
- software systems
- embedded software
- quality attributes
- reference architecture
- distributed systems
- functional requirements
- design patterns
- software development
- architectural design
- object oriented software
- formal language
- decision making
- artificial intelligence
- dynamic reconfiguration
- database