Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems.

Thomas Göthel Nils Jähnig Simon Seif

Published in: ICFEM (2017)

Keyphrases

design patterns
specific problems
software engineering
management system
software systems
usage scenarios
database driven
software design
formal methods
design principles
behavioural patterns
design requirements
software engineers
real world
model checking
open source
database systems
case study