Keyphrases
- software architecture
- functional programs
- description language
- software engineering
- architectural design
- software systems
- distributed systems
- program synthesis
- embedded software
- security requirements
- design patterns
- software development
- reference architecture
- object oriented
- reference model
- event detection
- abductive inference
- product line
- event driven
- functional requirements
- texture synthesis
- quality attributes
- publish subscribe
- commercial off the shelf
- cooperative
- machine learning