VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.
David SafránekJirí SimsaPublished in: SOFSEM (2005)
Keyphrases
- software architecture
- description language
- software systems
- architectural design
- action language
- embedded software
- functional requirements
- product line
- visual features
- conceptual model
- high level
- software requirements
- security requirements
- reference model
- distributed systems
- software engineering
- case study
- formal specification
- design patterns
- visual information
- knowledge representation
- dynamic reconfiguration
- low level
- video database
- software development
- operational semantics
- source code
- formal language