Quantitative Analysis of UML Statechart Models of Dependable Systems.
Gábor HuszerlIstván MajzikAndrás PatariczaKonstantinos KosmidisMario Dal CinPublished in: Comput. J. (2002)
Keyphrases
- quantitative analysis
- uml models
- qualitative analysis
- complex systems
- qualitative and quantitative analysis
- qualitative evaluation
- metamodel
- physical systems
- database design
- abstraction levels
- formal methods
- probabilistic model
- computer systems
- quality assessment
- distributed systems
- conceptual models
- medical images
- design patterns
- trading systems
- software architecture
- collaborative learning
- management system
- test cases