John V. Guttag and James J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Self-citation (Guttag) (Correct)
No context found.
John Guttag and James Horning with Stephen J. Garland, Kevin D. Jones, Andrs Modet, and Jeannette M. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag, Texts and Monographs in Computer Science, 1993. Overview of the Larch family of specification languages and related tools. Includes a chapter on LCL, the Larch C interface language, on which Splint is based.
Using Simulated Execution in Verifying Distributed.. - Win, Ernst, Garland.. (2004) (3 citations) Self-citation (Garland) (Correct)
No context found.
John V. Guttag, James J. Horning, S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1993. 9
Operation Refinement for VDM-like - Specifications Bettina Buth (Correct)
No context found.
John V. Guttag and James J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
Specification Matching of Software Components - Zaremski (1997) (19 citations) (Correct)
No context found.
GUTTAG,J .V.AND HORNING, J. J., Eds. 1993. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, New York. (With contributions by S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing.) GOGUEN, J., NGUYEN, D., MESEGUER, J., DU ZHANG, L., AND BERZINS, V. 1996. Software component search. J. Syst. Integration 6, 93--134.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
John V. Guttag, James J. Horning, et al. Larch: Languages and Tools for Formal Specification. Springer, New York, NY, 1993.
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
No context found.
J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
Modular Pluggable Analyses for Data Structure Consistency - Kuncak, Lam, Zee, Rinard (Correct)
No context found.
J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
John V. Guttag, James J. Horning, et al. Larch: Languages and Tools for Formal Specification. Springer, New York, NY, 1993.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Guttag JV, Horning JJ (1993) Larch: languages and tools for formal specification. Springer, Berlin Heidelberg New York
Temporal Logic Verifications for UML, the Vending Machine Example - Royer (2001) (Correct)
No context found.
John V. Guttag and James J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer Verlag, 1993. With Stephen J. Garland, Kevin D. Jones, Andres Modet, and Jeannette M. Wing.
Formal Analysis of Early Requirements Specifications - Fuxman (2001) (6 citations) (Correct)
No context found.
J. Guttag and J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993. With S. Garland, K. Jones, A. Modet, and J. Wing.
An Overview of JML Tools and Applications - Burdy, al. (2003) (16 citations) (Correct)
No context found.
John V. Guttag, James J. Horning, et al. Larch: Languages and Tools for Formal Specification. Springer, New York, NY, 1993.
Http://www.artist-Embedded.org/ - Artist Ist- Real-Time (2003) (Correct)
No context found.
John V. Guttag, James J. Horning, S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science series. Springer Verlag, 1993. This is currently out of print, but a (large) postscript file for the entire book can be obtained from the following URL http://www.sds.lcs.mit.edu/spd/larch/pub/larchBook.ps.
Constructive Specifications for Compositional Units - Kung-Kiu Lau Alberto (Correct)
No context found.
J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specification. SpringerVerlag, 1993.
Verifying Timing Properties of Concurrent Algorithms - Victor Luchangco Ekrem (1995) (7 citations) (Correct)
No context found.
John V. Guttag and James J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
Typestates for Objects - Deline, Fahndrich (2004) (10 citations) (Correct)
No context found.
Guttag, J.V., Horning, J.J.: Larch: Languages and Tools for Formal Specification. Springer-Verlag (1993)
An overview of JML tools and applications - Www Jmlspecs Org (2003) (Correct)
No context found.
John V. Guttag, James J. Horning, et al. Larch: Languages and Tools for Formal Specification. Springer, New York, NY, 1993.
An overview of JML tools and applications - Burdy, Cheon, Ernst, Kiniry (2003) (16 citations) (Correct)
No context found.
John V. Guttag, James J. Horning, et al. Larch: Languages and Tools for Formal Specification. Springer, New York, NY, 1993.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
John V. Guttag, James J. Horning, et al. Larch: Languages and Tools for Formal Specification. Springer, New York, NY, 1993.
Object Invariants in Dynamic Contexts - Leino, Müller (2004) (3 citations) (Correct)
No context found.
John V. Guttag and James J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993. With Stephen J. Garland, Kevin D. Jones, Andres Modet, and Jeannette M. Wing.
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
No context found.
J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specification. Springer--Verlag, 1993.
Object-Oriented Software Specification in Programming.. - Bryant, Vaidyanathan (Correct)
No context found.
J. V. Guttag and J. J. Horning. LARCH: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
Data groups: Specifying the modification of extended state - Rustan Leino Compaq (1998) (17 citations) (Correct)
No context found.
John V. Guttag and James J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993. With Stephen J. Garland, Kevin D. Jones, Andres Modet, and Jeannette M. Wing.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
John V. Guttag and James J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in computer Science. Springer Verlag, 1993. With Stephen J. Garland, Kevin D. Jones, Andres Modet, and Jeannette M. Wing.
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
No context found.
John V. Guttag and James J. Horning with S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993.
First 50 documents Next 50
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