A contractual approach for the verification of UML2.0 software architectures.
Taoufik Sakka RouisMohamed Tahar BhiriMourad KmimechFaouzi MoussaPublished in: Int. J. Comput. Appl. Technol. (2018)
Keyphrases
- software architecture
- software systems
- description language
- software engineering
- reference model
- software development
- distributed systems
- formal methods
- embedded software
- model checking
- reference architecture
- design patterns
- software evolution
- architectural design
- service providers
- quality attributes
- machine learning
- commercial off the shelf
- functional requirements
- security requirements
- source code
- information technology
- cooperative
- artificial intelligence