Index

abstract class

Specification of QuadShape and | Specification of QuadShape and

abstract data type (ADT)

Model-Based Specification

abstract model

Model-Based Specification | Discussion and Conclusions

abstract value

Model-Based Specification

abstraction function

Model-Based Specification | Model-Based Specification

Ada

Larch

assigned variable

Specification of QuadShape and

behavior

Introduction

behavioral interface specification

Larch | Discussion and Conclusions

behavioral subtype

Specification of QuadShape and

C

Larch

C++

Introduction | Larch

Chalin

Specification of QuadShape and

checkable redundancy

Vocabulary for Specifying Quadrilaterals | Specification of QuadShape and | Specification of QuadShape and

class, abstract

Specification of QuadShape and | Specification of QuadShape and

consistency checking

Specification of QuadShape and

constructor

Specification of QuadShape and

contained objects

Specification of QuadShape and

deallocation

Specification of QuadShape and

ensures redundantly

Specification of QuadShape and

examples, in specification

Specification of QuadShape and

examples, in specifications

Specification of QuadShape and

exception, specification of

Other Subtypes of QuadShape

expressiveness

Discussion and Conclusions

formality, tunable

Specification of QuadShape and

formality, tuning

Vocabulary for Specifying Quadrilaterals | Specification of QuadShape and

FourSidedFigure trait

Vocabulary for Specifying Quadrilaterals

frame axiom

Specification of QuadShape and

Fresco

Specification of QuadShape and

given set

Vocabulary for Specifying Quadrilaterals | Specification of QuadShape and

Guttag

Larch

Hoare

Model-Based Specification

Horning

Larch

informality

Vocabulary for Specifying Quadrilaterals | Specification of QuadShape and | Specification of QuadShape and | Discussion and Conclusions

inheritance, of specifications

Specification of QuadShape and

interface

Introduction

interface specification, behavioral

Discussion and Conclusions

invariant

Specification of QuadShape and

IsaParallelogram trait

Other Subtypes of QuadShape

IsaRectangle trait

Other Subtypes of QuadShape

IsaRhombus trait

Other Subtypes of QuadShape

IsaSquare trait

Other Subtypes of QuadShape

Larch

Larch

Larch Shared Language

Larch

Larch/Ada

Larch

Larch/C++

Introduction | Larch

Larch/Smalltalk

Larch | Specification of QuadShape and

LCL

Larch | Specification of QuadShape and | Specification of QuadShape and

LCLint

Specification of QuadShape and

Leino

Specification of QuadShape and

liberal specification

Specification of QuadShape and

LM3

Larch | Specification of QuadShape and

LSL

Larch | Vocabulary for Specifying Quadrilaterals

model-based

Model-Based Specification

model-based specification

Introduction

modeling process

Quadrilaterals

modify

Specification of QuadShape and

Modula-3

Larch

MooZ

Larch | Specification of QuadShape and

NoInterior trait

Other Subtypes of QuadShape

OBJ

Vocabulary for Specifying Quadrilaterals

Object-Z

Larch | Specification of QuadShape and

OOZE

Larch | Specification of QuadShape and

Parallelogram

Other Subtypes of QuadShape

ParallelShape

Other Subtypes of QuadShape

partial correctness

Specification of QuadShape and

post-state

Specification of QuadShape and

postcondition

Model-Based Specification

pre-state

Specification of QuadShape and

precondition

Model-Based Specification

PreVector trait

Vocabulary for Specifying Quadrilaterals

PreVectorSig trait

Vocabulary for Specifying Quadrilaterals

PreVectorSpace trait

Vocabulary for Specifying Quadrilaterals

Quadrilateral

Specification of QuadShape and

QuadShape

Specification of QuadShape and

Rectangle

Other Subtypes of QuadShape

redundancy, checkable

Vocabulary for Specifying Quadrilaterals | Specification of QuadShape and | Specification of QuadShape and

requires redundantly clause

Specification of QuadShape and

returns

Other Subtypes of QuadShape

Rhombus

Other Subtypes of QuadShape

Scalar

Specification of QuadShape and

Scalar trait

Specification of QuadShape and

Shear

Specification of QuadShape and

Smalltalk

Larch

specification case, in Larch/C++

Other Subtypes of QuadShape

specification inheritance

Specification of QuadShape and

specification variable

Quadrilaterals

specification variables

Specification of QuadShape and

specifying exceptions

Other Subtypes of QuadShape

Square

Other Subtypes of QuadShape

subclass

Specification of QuadShape and

subtype, behavioral

Specification of QuadShape and

supertype, behavioral

Specification of QuadShape and

Tan

Specification of QuadShape and | Discussion and Conclusions

throws, an exception

Other Subtypes of QuadShape

trait

Vocabulary for Specifying Quadrilaterals

trash

Specification of QuadShape and

tunable formality

Specification of QuadShape and

tuning formality

Vocabulary for Specifying Quadrilaterals

unassigned variable

Specification of QuadShape and

VDM++

Larch | Specification of QuadShape and

VDM-SL

Model-Based Specification

Vector

Specification of QuadShape and

virtual, member function spec.

Specification of QuadShape and

Wing

Larch

Z

Model-Based Specification

Z++

Larch | Specification of QuadShape and

ZEST

Larch | Specification of QuadShape and | Specification of QuadShape and