東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Software engineering for collective ...

Wirsing, Martin.

Linked to FindBook

Google Book

Amazon

博客來

Software engineering for collective autonomic systems = The ASCENS Approach /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Software engineering for collective autonomic systems/ edited by Martin Wirsing ... [et al.].
Reminder of title:	The ASCENS Approach /
other author:	Wirsing, Martin.
Published:	Cham :Springer International Publishing : : 2015.,
Description:	xiv, 535 p. :ill., digital ;24 cm.
[NT 15003449]:	The SCEL Language: Design, Implementation, Verification -- Reconfigurable and Software-Defined Networks of Connectors and Components -- Correctness of Service Components and Service Component Ensembles -- Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation -- From Local to Global Knowledge and Back -- Knowledge Representation for Adaptive and Self-aware Systems -- Reasoning and Learning for Awareness and Adaptation -- Supporting Performance Awareness in Autonomous Ensembles -- The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems -- Methodological Guidelines for Engineering Self-organization and Emergence -- Engineering Requirements for Autonomy Features -- The Invariant Refinement Method -- The ASCENS Case Studies: Results and Common Aspects -- Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility Case Study.
Contained By:	Springer eBooks
Subject:	Software engineering. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-16310-9
ISBN:	9783319163109 (electronic bk.)

Software engineering for collective autonomic systems = The ASCENS Approach /
Software engineering for collective autonomic systemsThe ASCENS Approach /[electronic resource] :edited by Martin Wirsing ... [et al.]. - Cham :Springer International Publishing :2015. - xiv, 535 p. :ill., digital ;24 cm. - Lecture notes in computer science,89980302-9743 ;. - Lecture notes in computer science ;5353..

The SCEL Language: Design, Implementation, Verification -- Reconfigurable and Software-Defined Networks of Connectors and Components -- Correctness of Service Components and Service Component Ensembles -- Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation -- From Local to Global Knowledge and Back -- Knowledge Representation for Adaptive and Self-aware Systems -- Reasoning and Learning for Awareness and Adaptation -- Supporting Performance Awareness in Autonomous Ensembles -- The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems -- Methodological Guidelines for Engineering Self-organization and Emergence -- Engineering Requirements for Autonomy Features -- The Invariant Refinement Method -- The ASCENS Case Studies: Results and Common Aspects -- Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility Case Study.

A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period 2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive) The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility.

ISBN: 9783319163109 (electronic bk.)

Standard No.: 10.1007/978-3-319-16310-9doiSubjects--Topical Terms:

559826
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software engineering for collective autonomic systems = The ASCENS Approach /
LDR:03380nmm a2200325 a 4500 001 1997834
003 DE-He213
005 20151022171453.0
006 m d
007 cr nn 008maaau
008 151112s2015 gw s 0 eng d
020 $a 9783319163109 (electronic bk.)
020 $a 9783319163093 (paper)
024 7 $a 10.1007/978-3-319-16310-9 $2 doi
035 $a 978-3-319-16310-9
040 $a GP $c GP
041 0 $a eng
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
090 $a QA76.758 $b .S681 2015
245 0 0 $a Software engineering for collective autonomic systems $h [electronic resource] : $b The ASCENS Approach / $c edited by Martin Wirsing ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xiv, 535 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 8998
505 0 $a The SCEL Language: Design, Implementation, Verification -- Reconfigurable and Software-Defined Networks of Connectors and Components -- Correctness of Service Components and Service Component Ensembles -- Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation -- From Local to Global Knowledge and Back -- Knowledge Representation for Adaptive and Self-aware Systems -- Reasoning and Learning for Awareness and Adaptation -- Supporting Performance Awareness in Autonomous Ensembles -- The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems -- Methodological Guidelines for Engineering Self-organization and Emergence -- Engineering Requirements for Autonomy Features -- The Invariant Refinement Method -- The ASCENS Case Studies: Results and Common Aspects -- Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility Case Study.
520 $a A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period 2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive) The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility.
650 0 $a Software engineering. $3 559826
650 0 $a Autonomic computing. $3 628884
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
700 1 $a Wirsing, Martin. $3 893475
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-16310-9
950 $a Computer Science (Springer-11645)