Model-driven synthesis of formally precise, stylized software architectures.
Hamid BagheriKevin J. SullivanPublished in: Formal Aspects Comput. (2016)
Keyphrases
- model driven
- software architecture
- metamodel
- data driven
- service oriented
- software systems
- reference model
- model driven engineering
- design patterns
- data integration
- distributed systems
- model driven development
- software engineering
- embedded software
- security requirements
- software development
- platform independent
- development environments
- functional requirements
- reference architecture
- commercial off the shelf
- product line
- query processing
- model driven architecture
- quality attributes
- reinforcement learning
- modeling language