|
|
|
|
| LEADER |
03298nam a22005535i 4500 |
| 001 |
978-3-319-74183-3 |
| 003 |
DE-He213 |
| 005 |
20180117152033.0 |
| 007 |
cr nn 008mamaa |
| 008 |
180117s2017 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319741833
|9 978-3-319-74183-3
|
| 024 |
7 |
|
|a 10.1007/978-3-319-74183-3
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 245 |
1 |
0 |
|a Software Engineering for Self-Adaptive Systems III. Assurances
|h [electronic resource] :
|b International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers /
|c edited by Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a X, 435 p. 95 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 9640
|
| 505 |
0 |
|
|a Research Challenges -- Evaluation -- Integration and Coordination -- Reference Architectures and Platforms.
|
| 520 |
|
|
|a A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation capabilities. Despite recent advances in this area, one key aspect that remains to be tackled in depth is the provision of assurances. Originating from a Dagstuhl seminar held in December 2013, this book constitutes the third volume in the series “Software Engineering for Self-Adaptive Systems”, and looks specifically into the provision of assurances. Opening with an overview chapter on Research Challenges, the book presents 13 further chapters written and carefully reviewed by internationally leading researchers in the field. The book is divided into topical sections on research challenges, evaluation, integration and coordination, and reference architectures and platforms.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computer organization.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Computer Systems Organization and Communication Networks.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 700 |
1 |
|
|a de Lemos, Rogério.
|e editor.
|
| 700 |
1 |
|
|a Garlan, David.
|e editor.
|
| 700 |
1 |
|
|a Ghezzi, Carlo.
|e editor.
|
| 700 |
1 |
|
|a Giese, Holger.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319741826
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 9640
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-74183-3
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
