Change Management for Heterogeneous Development Graphs
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)
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.
%0 Book Section
%1 AHM-10-a
%A Autexier, Serge
%A Hutter, Dieter
%A Mossakowski, Till
%B Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther
%D 2010
%E Siegler, Simon
%E Wasser, Nathan
%I Springer
%K change heterogeneous institution management specification
%P 54-80
%T Change Management for Heterogeneous Development Graphs
%U http://www.springerlink.com/content/978-3-642-17171-0#section=802650&page=1&locus=0
%V 6463
%X 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.
@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
}