Specifying Software Architectures Using a Formal-Based Approach.
David HemerYulin DingPublished in: Australian Software Engineering Conference (2008)
Keyphrases
- software architecture
- description language
- distributed systems
- software systems
- software engineering
- embedded software
- software development
- architectural design
- reference model
- case study
- product line
- functional requirements
- design patterns
- reference architecture
- security requirements
- formal model
- formal specification
- intrusion detection
- databases
- object oriented
- quality attributes
- reinforcement learning
- database systems
- machine learning