Keyphrases
- software architecture
- software design
- conceptual framework
- software suite
- hardware design
- main contribution
- design principles
- design patterns
- software systems
- case study
- simulation environment
- design process
- software tools
- formal verification
- software development
- context dependent
- domain specific
- specification language
- user interface
- design concepts
- natural language