A Categorical Approach for Modeling and Verifying Dynamic Software Architecture.
Xiang LingPublished in: SERE (Companion) (2013)
Keyphrases
- software architecture
- description language
- software engineering
- software systems
- distributed systems
- architectural design
- functional requirements
- object oriented software
- embedded software
- reference model
- design patterns
- dynamic environments
- model checking
- attribute values
- categorical data
- modeling language
- image quality
- software development
- decision making
- quality attributes
- artificial intelligence
- real world