| Publication type: |
Article in Collection |
| Author: |
Serge Autexier, Dieter Hutter, Till Mossakowski |
| Editor: |
Simon Siegler, Nathan Wasser |
| Title: |
Change Management for Heterogeneous Development Graphs |
| Book / Collection title: |
Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther |
| Volume: |
6463 |
| Page(s): |
54 – 80 |
| Series: |
LNCS |
| Year published: |
2010 |
| Publisher: |
Springer |
| 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.
|
| Internet: |
http://www.springerlink.com/content/978-3-642-17171-0#section=802650&page=1&locus=0 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~autexier/pub/FestchriftChristophWalther.pdf |
| Keywords: |
change management heterogeneous specification institution |
| Status: |
Reviewed |
| Last updated: |
31. 01. 2011 |
