000 03597nam a22005775i 4500
001 978-3-319-46508-1
003 DE-He213
005 20200421112223.0
007 cr nn 008mamaa
008 160922s2016 gw | s |||| 0|eng d
020 _a9783319465081
_9978-3-319-46508-1
024 7 _a10.1007/978-3-319-46508-1
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aTransactions on Foundations for Mastering Change I
_h[electronic resource] /
_cedited by Bernhard Steffen.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aXII, 257 p. 90 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9960
505 0 _aIntroduction: 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 _aThe 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 _aComputer science.
650 0 _aComputer programming.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer logic.
650 0 _aComputer simulation.
650 0 _aManagement information systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aManagement of Computing and Information Systems.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSimulation and Modeling.
650 2 4 _aProgramming Techniques.
700 1 _aSteffen, Bernhard.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319465074
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9960
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-46508-1
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c57534
_d57534