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 ...
Get Codecharts: Roadmaps and blueprints for object-oriented programs now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
