Reusable Formal Models for Secure Software Architectures.
Thomas HeymanRiccardo ScandariatoWouter JoosenPublished in: WICSA/ECSA (2012)
Keyphrases
- formal models
- software architecture
- object oriented software
- security requirements
- software systems
- rule based systems
- formal model
- description language
- embedded software
- process model
- software engineering
- reference model
- distributed systems
- software development
- design patterns
- functional requirements
- reference architecture
- neural network
- software components
- product line
- natural language
- knowledge base
- artificial intelligence