Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems.
Kateryna YurchenkoMoritz BehrHeiko KlareMax E. KramerRalf H. ReussnerPublished in: MoDELS (Satellite Events) (2017)
Keyphrases
- software systems
- software architecture
- dynamic reconfiguration
- software engineering
- source code
- software maintenance
- software development
- software evolution
- requirements specification
- software engineers
- software components
- multi agent systems
- software design
- metamodel
- design patterns
- complex software systems
- software testing
- autonomic systems
- software intensive systems
- software developers
- access control
- high level
- functional requirements
- object oriented systems
- open source
- software quality
- development effort
- databases
- information systems