Index file section A for tosem.bib
Last update: Sat Oct 25 02:03:44 MDT 2025
Return to index directory
A
-
ability, 1(4)422--451, 2(1)93--106
-
able, 1(3)310--354
-
abstract, 1(3)229--268, 2(3)203--227, 2(3)286--303
-
abstraction, 1(1)53--80, 1(1)95--127, 1(2)168--187, 1(3)229--268,
2(1)1--46
-
acceptance, 2(2)176--201
-
accommodate, 1(1)95--127, 1(3)310--354
-
achieve, 1(1)53--80, 1(3)269--309
-
achieved, 1(1)53--80, 1(3)269--309
-
achieving, 1(4)355--398
-
across, 2(1)47--92
-
activity, 1(3)269--309, 2(3)228--269
-
Ada, 1(3)205--228, 2(4)311--345
-
adaptation, 1(2)168--187
-
adapted, 1(4)422--451
-
add, 1(3)310--354
-
addition, 1(2)135--167
-
additional, 1(4)422--451
-
Additionally, 2(2)109--127
-
addressed, 2(1)47--92, 2(2)176--201
-
adequacy, 2(2)109--127
-
adopted, 1(4)399--421
-
advantage, 1(2)188--204
-
affecting, 1(4)422--451
-
afforded, 1(1)81--94
-
Afifi, Faten H., 1(4)422--451
-
Afifi, Faten H., see Zeil, Steven J.
-
afterwards, 1(3)269--309
-
AI, 1(3)205--228
-
AI-based, 1(3)205--228
-
aid, 1(1)21--52, 2(2)128--175, 2(3)228--269
-
aided, Computer-, 1(1)21--52, 2(1)47--92, 2(3)228--269
-
aiming, 2(3)203--227
-
AIRS, 1(3)205--228
-
al.13, 1(3)310--354
-
allow, 1(3)205--228, 1(3)229--268, 1(3)269--309, 1(4)422--451,
2(2)128--175, 2(3)228--269
-
allowing, 1(3)269--309
-
alternating, 2(1)1--46
-
alternative, 2(2)128--175
-
although, 2(2)128--175
-
amount, 2(2)128--175
-
analytical, 2(1)93--106
-
analyze, 1(3)229--268
-
analyzed, 1(2)168--187
-
analyzer, 1(2)135--167
-
anomaly, 1(1)95--127
-
another, 1(3)269--309, 2(2)128--175
-
answer, 2(2)128--175
-
answering, 2(2)128--175
-
any, 1(3)269--309, 2(2)128--175
-
apparent, 2(4)311--345
-
applicable, 2(2)128--175, 2(3)286--303
-
applied, 1(3)229--268
-
apply, 1(2)168--187, 1(3)229--268
-
applying, 1(2)135--167, 2(2)176--201
-
APTL, 2(4)346--378
-
arbitrary, 1(2)135--167
-
architecture, 1(1)21--52, 1(1)53--80, 1(4)355--398
-
area, local-, 2(1)47--92
-
arising, 1(1)21--52
-
artificial, 1(2)168--187, 2(2)128--175, 2(2)176--201, 2(3)203--227,
2(3)228--269
-
ASF, 2(2)176--201
-
aspect, 2(2)176--201, 2(3)228--269
-
asserting, 2(4)346--378
-
assertion, 1(3)229--268
-
assignment, static-single-, 1(3)310--354
-
assistance, 2(3)228--269
-
association, 2(3)270--285
-
Assuming, 2(2)176--201
-
assurance, 2(1)93--106
-
assuring, 2(3)228--269
-
asynchronous, 2(4)311--345, 2(4)346--378
-
asynchronously, 2(1)47--92
-
attain, 2(4)311--345
-
attempt, 1(3)269--309, 1(4)422--451
-
attention, 1(1)95--127, 2(2)176--201
-
attribute, 1(1)81--94, 1(2)135--167, 2(1)47--92
-
attributed, 1(2)135--167, 2(1)47--92
-
author, 1(2)188--204
-
automatable, 2(3)228--269
-
automate, 1(3)205--228, 2(3)228--269
-
automatic, 2(2)109--127, 2(2)176--201, 2(3)228--269
-
availability, 2(1)47--92
-
Avoca, 1(4)355--398
-
away, throw-, 2(2)109--127
-
axiom, 2(2)128--175