Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development
The work
| Title | Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development |
|---|---|
| Authors | Job Zwiers; Ulrich Hannemann; Yassine Lakhnech; Willem P. de Roever; Frank A. Stomp |
| Type | conference paper |
| 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 |
Copy held
| Kind | PDF, 845.2 kB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
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},
volume = {1051},
pages = {595--608},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/zwiers1996modular/ and will keep doing so.