O'Reilly logo

Codecharts: Roadmaps and blueprints for object-oriented programs by J. Nicholson, Amnon H. Eden

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Index

⊗, 230. See also, Superimposition operator.

0-dimensional class constant, 49

0-dimensional signature constant, 50

0-dimensional superimposition term, 50

0-dimensional term, 27

1-dimensional class constant, 85

1-dimensional signature constant, 85

1-dimensional hierarchy constant, 90

1-dimensional superimposition term, 81, 85

2-dimensional superimposition term, 115

A

Abstraction lemma, 202

Abstract class, 54

Abstract Factory pattern, 154

vs. Factory Method pattern, 156

vs. Iterator pattern, 210

Widget Factory implementation of, 155

Abstract method, 54

Abstract relation symbol, 54

Abstract semantics, 169

Abstract semantics function, 174

Abstract Windowing Toolkit

See java.awt.

Abstraction, 12

in early design, principle of, 32

viz. exponentiation, 207

viz. generalization, 205

viz. information neglect, 202

viz. predicate weakening, 204

Ad-hoc symbols, 161

Adapter pattern, 213

Aggregate relation symbol, 58

All predicate, 97

definition, 231

Application framework, 20, 133

Appropriate representation, 178

definition, 232

Array type, 49

Assignment, 183

definition, 331

Automated verifiability of Codecharts, 28

Automated verification, 188

AWT, see java.awt.

Axioms of class-based programs, 198, 231

B

Binary relation symbol, 57

Binary relation:

definition, 229

Blueprint metaphor, 9

Bridge pattern, 215

Building-blocks of object-oriented design, 22

C

Call relation symbol, 59

Changeability, 4

Clan, 81

of clans, 115

definition, 230

in a hierarchy, 93

in a set of classes, see Clan.

in a set ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required