Writing Larch Interface Language Specifications (1987)

View PDF

Download Links

by Jeannette M. Wing
Venue:ACM Transactions on Programming Languages and Systems
Citations:79 - 2 self

Active Bibliography

977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
456 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
644 Applying design by contract – Bertrand Meyer - 1992
480 Goal-directed Requirements Acquisition – Anne Dardenne , Axel van Lamsweerde, Stephen Fickas - 1993
1509 The Entity-Relationship Model: Toward a Unified View of Data – Peter Pin-shan Chen - 1976
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1337 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
561 Composing Specifications – Martín Abadi, Leslie Lamport - 1993