Languages for formalizing, visualizing and verifying software architectures.
Rob C. van OmmeringRené L. KrikhaarLoe M. G. FeijsPublished in: Comput. Lang. (2001)
Keyphrases
- software architecture
- description language
- embedded software
- software systems
- language independent
- software engineering
- architectural design
- distributed systems
- expressive power
- reference model
- software development
- text summarization
- reference architecture
- software evolution
- interactive visualization
- functional requirements
- quality attributes
- life cycle
- model checking
- databases
- commercial off the shelf
- product line
- language identification
- design patterns
- artificial intelligence