Behavioral Verification of UML2.0 Software Architecture.
Taoufik Sakka RouisMohamed Tahar BhiriMourad KmimechPublished in: SKG (2016)
Keyphrases
- software architecture
- software systems
- description language
- software engineering
- reference model
- distributed systems
- software development
- model checking
- functional requirements
- formal methods
- embedded software
- architectural design
- reference architecture
- multi agent
- software evolution
- design patterns
- software quality
- database design
- information technology
- cooperative
- decision making
- object oriented software