UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.
Taoufik Sakka RouisMohamed Tahar BhiriMourad KmimechFaouzi MoussaPublished in: WETICE (2016)
Keyphrases
- software architecture
- software systems
- software engineering
- software development
- description language
- architectural design
- formal methods
- distributed systems
- security requirements
- embedded software
- product line
- reference architecture
- functional requirements
- reference model
- decision making
- metamodel
- autonomous agents
- model checking
- qualitative reasoning
- open source
- information technology
- cooperative
- case study