Policy modeling and compliance verification in enterprise software systems: A survey.
George ChatzikonstantinouKostas KontogiannisPublished in: MESOCA (2012)
Keyphrases
- software systems
- software engineering
- source code
- software development
- software components
- high assurance
- software design
- software architecture
- functional requirements
- software maintenance
- software repositories
- multi agent systems
- software quality
- metamodel
- software evolution
- software engineers
- software developers
- model checking
- software projects
- linux kernel
- information systems
- formal methods
- databases
- data model
- cooperative