@incollection{AHM-10-a,
  abstract = { The error-prone process of formal specification and verification of
  large systems requires an efficient, evolutionary formal development
  approach.  Development graphs have been designed to support such an
  approach. They can formally represent the actual state of a
  software development comprising specification and verification work
  in a structured way and assist the user in her evolutionary
  development by the incorporated change management support.  In this
  paper we extend this work with respect to heterogeneous development
  graphs allowing one to make use of different institutions,
  i.e. logics, for specifying and verifying large developments. We
  also push forward the idea of stringent locality of definitions by
  introducing pre-signatures and pre-signature morphisms, which allow
  us to build up signatures in an incremental and parametric way.
},
  added-at = {2016-08-04T13:18:17.000+0200},
  author = {Autexier, Serge and Hutter, Dieter and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2379f31fd61f4b10834436e9555174bd0/tillmo},
  booktitle = {Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther},
  editor = {Siegler, Simon and Wasser, Nathan},
  interhash = {22c4f6b9f0eb9d879cb17c12a149e3fa},
  intrahash = {379f31fd61f4b10834436e9555174bd0},
  keywords = {change heterogeneous institution management specification},
  pages = {54-80},
  pdfurl = {http://www.informatik.uni-bremen.de/~autexier/pub/FestchriftChristophWalther.pdf},
  publisher = {Springer},
  series = {LNCS},
  status = {Reviewed},
  timestamp = {2016-08-04T13:18:17.000+0200},
  title = {Change Management for Heterogeneous Development Graphs},
  url = {http://www.springerlink.com/content/978-3-642-17171-0#section=802650&page=1&locus=0},
  volume = 6463,
  year = 2010
}