Search dblp for Publications

export results for "stream:streams/journals/fomac:"

 download as .bib file

@article{DBLP:journals/fomac/BelznerHKW16,
  author       = {Lenz Belzner and
                  Matthias M. H{\"{o}}lzl and
                  Nora Koch and
                  Martin Wirsing},
  title        = {Collective Autonomic Systems: Towards Engineering Principles and Their
                  Foundations},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {180--200},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_10},
  doi          = {10.1007/978-3-319-46508-1\_10},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fomac/BelznerHKW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/BubelDHJOSY16,
  author       = {Richard Bubel and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Olaf Owe and
                  Ina Schaefer and
                  Ingrid Chieh Yu},
  title        = {Proof Repositories for Compositional Verification of Evolving Software
                  Systems - Managing Change When Proving Software Correct},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {130--156},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_8},
  doi          = {10.1007/978-3-319-46508-1\_8},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/BubelDHJOSY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/CelebicBF16,
  author       = {Boban Celebic and
                  Ruth Breu and
                  Michael Felderer},
  title        = {Traceability Types for Mastering Change in Collaborative Software
                  Quality Management},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {242--256},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_13},
  doi          = {10.1007/978-3-319-46508-1\_13},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/CelebicBF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/Felderer16,
  author       = {Michael Felderer},
  title        = {Issues on Software Quality Models for Mastering Change},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {225--241},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_12},
  doi          = {10.1007/978-3-319-46508-1\_12},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/Felderer16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/HavelundK16,
  author       = {Klaus Havelund and
                  Rahul Kumar},
  title        = {Verified Change},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {71--89},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_5},
  doi          = {10.1007/978-3-319-46508-1\_5},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/HavelundK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/HolzlG16,
  author       = {Matthias M. H{\"{o}}lzl and
                  Thomas Gabor},
  title        = {Continuous Collaboration for Changing Environments},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {201--224},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_11},
  doi          = {10.1007/978-3-319-46508-1\_11},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/HolzlG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/LegayT16,
  author       = {Axel Legay and
                  Louis{-}Marie Traonouez},
  title        = {Statistical Model Checking with Change Detection},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {157--179},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_9},
  doi          = {10.1007/978-3-319-46508-1\_9},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/LegayT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/Lindvall0TDH16,
  author       = {Mikael Lindvall and
                  Martin Becker and
                  Vasil L. Tenev and
                  Slawomir Duszynski and
                  Mike Hinchey},
  title        = {Good Change and Bad Change: An Analysis Perspective on Software Evolution},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {90--112},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_6},
  doi          = {10.1007/978-3-319-46508-1\_6},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/Lindvall0TDH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/Margaria16,
  author       = {Tiziana Margaria},
  title        = {Knowledge Management for Inclusive System Evolution},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {7--21},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_2},
  doi          = {10.1007/978-3-319-46508-1\_2},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/Margaria16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/Rensink16,
  author       = {Arend Rensink},
  title        = {Model Patterns - The Quest for the Right Level of Abstraction},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {47--70},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_4},
  doi          = {10.1007/978-3-319-46508-1\_4},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/Rensink16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/Steffen16,
  author       = {Bernhard Steffen},
  title        = {Introduction to the First Issue of FoMaC},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {1--6},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_1},
  doi          = {10.1007/978-3-319-46508-1\_1},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/Steffen16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/SteffenN16,
  author       = {Bernhard Steffen and
                  Stefan Naujokat},
  title        = {Archimedean Points: The Essence for Mastering Change},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {22--46},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_3},
  doi          = {10.1007/978-3-319-46508-1\_3},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fomac/SteffenN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fomac/Tripakis16,
  author       = {Stavros Tripakis},
  title        = {Compositional Model-Based System Design and Other Foundations for
                  Mastering Change},
  journal      = {{LNCS} Trans. Found. Mastering Chang.},
  volume       = {1},
  pages        = {113--129},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1\_7},
  doi          = {10.1007/978-3-319-46508-1\_7},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/Tripakis16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/fomac/2016-1,
  editor       = {Bernhard Steffen},
  title        = {Transactions on Foundations for Mastering Change {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9960},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46508-1},
  doi          = {10.1007/978-3-319-46508-1},
  isbn         = {978-3-319-46507-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fomac/2016-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.