Login / Signup
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems.
Basil Becker
Holger Giese
Published in:
ASE Workshops (2008)
Keyphrases
</>
software intensive systems
ultra large scale
software systems
model checking
requirements engineering
software engineering
machine learning
incremental learning
inductive learning
decision making
cooperative
knowledge representation
low cost