Assurances for self-adaptive systems: principles, models, and techniques
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7740: State-of-the-art survey |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 339 S.) graph. Darst. |
| ISBN: | 9783642362484 9783642362491 |
| DOI: | 10.1007/978-3-642-36249-1 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040914222 | ||
| 003 | DE-604 | ||
| 005 | 20130402 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 130327s2013 xx d||| o|||| 00||| eng d | ||
| 020 | |a 9783642362484 |9 978-3-642-36248-4 | ||
| 020 | |a 9783642362491 |c eISBN |9 978-3-642-36249-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-36249-1 |2 doi | |
| 035 | |a (OCoLC)863900110 | ||
| 035 | |a (DE-599)BVBBV040914222 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 22//ger | |
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 704f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 100 | 1 | |a Cámara, Javier |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Assurances for self-adaptive systems |b principles, models, and techniques |c Javier Cámara ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 339 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7740: State-of-the-art survey | |
| 650 | 0 | 7 | |a Selbsteinstellendes System |0 (DE-588)4054398-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Szeged |2 gnd-content | |
| 689 | 0 | 0 | |a Selbsteinstellendes System |0 (DE-588)4054398-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in computer science |v 7740: State-of-the-art survey |w (DE-604)BV014880109 |9 7740 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-36249-1 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025893495&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025893495&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025893495 | |
Datensatz im Suchindex
| _version_ | 1820875450502610944 |
|---|---|
| adam_text |
ASSURANCES FOR SELF-ADAPTIVE SYSTEMS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
MODEL CHECKING ADAPTIVE SOFTWARE WITH FEATURED TRANSITION SYSTEMS
PROBABILISTIC VERIFICATION AT RUNTIME FOR SELF-ADAPTIVE SYSTEMS
VERIFICATION OF A SELF-CONFIGURATION PROTOCOL FOR DISTRIBUTED
APPLICATIONS IN THE CLOUD
FORMAL MODELING AND VERIFICATION OF SELF-* SYSTEMS BASED ON
OBSERVER/CONTROLLER-ARCHITECTURES
TIMED HAZARD ANALYSIS OF SELF-HEALING SYSTEMS
MODEL-DRIVEN DEVELOPMENT OF SAFE SELF-OPTIMIZING MECHATRONIC SYSTEMS
WITH MECHATRONICUML
MODEL-BASED REASONING FOR SELF-ADAPTIVE SYSTEMS – THEORY AND PRACTICE
ACHIEVING SELF-ADAPTATION THROUGH DYNAMIC GROUP MANAGEMENT
ACCURATE PROACTIVE ADAPTATION OF SERVICE-ORIENTED SYSTEMS
FAILURE AVOIDANCE IN CONFIGURABLE SYSTEMS THROUGH FEATURE LOCALITY
EMERGING TECHNIQUES FOR THE ENGINEERING OF SELF ADAPTIVE HIGH-INTEGRITY
SOFTWARE
ASSURANCE OF SELF-ADAPTIVE CONTROLLERS FOR THE CLOUD
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
ASSURANCES FOR SELF-ADAPTIVE SYSTEMS
/
: 2013
ABSTRACT / INHALTSTEXT
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author | Cámara, Javier |
| author_facet | Cámara, Javier |
| author_role | aut |
| author_sort | Cámara, Javier |
| author_variant | j c jc |
| building | Verbundindex |
| bvnumber | BV040914222 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 704f DAT 000 DAT 325f |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)863900110 (DE-599)BVBBV040914222 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-36249-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV040914222</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130402</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">130327s2013 xx d||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642362484</subfield><subfield code="9">978-3-642-36248-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642362491</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-36249-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-36249-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863900110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040914222</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 704f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cámara, Javier</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Assurances for self-adaptive systems</subfield><subfield code="b">principles, models, and techniques</subfield><subfield code="c">Javier Cámara ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 339 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7740: State-of-the-art survey</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Selbsteinstellendes System</subfield><subfield code="0">(DE-588)4054398-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Szeged</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Selbsteinstellendes System</subfield><subfield code="0">(DE-588)4054398-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7740: State-of-the-art survey</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7740</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-36249-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025893495&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025893495&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025893495</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Szeged gnd-content |
| genre_facet | Konferenzschrift 2011 Szeged |
| id | DE-604.BV040914222 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:49Z |
| institution | BVB |
| isbn | 9783642362484 9783642362491 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025893495 |
| oclc_num | 863900110 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 339 S.) graph. Darst. |
| psigel | ZDB-2-LNC ZDB-2-SCS |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Cámara, Javier Verfasser aut Assurances for self-adaptive systems principles, models, and techniques Javier Cámara ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 339 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7740: State-of-the-art survey Selbsteinstellendes System (DE-588)4054398-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Szeged gnd-content Selbsteinstellendes System (DE-588)4054398-5 s DE-604 Lecture notes in computer science 7740: State-of-the-art survey (DE-604)BV014880109 7740 https://doi.org/10.1007/978-3-642-36249-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025893495&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025893495&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Cámara, Javier Assurances for self-adaptive systems principles, models, and techniques Lecture notes in computer science Selbsteinstellendes System (DE-588)4054398-5 gnd |
| subject_GND | (DE-588)4054398-5 (DE-588)1071861417 |
| title | Assurances for self-adaptive systems principles, models, and techniques |
| title_auth | Assurances for self-adaptive systems principles, models, and techniques |
| title_exact_search | Assurances for self-adaptive systems principles, models, and techniques |
| title_full | Assurances for self-adaptive systems principles, models, and techniques Javier Cámara ... (eds.) |
| title_fullStr | Assurances for self-adaptive systems principles, models, and techniques Javier Cámara ... (eds.) |
| title_full_unstemmed | Assurances for self-adaptive systems principles, models, and techniques Javier Cámara ... (eds.) |
| title_short | Assurances for self-adaptive systems |
| title_sort | assurances for self adaptive systems principles models and techniques |
| title_sub | principles, models, and techniques |
| topic | Selbsteinstellendes System (DE-588)4054398-5 gnd |
| topic_facet | Selbsteinstellendes System Konferenzschrift 2011 Szeged |
| url | https://doi.org/10.1007/978-3-642-36249-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025893495&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025893495&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT camarajavier assurancesforselfadaptivesystemsprinciplesmodelsandtechniques |