Lilian Burdy, Yoonskik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll  Home/Search
Context Related
| gemplus.com/smart/rd/publ...BCC_03jm.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gemplus.com/smart/rd/publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source les. The aim of JML is to provide a speci cation language that is easy to use for Java programmers and that is supported by a wide range of tools for speci cation type-checking, runtime debugging, static analysis, and veri cation. (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll, "An overview of JML tools and applications," in Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), ser. Electronic Notes in Theoretical Computer Science, T. Arts and W. Fokkink, Eds., vol. 80. Elsevier, June 2003, pp. 73--89, available from jmlspecs.org. http://citeseer.ist.psu.edu/burdy03overview.html More
@misc{ burdy03overview,
author = "L. Burdy and Y. Cheon and D. Cok and M. Ernst and J. Kiniry and G. Leavens
and K. Leino and E. Poll",
title = "An overview of JML tools and applications",
text = "L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M.
Leino, and E. Poll, An overview of JML tools and applications, in Eighth
International Workshop on Formal Methods for Industrial Critical Systems
(FMICS '03), ser. Electronic Notes in Theoretical Computer Science, T. Arts
and W. Fokkink, Eds., vol. 80. Elsevier, June 2003, pp. 73--89, available
from jmlspecs.org.",
year = "2003",
url = "citeseer.ist.psu.edu/burdy03overview.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1997
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
181 The Object Constraint Language: Precise Modeling with UML (context) - Warmer, Kleppe - 1999
171 Dynamically discovering likely program invariants to support.. - Ernst, Cockrell et al. - 2001
145 ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
140 Extended static checking for Java - Flanagan, Rustan et al. - 2002
140 Preliminary design of JML: A behavioral interface speci cati.. - Leavens, Baker et al. - 2003
79 JML: A notation for detailed design - Leavens, Baker et al. - 1999
59 The Uni ed Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1998
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 2000
51 annotation assistant escjava (context) - Flanagan, Houdini et al. - 2001
51 PVS: Combining speci cation (context) - Owre, Rajan et al. - 1996
49 Reasoning about Java classes - Jacobs, van den Berg et al. - 1998
46 Larch: Languages and Tools for Formal Speci cation (context) - Guttag, Horning - 1993
45 A logic for the Java Modeling Language JML - Jacobs, Poll - 2001
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.gemplus.com/smart/rd/publications/index.html): More
Externalized Fingerprint Matching - Barral, Coron, Naccache (2004) (Correct)
Statistics and Secret Leakage - Coron, Naccache, Kocher (2004) (Correct)
User Authentication with Smart Cards in Trusted Computing.. - George (Correct)
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