Transactions on foundations for mastering change. I (2016)
- Record Type:
- Book
- Title:
- Transactions on foundations for mastering change. I (2016)
- Main Title:
- Transactions on foundations for mastering change.
- Further Information:
- Note: Edited by Bernhard Steffen.
- Editors:
- Steffen, Bernhard
- Contents:
- 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.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (xii, 257 pages), illustrations
- Subjects:
- 005.1
Computer science
Computer software -- Development
Computer software -- Verification
Computer software -- Development
Computer software -- Verification
Computer Science
Software Engineering
Logics and Meanings of Programs
Management of Computing and Information Systems
Programming Languages, Compilers, Interpreters
Simulation and Modeling
Programming Techniques
Computers -- Programming -- General
Business & Economics -- Information Management
Computers -- Programming Languages -- General
Computers -- Computer Simulation
Computer programming / software development
Information architecture
Programming & scripting languages: general
Computer modelling & simulation
Software engineering
Logic design
Information Systems
Computer simulation
Computers -- Software Development & Engineering -- General
Software Engineering
Electronic books - Languages:
- English
- ISBNs:
- 9783319465081
3319465082
3319465074
9783319465074 - Related ISBNs:
- 9783319465074
- Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed October 10, 2016).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.356869
- Ingest File:
- 01_318.xml