Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
36
views
0
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,962
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Software Engineering for Self-Adaptive Systems III. Assurances
other
Editor(s):
Rogério de Lemos
,
David Garlan
,
Carlo Ghezzi
,
Holger Giese
Publication date
(Print):
2017
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genomic Prediction: Software
Author and book information
Book
ISBN (Print):
978-3-319-74182-6
ISBN (Electronic):
978-3-319-74183-3
Publication date (Print):
2017
DOI:
10.1007/978-3-319-74183-3
SO-VID:
61b85e21-f0ec-4ea6-862d-46fad7e58cac
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances
pp. 31
Perpetual Assurances for Self-Adaptive Systems
pp. 64
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems
pp. 90
What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
pp. 137
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems
pp. 154
Analyzing Self-Adaptation Via Model Checking of Stochastic Games
pp. 188
An Approach for Isolated Testing of Self-Organization Algorithms
pp. 223
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software
pp. 251
Contracts-Based Control Integration into Software Systems
pp. 282
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution
pp. 307
Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems
pp. 349
Feedback Control as MAPE-K Loop in Autonomic Computing
pp. 377
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation
pp. 409
MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems
Similar content
2,962
Toward effective quality assurance in evidence-based practice: links between expert consultation, therapist fidelity, and child outcomes.
Authors:
S Schoenwald
,
E Létourneau
,
Ashli Sheidow
National survey of quality assurance activities for pharmacy-compounded sterile preparations.
Authors:
Markus P. Schneider
,
A.-B. Morris
,
J M Mirtallo
…
Reimagining quarantine: Assuring hopefulness in nursing and healthcare.
Authors:
Bernardo O A Arde
,
Epifania M R Purisima
,
Hirokazu Ito
…
See all similar
Cited by
2
Verlässliche Software im 21. Jahrhundert
Authors:
Stefan Wagner
,
Matthias Tichy
,
Michael Felderer
…
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems
Authors:
Matteo Camilli
,
Lorenzo Capra
,
Carlo Bellettini
See all cited by