| Publication type: |
Article in Proceedings |
| Author: |
T. Mossakowski, S. Autexier, D. Hutter |
| Editor: |
H. Hußmann |
| Title: |
Extending Development Graphs With Hiding |
| Book / Collection title: |
Fundamental Approaches to Software Engineering |
| Volume: |
2029 |
| Page(s): |
269 – 283 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2001 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
Development graphs are a tool for dealing with structured specifications in a way easing management of change and reusing proofs. In this work, we extend development graphs with hiding. Hiding is a particularly difficult to realize operation, since it does not admit such a good decomposition of the involved specifications as other structuring operations do. We develop both a semantics and proof rules for development graphs with hiding. The rules are proven to be sound, and also complete relative to an oracle for conservative extensions. We also show that an absolute complete set of rules cannot exist. The whole framework is developed in a way independent of the underlying logical system. |
| Internet: |
http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,10,38; |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/dgh.ps |
| Status: |
Reviewed |
| Last updated: |
01. 02. 2006 |
