Eintrag weiter verarbeiten
Online-Ressource

Assurances for Self-Adaptive Systems: Principles, Models, and Techniques

Gespeichert in:

Personen und Körperschaften: Cámara, Javier (VerfasserIn), Lemos, Rogério (Sonstige), Ghezzi, Carlo (Sonstige), Lopes, Antónia (Sonstige)
Titel: Assurances for Self-Adaptive Systems: Principles, Models, and Techniques/ edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7740
Schlagwörter:
Computer Communication Networks
Logic design
Computer Science
Computer science
Software engineering
Operating systems (Computers)
Computer networks .
Compilers (Computer programs).
Konferenzschrift > 2011 > Szeged
Verfügbar auch als: Druck-Ausgabe Assurances for self-adaptive systems, Berlin : Springer, 2013, X, 330 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 07434cam a22014532 4500
001 0-1652026878
003 DE-627
005 20240122104952.0
007 cr uuu---uuuuu
008 130207s2013 gw |||||o 00| ||eng c
020 |a 9783642362491  |9 978-3-642-36249-1 
024 7 |a 10.1007/978-3-642-36249-1  |2 doi 
035 |a (DE-627)1652026878 
035 |a (DE-576)378522493 
035 |a (DE-599)BSZ378522493 
035 |a (OCoLC)830902105 
035 |a (DE-He213)978-3-642-36249-1 
035 |a (EBP)040546993 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a 54.52  |2 bkl 
100 1 |a Cámara, Javier  |4 aut 
245 1 0 |a Assurances for Self-Adaptive Systems  |b Principles, Models, and Techniques  |c edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (X, 341 p. 94 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7740 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
520 |a The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques 
650 0 |a Computer Communication Networks 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Computer Communication Networks 
650 0 |a Software engineering 
650 0 |a Operating systems (Computers) 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Operating systems (Computers) 
650 0 |a Computer networks . 
650 0 |a Compilers (Computer programs). 
655 7 |a Konferenzschrift  |y 2011  |z Szeged  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4247928-9  |0 (DE-627)104635606  |0 (DE-576)210491981  |a Adaptives System  |2 gnd 
689 0 1 |D s  |0 (DE-588)4137282-7  |0 (DE-627)105651192  |0 (DE-576)209676310  |a Softwaresystem  |2 gnd 
689 0 2 |D s  |0 (DE-588)4135576-3  |0 (DE-627)10566409X  |0 (DE-576)209661925  |a Programmverifikation  |2 gnd 
689 0 3 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 0 4 |D s  |0 (DE-588)4832365-2  |0 (DE-627)490626300  |0 (DE-576)217007007  |a Modellgetriebene Entwicklung  |2 gnd 
689 0 5 |D s  |0 (DE-588)4426067-2  |0 (DE-627)216326354  |0 (DE-576)212319558  |a Middleware  |2 gnd 
689 0 5 |D s  |0 (DE-588)4276213-3  |0 (DE-627)104437049  |0 (DE-576)210756187  |a Fehlerverhütung  |2 gnd 
689 0 5 |D s  |0 (DE-588)4306238-6  |0 (DE-627)123199581  |0 (DE-576)211084433  |a Rekonfiguration  |2 gnd 
689 0 |5 DE-101 
700 1 |a Lemos, Rogério  |4 oth 
700 1 |a Ghezzi, Carlo  |0 (DE-627)1233938738  |0 (DE-576)163938733  |4 oth 
700 1 |a Lopes, Antónia  |4 oth 
776 1 |z 9783642362484 
776 0 8 |i Erscheint auch als  |n Druck-Ausgabe  |t Assurances for self-adaptive systems  |d Berlin : Springer, 2013  |h X, 330 S.  |w (DE-627)1603061126  |w (DE-576)382349148  |z 9783642362484  |z 3642362486 
830 0 |a Lecture notes in computer science  |v 7740  |9 7740  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-36249-1  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-36249-1  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz378522493cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20130402155333  |3 Cover 
856 4 2 |u http://d-nb.info/1030083789/04  |m B:DE-101  |q application/pdf  |v 2013-05-01  |x Verlag  |3 Inhaltsverzeichnis 
856 4 2 |u http://deposit.d-nb.de/cgi-bin/dokserv?id=4240502&prov=M&dok_var=1&dok_ext=htm  |m X: MVB  |q text/html  |v 2013-05-01  |x Verlag  |3 Inhaltstext 
889 |w (DE-627)735260974 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.52  |j Software engineering  |q SEPA  |0 (DE-627)106418882 
951 |a BO 
900 |a Ghezzi, C. 
950 |a Fehlerprophylaxe 
950 |a Fehler 
950 |a Prävention 
950 |a Fehlerprävention 
950 |a Fehlervermeidung 
950 |a Qualitätssicherung 
950 |a Adaptierendes System 
950 |a Adaptive system 
950 |a System 
950 |a Адаптивная система 
950 |a Programmsystem 
950 |a Software 
950 |a Verifikation 
950 |a Hoare-Logik 
950 |a Reconfiguration 
950 |a Konfiguration 
950 |a Formales Verfahren 
950 |a Methode 
950 |a Verteilte Plattform 
950 |a Verteilungsplattform 
950 |a Model Driven Software Development 
950 |a MDSD 
950 |a Modellgestützte Softwareentwicklung 
950 |a Modellgesteuerte Entwicklung 
950 |a Model-Driven Development 
950 |a MDD 
950 |a Modellbasierte Softwareentwicklung 
950 |a Softwareentwicklung 
950 |a Vorgehensmodell 
950 |a MDA 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-36249-1  |9 DE-14 
852 |a DE-14  |x epn:3356100076  |z 2013-02-07T10:39:59Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-36249-1  |9 DE-15 
852 |a DE-15  |x epn:3356100114  |z 2013-02-07T10:39:59Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-36249-1  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3356100181  |z 2013-02-07T10:39:59Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-36249-1  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3356100238  |z 2013-02-07T10:39:59Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-36249-1  |9 DE-520 
852 |a DE-520  |x epn:3356100297  |z 2013-02-07T10:39:59Z 
980 |a 1652026878  |b 0  |k 1652026878  |o 378522493 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Assurances+for+Self-Adaptive+Systems%3A+Principles%2C+Models%2C+and+Techniques&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Assurances+for+Self-Adaptive+Systems%3A+Principles%2C+Models%2C+and+Techniques&rft.series=Lecture+notes+in+computer+science%2C+7740&rft.au=C%C3%A1mara%2C+Javier&rft.pub=Springer&rft.edition=&rft.isbn=3642362494
SOLR
_version_ 1792258590979915776
access_facet Electronic Resources
author Cámara, Javier
author2 Lemos, Rogério, Ghezzi, Carlo, Lopes, Antónia
author2_role oth, oth, oth
author2_variant r l rl, c g cg, a l al
author_facet Cámara, Javier, Lemos, Rogério, Ghezzi, Carlo, Lopes, Antónia
author_role aut
author_sort Cámara, Javier
author_variant j c jc
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.758
callnumber-search QA76.758
callnumber-sort QA 276.758
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques
ctrlnum (DE-627)1652026878, (DE-576)378522493, (DE-599)BSZ378522493, (OCoLC)830902105, (DE-He213)978-3-642-36249-1, (EBP)040546993
de15_date 2013-02-07T10:39:59Z
dech1_date 2013-02-07T10:39:59Z
doi_str_mv 10.1007/978-3-642-36249-1
era_facet 2011
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Adaptives System, Softwaresystem, Programmverifikation, Formale Methode, Modellgetriebene Entwicklung, Middleware, Fehlerverhütung, Rekonfiguration
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent-conference
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2011 Szeged (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Szeged
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7740
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1652026878
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1652026878
is_hierarchy_title Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
isbn 9783642362491
isbn_isn_mv 9783642362484, 3642362486
issn_isn_mv 1611-3349
kxp_id_str 1652026878
language English
last_indexed 2024-02-29T18:23:05.59Z
local_heading_facet_dezwi2 Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Computer networks ., Compilers (Computer programs)., Adaptives System, Softwaresystem, Programmverifikation, Formale Methode, Modellgetriebene Entwicklung, Middleware, Fehlerverhütung, Rekonfiguration
marc024a_ct_mv 10.1007/978-3-642-36249-1
match_str camara2013assurancesforselfadaptivesystemsprinciplesmodelsandtechniques
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7740
names_id_str_mv (DE-627)1233938738, (DE-576)163938733
oclc_num 830902105
physical Online-Ressource (X, 341 p. 94 illus, digital)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 378522493
recordtype marcfinc
rsn_id_str_mv (DE-15)3198477
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7740
series2 Lecture Notes in Computer Science ; 7740, SpringerLink ; Bücher
source_id 0
spelling Cámara, Javier aut, Assurances for Self-Adaptive Systems Principles, Models, and Techniques edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes, Berlin, Heidelberg Springer 2013, Online-Ressource (X, 341 p. 94 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7740, SpringerLink Bücher, Literaturangaben, The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques, Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Computer networks ., Compilers (Computer programs)., Konferenzschrift 2011 Szeged (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4247928-9 (DE-627)104635606 (DE-576)210491981 Adaptives System gnd, s (DE-588)4137282-7 (DE-627)105651192 (DE-576)209676310 Softwaresystem gnd, s (DE-588)4135576-3 (DE-627)10566409X (DE-576)209661925 Programmverifikation gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, s (DE-588)4832365-2 (DE-627)490626300 (DE-576)217007007 Modellgetriebene Entwicklung gnd, s (DE-588)4426067-2 (DE-627)216326354 (DE-576)212319558 Middleware gnd, s (DE-588)4276213-3 (DE-627)104437049 (DE-576)210756187 Fehlerverhütung gnd, s (DE-588)4306238-6 (DE-627)123199581 (DE-576)211084433 Rekonfiguration gnd, DE-101, Lemos, Rogério oth, Ghezzi, Carlo (DE-627)1233938738 (DE-576)163938733 oth, Lopes, Antónia oth, 9783642362484, Erscheint auch als Druck-Ausgabe Assurances for self-adaptive systems Berlin : Springer, 2013 X, 330 S. (DE-627)1603061126 (DE-576)382349148 9783642362484 3642362486, Lecture notes in computer science 7740 7740 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-36249-1 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-36249-1 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz378522493cov.jpg V:DE-576 X:springer image/jpeg 20130402155333 Cover, http://d-nb.info/1030083789/04 B:DE-101 application/pdf 2013-05-01 Verlag Inhaltsverzeichnis, http://deposit.d-nb.de/cgi-bin/dokserv?id=4240502&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)735260974, http://dx.doi.org/10.1007/978-3-642-36249-1 DE-14, DE-14 epn:3356100076 2013-02-07T10:39:59Z, http://dx.doi.org/10.1007/978-3-642-36249-1 DE-15, DE-15 epn:3356100114 2013-02-07T10:39:59Z, http://dx.doi.org/10.1007/978-3-642-36249-1 DE-Ch1, DE-Ch1 epn:3356100181 2013-02-07T10:39:59Z, http://dx.doi.org/10.1007/978-3-642-36249-1 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3356100238 2013-02-07T10:39:59Z, http://dx.doi.org/10.1007/978-3-642-36249-1 DE-520, DE-520 epn:3356100297 2013-02-07T10:39:59Z
spellingShingle Cámara, Javier, Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, Lecture notes in computer science, 7740, The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques, Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Computer networks ., Compilers (Computer programs)., Konferenzschrift 2011 Szeged, Adaptives System, Softwaresystem, Programmverifikation, Formale Methode, Modellgetriebene Entwicklung, Middleware, Fehlerverhütung, Rekonfiguration
swb_id_str 378522493
title Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
title_auth Assurances for Self-Adaptive Systems Principles, Models, and Techniques
title_full Assurances for Self-Adaptive Systems Principles, Models, and Techniques edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes
title_fullStr Assurances for Self-Adaptive Systems Principles, Models, and Techniques edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes
title_full_unstemmed Assurances for Self-Adaptive Systems Principles, Models, and Techniques edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes
title_in_hierarchy 7740. Assurances for Self-Adaptive Systems: Principles, Models, and Techniques (2013)
title_short Assurances for Self-Adaptive Systems
title_sort assurances for self adaptive systems principles models and techniques
title_sub Principles, Models, and Techniques
title_unstemmed Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
topic Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Computer networks ., Compilers (Computer programs)., Konferenzschrift 2011 Szeged, Adaptives System, Softwaresystem, Programmverifikation, Formale Methode, Modellgetriebene Entwicklung, Middleware, Fehlerverhütung, Rekonfiguration
topic_facet Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Computer networks ., Compilers (Computer programs)., Konferenzschrift, Adaptives System, Softwaresystem, Programmverifikation, Formale Methode, Modellgetriebene Entwicklung, Middleware, Fehlerverhütung, Rekonfiguration
url https://doi.org/10.1007/978-3-642-36249-1, http://dx.doi.org/10.1007/978-3-642-36249-1, https://swbplus.bsz-bw.de/bsz378522493cov.jpg, http://d-nb.info/1030083789/04, http://deposit.d-nb.de/cgi-bin/dokserv?id=4240502&prov=M&dok_var=1&dok_ext=htm