Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
16
views
66
references
Top references
cited by
0
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,335
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Software Engineering for Self-Adaptive Systems III. Assurances
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software
other
Author(s):
Radu Calinescu
,
Simos Gerasimou
,
Kenneth Johnson
,
Colin Paterson
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
Genome Engineering using CRISPR
Most cited references
66
Record
: found
Abstract
: not found
Article
: not found
An axiomatic basis for computer programming
C. Hoare
(1969)
0
comments
Cited
371
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The vision of autonomic computing
J.O. Kephart
,
D.M. Chess
(2003)
0
comments
Cited
323
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
QoS-aware middleware for Web services composition
J. Kalagnanam
,
H. Chang
,
Liangzhao Zeng
…
(2004)
0
comments
Cited
121
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
: 223-248
DOI:
10.1007/978-3-319-74183-3_8
SO-VID:
10710d7f-b739-4954-befe-6a7b60fa2802
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,335
Assurance Engagements on General Purpose Water Accounting Reports (ASAE 3610 and AWAS 2)
Authors:
Auditing (AUASB)
Quality Assurance Framework for Nursing, Midwifery and Nursing Associate Education
Authors:
Nursing and Midwifery Council (NMC)
Guidance for industry, PAT-A framework for innovative pharmaceutical development, manufacturing and quality assurance
Authors:
US Food and Drug Administration
,
U.S. Food and Drug Administration
See all similar