Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Design of a JML Documentation...

Treffer: Design of a JML Documentation Generator

Title:
Design of a JML Documentation Generator
Authors:
Arun David Raghavan
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.gz
Publication Year:
2000
Collection:
CiteSeerX
Subject Terms:
1999 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications--- languages, tools, JML, D.2.2 [Software Engineering] Design Tools and Techniques--- modules and interfaces, software libraries, D.2.4 [Software Engineering] Software/Program Verification--- formal methods, programming by contract, D.2.7 [Software Engineering] Distribution
Document Type:
Fachzeitschrift text
File Description:
application/postscript
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.3046
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.3046
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.D0109701
Database:
BASE

Weitere Informationen

JML is a behavioral interface specification language designed to specify Java classes and interfaces. In JML, a Java class or interface inherits specifications from its superclass and/or superinterfaces. JML specifications for a class or module can also be refined or augmented in non-source files. As a result of this, the complete specification for a class or interface may be split over several files. To facilitate viewing of these specifications in a user-friendly manner, some documentation tools are needed to combine these specifications. This thesis gives a semantics of specification inheritance and refinement and describes an implementation of JMLDoc --- a tool for generating HTML pages from the specifications. It combines specifications from inheritance and refinements and presents the complete JML specification to the user. Chapter 1 OVERVIEW JML [12], which stands for "Java Modeling Language," is a behavioral interface specification language (BISL)[15] designed to specify Jav.