Jeanette Marie Wing. A two-tiered approach to specifying programs. PhD thesis, MIT, Lab. for Comp.Sci., 1983.  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Object-Oriented Programs - Tr July Fl (Correct)
How the Design of JML Accommodates Both Runtime.. - Leavens, Cheon.. (2004) (4 citations) (Correct)
Exploiting Specifications to Improve Program Performance - Vandevoorde (1994) (13 citations) (Correct)
Preliminary Design of Larch/C++ - Leavens, Cheon (1992) (2 citations) (Correct)
JML: a Java Modeling Language - Leavens, Baker, Ruby (1998) (8 citations) (Correct)
Preliminary Design of JML: A Behavioral Interface.. - Leavens, Baker, Ruby (1999) (113 citations) (Correct)
Blended Algebraic and Denotational Semantics for ADT.. - Leavens, Dhara (1994) (Correct)
Using Abstraction in Explicitly Parallel Programs - Yelick (1990) (Correct)
Approaches to Specification-Based Testing - Richardson, O'Malley, Tittle (1989) (21 citations) (Correct)
The Larch/Smalltalk Interface Specification Language - Cheon, Leavens (1994) (Correct)
Specifying Objects of Concurrent Systems - Lerner (1991) (7 citations) (Correct)
Preliminary Design of JML: A Behavioral Interface.. - Leavens, Baker, Ruby (1998) (113 citations) (Correct)
An Overview of Larch/C++: Behavioral Specifications for C++.. - Gary Leavens (1996) (7 citations) (Correct)
Inheritance of Interface Specifications - Extend Ed (Correct)
Synchronization Primitives for a Multiprocessor: A.. - Birrell, Guttag.. (1987) (24 citations) (Correct)
Specification-based Test Oracles for Reactive Systems - Richardson, Aha, O'Malley (1992) (69 citations) (Correct)
LM3: a Larch Interface Language for Modula-3 - A Definition and.. - Jones (1991) (3 citations) (Correct)
Static and Dynamic Specification Slicing - Chang, Richardson (1994) (7 citations) (Correct)
Iterators Revisited: Proof Rules and Implementation - Bart Jacobs Erik (2005) (Correct)
The Spec# Programming System: An Overview - Barnett, Leino, Schulte (Correct)
Enhancing the Pre- and Postcondition Technique for More.. - Leavens, Baker (1997) (12 citations) (Correct)
Enhancing the Pre- and Postcondition Technique for More.. - Leavens, Baker (1999) (12 citations) (Correct)
Protective Interface Specifications - Leavens, Wing (1998) (3 citations) Self-citation (Wing) (Correct)
Protection from the Underspecified - Leavens, Wing (1996) Self-citation (Wing) (Correct)
Protection from the Underspecified - Leavens, Wing (1996) Self-citation (Wing) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC