Availability: Assurances for self-adaptive systems | Technische Universität München

Assurances for self-adaptive systems: principles, models, and techniques

Saved in:

Bibliographic Details
Main Author:	Cámara, Javier (Author)
Format:	Electronic eBook
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7740: State-of-the-art survey
Subjects:	Selbsteinstellendes System Konferenzschrift > 2011 > Szeged
Links:	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
Physical Description:	1 Online-Ressource (X, 339 S.) graph. Darst.
ISBN:	9783642362484 9783642362491
DOI:	10.1007/978-3-642-36249-1

Staff View

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

Record in the Search Index

DE-BY-TUM_katkey	1920938
_version_	1821935110935543809
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-11T19:05:17Z
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
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

Availability

Order (Login required)

Table of Contents
Read online