Index
*
1180
+
189
,
1180
:=
448
<
189
<=
1177
,
1178
?=
593
@
327
,
328
,
882
–
189
–>
588
,
1186
'Class (Ada 95)
1094
A
a posteriori scheme for handling
abnormal cases 800–801
a priori scheme for handling abnormal
cases 798–800
obstacles 799–800
Abbott, Russell J. 744
ABCL/1 999, 1034
abnormal case 411–438, 797–801,
1089–1091
a posteriori scheme 800–801
a priori scheme 798–800
abnormal case style for exceptions
1091
Abrial, Jean-Raymond xi, 100, 160,
330
absolute negative rule 667
absolute positive rule 666–667
abstract
data type, see abstract data type
machine 792
object, see under object
precondition, see under
precondition
side effect 757
state 756–758
syntax tree 115, 1038
abstract
(Ada 95)
1093
abstract data type 18, 121–162, 166,
171, 172, 173, 174, 216, 229, 231,
318, 338, 352, 373–377, 399, 500,
722, 733, 734, 792, 862, 907, 1100,
1101, 1176, 1193
advanced topics 148–159
and abstract machines 792
and analysis 907
and assertions 373–377
and classes 142–147, 373–377
and information hiding 144–145
applications beyond software 147–
148
complete example specification
139
consistency 155
formal description 129–141
genericity 131–132, 318
goals 122–129
specifying axioms 135–137
specifying the functions 132–135
specifying types 130–131
abstracted module, see under module
abstracting 860, 930
abstraction
elevating the level 861
for GUI (Graphical User Interface)
1068–1071
how to find
see also finding under class
how to find abstractions 699–704,
754
in methodology rules 669
varieties of class abstraction 860
versus precision 905–906
versus specialization 858–859
abstraction function 230, 375, 756
access control 1047
access, see uniform access
accessor function 135
accommodate
625
,
629
accommodation
625
,
629
ACCOUNT
329
,
1046
Ada 95
1093
account, see bank account
Accounts (Ada 95)
1093
ACCOUNT1
491
,
513
ACCOUNT2
491
,
492
,
513
ACE Consortium 79
Ace file 198, 200, 201, 393, 1146
Ace, see Ace file, Lace
Acrobat, see under Adobe
action
848
ACTIONABLE
1040
activate
(Simula)
1124
active data structure 774–796
internal view 786–792
active object 957–960
incompatible with inheritance
959–960
active process 1123
ActiveX 8, 67, 955
actors model 1033
actual generic parameter, see actual
under parameter
actual reclamation 302
actual, see under argument, parameter
Ada 46, 53, 56, 61, 84, 89, 90, 99, 100,
176, 209, 211, 225, 265, 269, 270,
285, 315, 392, 410, 415–416, 443,
447, 507, 510, 564, 587, 588, 616,
716, 876, 892, 897, 980, 1104, 1106,
1108, 1130, 1137, 1161, 1167–1188
adding classes 1098
by default, means 1983 version of
the language; see also Ada 95
concurrency mechanism 980
context and history 1079–1080
exception handling 410, 415–416,
438, 1088–1091
exception rule 1090
genericity 587–588
towards an object-oriented version
1096
Ada 95 443, 564, 566, 1080, 1092–
1096, 1097, 1131, 1137, 1161
assessment 1094–1095
example 1092–1094
object-oriented mechanisms 1092–
1094
add
762
add_vertex
627
,
633