Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development
The work
| Authors | Job Zwiers; Ulrich Hannemann; Yassine Lakhnech; Willem P. de Roever; Frank A. Stomp |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1996 |
| Citekey | zwiers1996modular |
Where it appeared
| Published in | FME'96: Industrial Benefit and Advances in Formal Methods |
|---|---|
| Publisher | Springer |
| Volume | 1051 |
| Pages | 595--608 |
Identifiers
| DOI | 10.1007/3-540-60973-3_109 |
|---|
Abstract
Reuse of correctly specified software is crucial in bottom-up program development. Compositional specification formalisms have been designed to reduce the specification of a syntactically composed construct to specifications of its components, and therefore support top-down development methodology. Thus, the integration of reuse of correctly specified software components in a compositional setting calls for adaptation of a given specification to specifications needed in particular circumstances (depending on their application). Proof systems in which such adaptation steps can be performed whenever they are valid are called modular complete [Z89]. We present a generic way of constructing such systems for sequential and concurrent Hoare logics.
A copy is held
pdf, 825.4 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-16 15:49 UTC |
Filed under
Cite it as
@inproceedings{zwiers1996modular,
title = {Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development},
author = {Job Zwiers and Ulrich Hannemann and Yassine Lakhnech and Willem P. de Roever and Frank A. Stomp},
year = {1996},
booktitle = {FME'96: Industrial Benefit and Advances in Formal Methods},
publisher = {Springer},
volume = {1051},
pages = {595--608},
doi = {10.1007/3-540-60973-3_109},
}
This record lives at https://refs.drheap.org/zwiers1996modular/ and will keep doing so.