Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
49
views
43
references
Top references
cited by
1
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,386
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Software Engineering for Self-Adaptive Systems III. Assurances
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances
other
Author(s):
Rogério de Lemos
,
David Garlan
,
Carlo Ghezzi
,
Holger Giese
,
Jesper Andersson
,
Marin Litoiu
,
Bradley Schmerl
,
Danny Weyns
,
Luciano Baresi
,
Nelly Bencomo
,
Yuriy Brun
,
Javier Camara
,
Radu Calinescu
,
Myra B. Cohen
,
Alessandra Gorla
,
Vincenzo Grassi
,
Lars Grunske
,
Paola Inverardi
,
Jean-Marc Jezequel
,
Sam Malek
,
Raffaela Mirandola
,
Marco Mori
,
Hausi A. Müller
,
Romain Rouvoy
,
Cecília M. F. Rubira
,
Eric Rutten
,
Mary Shaw
,
Giordano Tamburrelli
,
Gabriel Tamura
,
Norha M. Villegas
,
Thomas Vogel
,
Franco Zambonelli
Publication date
(Online):
January 18 2018
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
Educational Challenges
Most cited references
43
Record
: found
Abstract
: not found
Article
: not found
The vision of autonomic computing
J.O. Kephart
,
D.M. Chess
(2003)
0
comments
Cited
324
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Betty Cheng
,
Rogerio de Lemos
,
Holger Giese
…
(2009)
0
comments
Cited
47
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Models@ run.time
Robert France
,
Gordon Blair
,
Nelly Bencomo
(2009)
0
comments
Cited
45
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2017
Publication date (Online):
January 18 2018
Pages
: 3-30
DOI:
10.1007/978-3-319-74183-3_1
SO-VID:
bb5f6f2c-363e-40d4-9c4a-e1e70c9d48f3
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,386
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
Formation Control with Connectivity Assurance for Missile Swarms by a Natural Co-Evolutionary Strategy
Authors:
Junda Chen
,
Xuejing Lan
,
Ye Zhou
…
Validation and Efficiency Evaluation of Automated Quality Assurance Software SunCHECK™ Machine for Mechanical and Dosimetric Quality Assurance
Authors:
Mayank Dhoundiyal
,
Sachin Rasal
,
Ajinkya Gupte
…
See all similar
Cited by
1
FUSION—Fog Computing and Blockchain for Trusted Industrial Internet of Things
Authors:
Andrea Ceccarelli
,
Marcello Cinque
,
Christian Esposito
…
See all cited by