DMCA
References
Cached
Download Links
by
Especially Mario Barbacci
,
Neil Goldman
,
John Guttag
,
Paul Hilfinger
,
David Jefferson
,
Anita Jones
,
David Lamb
,
David Musser
,
Karla Per
,
Kamesh Ramakrishna
,
David Wile We
BibTeX
@MISC{Barbacci_references,
author = {Especially Mario Barbacci and Neil Goldman and John Guttag and Paul Hilfinger and David Jefferson and Anita Jones and David Lamb and David Musser and Karla Per and Kamesh Ramakrishna and David Wile We},
title = {References},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
that it enforces the preservation of I~. Step 4 guarantees (a) that the concrete operation is applicable whenever the abstract pre condition holds and (b) that if the operation is performed, the result corresponds properly to the abstract specifications. Acknowledgments. We owe a great deal to our col-leagues at Carnegie-Mellon University and the Univer-sity of Southern California Information Sciences Insti-
