default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Foundations for Mastering Change, Volume 1, 2016

> Home > Journals > Transactions on Foundations for Mastering Change

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/fomac/2016-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/2016-1
Bernhard Steffen:
Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science 9960, Springer 2016, ISBN 978-3-319-46507-4
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/Steffen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/Steffen16
Bernhard Steffen:
Introduction to the First Issue of FoMaC. 1-6
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/Margaria16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/Margaria16
Tiziana Margaria:
Knowledge Management for Inclusive System Evolution. 7-21
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/SteffenN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/SteffenN16
Bernhard Steffen, Stefan Naujokat:
Archimedean Points: The Essence for Mastering Change. 22-46
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/Rensink16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/Rensink16
Arend Rensink:
Model Patterns - The Quest for the Right Level of Abstraction. 47-70
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/HavelundK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/HavelundK16
Klaus Havelund, Rahul Kumar:
Verified Change. 71-89
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/Lindvall0TDH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/Lindvall0TDH16
Mikael Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, Mike Hinchey:
Good Change and Bad Change: An Analysis Perspective on Software Evolution. 90-112
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/Tripakis16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/Tripakis16
Stavros Tripakis:
Compositional Model-Based System Design and Other Foundations for Mastering Change. 113-129
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/BubelDHJOSY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/BubelDHJOSY16
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. 130-156
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/LegayT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/LegayT16
Axel Legay, Louis-Marie Traonouez:
Statistical Model Checking with Change Detection. 157-179
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/BelznerHKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/BelznerHKW16
Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing:
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. 180-200
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/HolzlG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/HolzlG16
Matthias M. Hölzl, Thomas Gabor:
Continuous Collaboration for Changing Environments. 201-224
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/Felderer16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/Felderer16
Michael Felderer:
Issues on Software Quality Models for Mastering Change. 225-241
- view
  authority control:
- export record
  dblp key:
  - journals/fomac/CelebicBF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/CelebicBF16
Boban Celebic, Ruth Breu, Michael Felderer:
Traceability Types for Mastering Change in Collaborative Software Quality Management. 242-256

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.