[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

Concept Index: B -- D

Jump to:   !   (   *   +   -   .   /   ;   <   =   @   \   {   |  
A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  

Index Entry Section

B
Büchi1.3 Goals
BüchiAcknowledgments
Back1.3 Goals
Back1.3 Goals
Back2.1.1 Model Fields
Back2.3.6 USMoney
Baker1. Introduction
Baker1.3 Goals
BeckerAcknowledgments
behavior1.1 Behavioral Interface Specification
behavior, use in desugaring2.2.2.3 Multiple Specification Cases
behavior, vs. normal_behavior2.2.1.5 Specifying Exceptional Behavior
behavior, when to use2.2.1.5 Specifying Exceptional Behavior
behavioral interface specification language1.1 Behavioral Interface Specification
behavioral subtyping2.6 Behavioral Subtyping
benevolent side effect2.1.3.1 The Assignable Clause
BhorkarAcknowledgments
BhorkarAcknowledgments
BISL1. Introduction
blank final, and constructor specifications3.1 Extensions to Java Expressions for Predicates
body of a quantifier3.1 Extensions to Java Expressions for Predicates
Borgida2.1.3.1 The Assignable Clause
BoylandAcknowledgments
BoysenAcknowledgments
BoysenAcknowledgments
breaks, default forA. Specification Case Defaults

C
case analysis, nested2.3.2.2 JMLType and Informal Predicates
case analysis, nested, example of2.5.3 Digraph
ChalinAcknowledgments
ChalinAcknowledgments
ChanAcknowledgments
ChanAcknowledgments
Chan Wai TingAcknowledgments
checkable redundancy2.2.2.2 Redundant Specification
checker1.4 Tool Support
checker, for JML1.4.1 Type Checking Specifications
ChenAcknowledgments
CheonAcknowledgments
CheonAcknowledgments
CheonAcknowledgments
Cheon, Yoonsik1.4.3 Run Time Assertion Checking
class for modeling, example of2.5.2 ArcType
class specification2. Class and Interface Specifications
class, model2.5.2 ArcType
classes, pure, use of2.4 Use of Pure Classes
clauses, multiple2.2.2.3 Multiple Specification Cases
client, specification for1.1 Behavioral Interface Specification
CliftonAcknowledgments
CliftonAcknowledgments
CliftonAcknowledgments
clone2.2.1.4 Adding to Method Specifications
clone2.3.2.2 JMLType and Informal Predicates
Cohen3.1 Extensions to Java Expressions for Predicates
Cohen3.1 Extensions to Java Expressions for Predicates
CokAcknowledgments
CokAcknowledgments
CokAcknowledgments
collection model types2.3 Types For Modeling
command for checking JML files1.4.1 Type Checking Specifications
Compaq SRC1.3 Goals
Compaq SRC1.4 Tool Support
completely omitted specificationA. Specification Case Defaults
comprehensions, for sets3.1 Extensions to Java Expressions for Predicates
conclusions4. Conclusions
concrete fields, relating to models2.2 Data Groups
concurrency4. Conclusions
constraint2.2.1.2 Invariants and History Constraint
constructor, and preconditions3.1 Extensions to Java Expressions for Predicates
constructor, default, specification ofA. Specification Case Defaults
constructor, pure2.3.1 Purity
constructors, and the assignable clause2.3.6 USMoney
container classes, in JML models directory2.5.3 Digraph
continues, default forA. Specification Case Defaults
contract1.1 Behavioral Interface Specification
correct implementation2.1.3.4 Correct Implementation
correctness2.1.3.4 Correct Implementation
correctness, of ADT implementation2.3.4 MoneyAC

D
da Costa GomezAcknowledgments
DaiAcknowledgments
Daikon invariant detector1.4 Tool Support
data abstraction2.2.2.1 Data Groups and Represents Clauses
data group2.2.2.1 Data Groups and Represents Clauses
data group membership2.2.2.1 Data Groups and Represents Clauses
data groups2.2 Data Groups
data groups, and assignable clause2.2.2.1 Data Groups and Represents Clauses
data groups, and assignable clauses2.2.2.1 Data Groups and Represents Clauses
data groups, and frame axioms2.2.2.1 Data Groups and Represents Clauses
data groups, and inheritance2.6 Behavioral Subtyping
data groups, and modifies clauses2.2.2.1 Data Groups and Represents Clauses
data type induction2.1.1 Model Fields
DaughertyAcknowledgments
Davies1.3 Goals
debugging, specifications2.2.2.2 Redundant Specification
default constructor, specification ofA. Specification Case Defaults
default privacy1.2 Lightweight Specifications
default, for requires clause1.2 Lightweight Specifications
defaults, for omitted clauses in method specificationsA. Specification Case Defaults
desugaring for spec_public and spec_protected2.1.4 Models and Lightweight Specifications
deterministic, pure method2.3.1 Purity
Dhara2.2.2.3 Multiple Specification Cases
Dhara2.6 Behavioral Subtyping
DietlAcknowledgments
directory, argument to jml script1.4.1 Type Checking Specifications
divergesA. Specification Case Defaults
diverges, default forA. Specification Case Defaults
documentation comment, specification in1.1 Behavioral Interface Specification
DocxxAcknowledgments
DoorenAcknowledgments
downloading, JML4. Conclusions
duration, default forA. Specification Case Defaults
dynamic type of an expression3.1 Extensions to Java Expressions for Predicates
dynamic, assertion checking1.4.3 Run Time Assertion Checking

Jump to:   !   (   *   +   -   .   /   ;   <   =   @   \   {   |  
A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Gary Leavens on March, 16 2009 using texi2html