000761654 000__ 02457cam\a2200445Ii\4500
000761654 001__ 761654
000761654 005__ 20230306142323.0
000761654 006__ m\\\\\o\\d\\\\\\\\
000761654 007__ cr\cn\nnnunnun
000761654 008__ 161010s2016\\\\sz\a\\\\o\\\\\001\0\eng\d
000761654 019__ $$a961002970
000761654 020__ $$a9783319465081$$q(electronic book)
000761654 020__ $$a3319465082$$q(electronic book)
000761654 020__ $$z9783319465074
000761654 0247_ $$a10.1007/978-3-319-46508-1$$2doi
000761654 035__ $$aSP(OCoLC)ocn960193192
000761654 035__ $$aSP(OCoLC)960193192$$z(OCoLC)961002970
000761654 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dNJR$$dYDX
000761654 049__ $$aISEA
000761654 050_4 $$aQA76.76.D47
000761654 08204 $$a005.1$$223
000761654 24500 $$aTransactions on foundations for mastering change.$$nI /$$cedited by Bernhard Steffen.
000761654 264_1 $$aCham, Switzerland :$$bSpringer,$$c2016.
000761654 300__ $$a1 online resource (xii, 257 pages) :$$billustrations.
000761654 336__ $$atext$$btxt$$2rdacontent
000761654 337__ $$acomputer$$bc$$2rdamedia
000761654 338__ $$aonline resource$$bcr$$2rdacarrier
000761654 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9960
000761654 500__ $$aIncludes author index.
000761654 5050_ $$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.
000761654 506__ $$aAccess limited to authorized users.
000761654 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 10, 2016).
000761654 650_0 $$aComputer software$$xDevelopment.
000761654 650_0 $$aComputer software$$xVerification.
000761654 7001_ $$aSteffen, Bernhard,$$eeditor.
000761654 830_0 $$aLecture notes in computer science ;$$v9960.
000761654 852__ $$bebk
000761654 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-46508-1$$zOnline Access$$91397441.1
000761654 909CO $$ooai:library.usi.edu:761654$$pGLOBAL_SET
000761654 980__ $$aEBOOK
000761654 980__ $$aBIB
000761654 982__ $$aEbook
000761654 983__ $$aOnline
000761654 994__ $$a92$$bISE