國立虎尾科技大學 |

Transactions on Foundations for Mastering Change I

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Transactions on Foundations for Mastering Change I/ edited by Bernhard Steffen.
其他作者:	Steffen, Bernhard.
面頁冊數:	XII, 257 p. 90 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-46508-1
ISBN:	9783319465081

Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I[electronic resource] /edited by Bernhard Steffen. - 1st ed. 2016. - XII, 257 p. 90 illus.online resource. - Transactions on Foundations for Mastering Change,99602509-8047 ;. - Transactions on Foundations for Mastering Change,9960.

Introduction: Foundations for Mastering Change -- Knowledge Management for Inclusive System Evolution -- Archimedean Points: The Essence for Mastering of Change -- Model Patterns: The Quest for the Right Level of Abstraction -- Verified Change -- Good Change and Bad Change: An Analysis Perspective on Software Evolution -- Compositional Model-Based System Design and Other Foundations for Mastering Change -- Proof Repositories for Compositional Verification of Evolving Software Systems -- Statistical Model Checking with Change Detection -- Collective Autonomic Systems: Towards Engineering Principles and their Foundations -- Continuous Collaboration for Changing Environments -- Issues on software quality models for mastering change -- Traceability Types for Mastering Change in Collaborative Software Quality Management.

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. Submissions are evaluated according to these goals. This book, the first volume in the series, contains contributions by the members of the editorial board. These contributions indicate the envisioned style and range of papers of topics covered by the transactions series. They cross-cut various traditional research directions and are characterized by a clear focus on change. .

ISBN: 9783319465081

Standard No.: 10.1007/978-3-319-46508-1doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Transactions on Foundations for Mastering Change I
LDR:02992nam a22004095i 4500 001 981215
003 DE-He213
005 20200629214651.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319465081 $9 978-3-319-46508-1
024 7 $a 10.1007/978-3-319-46508-1 $2 doi
035 $a 978-3-319-46508-1
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Transactions on Foundations for Mastering Change I $h [electronic resource] / $c edited by Bernhard Steffen.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XII, 257 p. 90 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 Transactions on Foundations for Mastering Change, $x 2509-8047 ; $v 9960
505 0 $a Introduction: Foundations for Mastering Change -- Knowledge Management for Inclusive System Evolution -- Archimedean Points: The Essence for Mastering of Change -- Model Patterns: The Quest for the Right Level of Abstraction -- Verified Change -- Good Change and Bad Change: An Analysis Perspective on Software Evolution -- Compositional Model-Based System Design and Other Foundations for Mastering Change -- Proof Repositories for Compositional Verification of Evolving Software Systems -- Statistical Model Checking with Change Detection -- Collective Autonomic Systems: Towards Engineering Principles and their Foundations -- Continuous Collaboration for Changing Environments -- Issues on software quality models for mastering change -- Traceability Types for Mastering Change in Collaborative Software Quality Management.
520 $a The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. Submissions are evaluated according to these goals. This book, the first volume in the series, contains contributions by the members of the editorial board. These contributions indicate the envisioned style and range of papers of topics covered by the transactions series. They cross-cut various traditional research directions and are characterized by a clear focus on change. .
650 0 $a Software engineering. $3 562952
650 0 $a Computer logic. $3 786340
650 0 $a Management information systems. $3 561123
650 0 $a Computer science. $3 573171
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer simulation. $3 560190
650 0 $a Computer programming. $3 527822
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Management of Computing and Information Systems. $3 593928
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Programming Techniques. $3 669781
700 1 $a Steffen, Bernhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883233
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319465074
776 0 8 $i Printed edition: $z 9783319465098
830 0 $a Transactions on Foundations for Mastering Change, $x 2509-8047 ; $v 9960 $3 1273724
856 4 0 $u https://doi.org/10.1007/978-3-319-46508-1
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)