Index file section C for tosem.bib

Last update: Sun Mar 29 02:02:42 MDT 2026

Return to index directory

C

C, 1(3)205--228, 5(1)42--62, 5(3)262--292
C++, 1(3)229--268, 5(1)42--62, 5(3)262--292
C.2.2, 1(4)355--398, 2(1)1--46, 3(3)201--220
C.3, 3(4)308--339, 6(1)31--79
C.4, 3(3)201--220
Caldiera, Gianluigi, 1(1)53--80
Caldiera, Gianluigi, see Basili, Victor R.
call, 3(1)29--55, 4(1)3--35, 5(3)262--292
called, 1(1)21--52, 1(2)135--167, 1(2)168--187, 1(3)205--228, 1(3)229--268, 2(2)109--127, 2(2)128--175, 2(3)286--303, 4(1)3--35, 4(1)36--64, 5(1)42--62, 5(3)231--261
calling, 1(3)269--309, 4(1)3--35
Callison, H. Rebecca, 4(3)287--317
Callison:1995:TSO, 4(3)287--317
candidate, 1(3)205--228, 2(3)286--303
cannot, 3(4)271--307, 5(3)262--292
Cantone, Giovanni, 1(1)53--80
Cantone, Giovanni, see Basili, Victor R.
capability, 2(2)128--175, 4(3)221--286, 4(3)287--317, 5(4)378--421
capable, 2(2)128--175
capacity, 4(1)65--106
capture, 1(2)168--187
carried, 5(3)191--230
CASE, 1(1)21--52, 2(1)47--92, 2(3)228--269, 3(4)340--380, 6(1)31--79
category-theoretic, 4(2)171--213
Cats, 4(1)65--106
cause, 1(3)310--354, 2(2)128--175, 3(1)29--55
caused, 3(1)3--28
Centaur, 2(2)176--201
centered, 4(2)171--213
centered, human-, 5(3)191--230
centered, process-, 5(3)191--230
CenterNUSC, 1(1)81--94
central, 2(2)176--201
centralized, 2(1)47--92
certain, 6(1)1--30
certification, 1(1)81--94, 2(1)93--106
certified, 1(1)81--94
Cesar, 1(1)21--52
chain, 2(1)93--106
chaining, 5(1)63--86
challenges--its, 3(4)271--307
chance, 5(1)63--86
changed, 2(3)270--285, 4(1)3--35
changing, 1(3)310--354
characteristic, 1(1)21--52, 1(1)95--127, 4(3)221--286
characterize, 4(1)36--64, 5(3)191--230
characterized, 3(4)271--307, 5(3)191--230
check, 3(4)308--339, 4(1)65--106, 4(2)109--145, 4(2)171--213, 6(1)31--79
checked, 4(2)109--145
checker, 1(3)269--309, 4(2)109--145
checking, equivalence-, 3(2)101--130
checking, history-, 3(4)308--339
checking, model-, 4(2)171--213
checking, proof-, 3(2)131--165
Cheon, Yoonsik, 3(3)221--253
Cheon:1994:LSI, 3(3)221--253
Cheung, Shing Chi, 5(4)334--377
Cheung:1996:CCC, 5(4)334--377
choice, 4(2)171--213
choosing, 4(2)171--213
chosen, 2(1)1--46
Ciancarini, Paolo, 2(3)203--227
Ciancarini:1993:CRB, 2(3)203--227
circular, 5(3)231--261
citing, 1(1)21--52
clarity, 4(4)365--389
Clarke, Lori A., 5(4)378--421
Clarke, Lori A., see Barrett, Daniel J.
classical, 3(4)340--380
classification, 1(2)135--167, 1(3)205--228, 1(3)269--309, 2(3)203--227, 2(4)311--345, 3(2)101--130, 3(3)221--253, 4(1)65--106, 4(3)221--286, 5(4)334--377, 6(1)80--110
classify, 1(3)310--354
clean, 3(2)166--199
cleanroom, 1(1)81--94, 2(1)93--106
client-server, 6(1)80--110
clients/server, 5(4)334--377
clock, 2(4)346--378
CLOS, 5(3)262--292
close, 2(2)109--127, 6(1)1--30
closeness, 1(3)205--228
closer, 1(4)422--451
coarsest, 1(3)310--354
coding, 1(1)95--127, 1(3)310--354, 2(1)47--92, 2(1)93--106, 4(1)3--35, 4(3)221--286
coherent, 1(1)95--127
colander, 1(1)95--127
collection, 1(3)269--309
collections, 2(3)203--227
collectively, 2(2)109--127, 5(3)191--230
combination, 2(3)203--227, 3(2)101--130, 3(4)340--380, 4(3)221--286, 4(4)365--389, 5(3)191--230
combinatorial, 4(2)171--213
combine, 1(3)269--309, 2(3)203--227, 3(1)56--98
combined, 3(4)340--380, 4(1)36--64, 5(4)334--377
combining, 3(1)3--28
command, 1(3)205--228
comment, 3(1)3--28, 3(3)201--220, 4(2)214--216
common, 1(1)5--20, 1(3)229--268, 2(2)109--127, 2(4)379--411, 4(2)109--145, 5(4)378--421
communicating, 2(1)1--46
communication, 1(3)269--309, 2(1)1--46, 2(4)379--411
Communication, Computer-, 1(4)355--398, 2(1)1--46, 3(3)201--220
comparator, 1(3)205--228
compare, 3(1)3--28, 5(3)191--230, 5(3)262--292, 5(4)378--421
compared, 3(4)340--380, 4(3)287--317, 5(1)63--86
comparing, 1(1)53--80, 2(3)286--303, 5(4)378--421
compatible, 3(2)166--199
compilation, 1(1)81--94, 3(1)3--28
compiled, 5(3)262--292
compiler, 1(3)310--354, 3(1)3--28, 3(1)29--55, 4(1)3--35, 4(2)214--216, 4(2)217--219
complete, 3(4)271--307
completed, 6(1)1--30
complex, 1(1)5--20, 1(1)95--127, 1(2)135--167, 1(3)269--309, 1(4)399--421, 3(1)56--98, 3(4)271--307, 5(4)334--377
complexity, 1(3)205--228, 2(1)93--106, 3(4)308--339, 5(1)42--62
complicate, 1(3)229--268
complicated, 1(1)5--20
component/building-block, 1(4)355--398
components--functions, 4(2)146--170
compose, 6(1)31--79
composed, 1(2)135--167, 2(4)379--411
composing, 4(4)365--389
composite, 4(3)221--286
composition, 2(1)1--46, 2(4)379--411, 4(1)65--106, 5(4)378--421
compositional, 2(4)379--411, 5(4)334--377
comprehension, 4(3)287--317
comprise, 4(3)287--317, 6(1)31--79
computation, 1(3)229--268, 1(3)310--354, 2(4)311--345, 3(2)131--165, 3(2)166--199, 3(3)221--253, 3(4)308--339, 4(1)36--64, 4(2)109--145, 4(2)171--213, 4(4)319--364, 4(4)365--389, 5(4)293--333, 5(4)334--377, 6(1)31--79
computational, 5(4)334--377
computationally, 2(3)228--269, 3(4)340--380
compute, 5(3)262--292
computed, 1(3)205--228, 1(3)310--354
computer, 1(4)355--398, 2(1)1--46, 2(2)128--175, 3(3)201--220, 3(4)308--339, 6(1)31--79
computer-aided, 1(1)21--52, 2(1)47--92, 2(3)228--269, 3(4)340--380, 6(1)31--79
Computer-Communication, 1(4)355--398, 2(1)1--46, 3(3)201--220
computerized, 5(3)191--230
concept, 1(1)53--80, 1(3)205--228, 2(1)1--46, 3(1)56--98, 5(2)146--189, 5(3)191--230
conceptual, 1(2)135--167
conceptualizations, 1(4)355--398
conceptually, 3(4)340--380, 4(2)171--213
concern, 4(1)65--106, 4(2)171--213
concerning, 1(1)95--127, 1(2)188--204
conclusion, 1(1)5--20, 1(2)188--204, 3(4)308--339, 6(1)1--30
concurrency, 1(3)269--309, 2(3)203--227, 3(4)340--380, 4(1)65--106, 4(2)171--213, 4(3)287--317, 5(4)334--377
concurrent, 2(1)47--92, 2(3)203--227, 2(4)311--345, 3(2)131--165, 3(4)271--307, 3(4)340--380, 4(1)65--106, 4(2)171--213, 4(3)221--286, 4(3)287--317, 5(4)334--377, 6(1)31--79, 6(1)80--110
condition, 2(2)109--127, 4(1)36--64, 4(1)65--106, 5(3)262--292, 5(4)334--377
conditional, 1(4)422--451
conditions, post-, 3(3)221--253, 4(2)109--145
conducive, 2(4)379--411
confidence, 1(1)5--20, 1(1)81--94
confident, 4(1)36--64
configuration, 1(1)95--127, 1(3)310--354, 3(1)3--28, 4(2)214--216, 4(2)217--219, 5(2)146--189
confirm, 1(2)188--204
conformance, 3(3)201--220
conjunction, 2(4)379--411, 4(2)171--213
connected, 3(2)166--199
conquer, divide-and-, 4(2)171--213
consequence, 2(2)128--175
conservative, 1(3)310--354, 6(1)80--110
consider, 3(4)271--307, 3(4)340--380, 4(2)146--170, 4(4)319--364
considerable, 2(2)176--201
considered, 1(1)53--80, 1(4)399--421, 1(4)422--451, 2(1)1--46, 6(1)80--110
consist, 3(2)101--130, 3(4)271--307, 4(1)3--35
consistency, 4(3)221--286, 5(3)231--261
consistent, 1(1)95--127, 5(3)191--230, 5(4)378--421
consisting, 4(2)109--145, 4(4)365--389
constant, 2(3)228--269
constitute, 1(4)399--421
constrained, 4(3)287--317
constrained, time-, 4(3)287--317
constraining, 4(2)109--145
Constraint-based, 2(2)109--127
construct, 1(3)269--309, 2(4)311--345, 3(1)56--98, 3(2)101--130, 3(2)166--199, 4(1)3--35, 4(1)65--106, 4(2)109--145, 4(2)146--170, 4(2)171--213, 4(3)221--286, 5(1)42--62, 5(4)334--377, 6(1)80--110, 6(2)111--140
constructing, 6(2)111--140
construction, 1(2)168--187, 1(3)205--228, 1(3)269--309, 1(4)355--398, 3(4)271--307
consuming, 5(1)42--62
contain, 3(1)29--55, 3(2)166--199, 5(4)334--377
context-free, 5(1)1--41
contextual, 1(1)95--127
continuous, 1(1)53--80
contour, 2(4)311--345, 6(1)80--110
contrast, 5(3)262--292
contrasting, 5(4)378--421
contravene, 5(4)334--377
contribute, 3(4)271--307
controlled, 5(4)334--377
controlling, 2(3)270--285, 5(3)191--230
controversy, 5(4)293--333
conventional, 1(4)399--421, 5(1)42--62, 5(3)262--292
conventionalized, 4(4)319--364
coordinating, 2(3)203--227
coordination, 2(3)203--227
copy, 1(3)310--354, 4(1)3--35
CORBA, 5(4)378--421
corner, 6(1)1--30
corners,, 6(1)1--30
correct, 3(4)271--307
Corrections**, 2(3)228--269
correctness, 1(1)81--94, 3(2)166--199, 3(4)271--307
corresponding, 1(2)135--167
cost, 2(2)109--127, 2(2)176--201, 3(1)3--28, 4(2)214--216, 5(1)63--86, 5(2)87--98, 5(3)231--261
costly, 2(3)228--269, 3(4)308--339
could, 5(1)63--86
coupling, 1(1)5--20
course, 2(2)176--201
coverage, 1(1)5--20, 2(1)93--106, 2(2)109--127, 2(3)270--285, 3(2)101--130, 5(1)63--86
CRA, 5(4)334--377
create, 1(2)168--187, 1(3)310--354, 2(2)109--127, 4(1)3--35, 4(3)287--317
created, 1(3)310--354, 4(1)3--35, 6(1)80--110
creation, 1(2)188--204
Creveuil, Christian, 3(4)271--307
Creveuil:1994:FSD, 3(4)271--307
criteria, 2(4)379--411, 4(1)65--106
criterion, 1(3)205--228, 5(1)63--86
critical, 1(1)53--80
critical, time-, 3(1)56--98
CRUISE, 1(3)269--309
Cugola, Gianpaolo, 5(3)191--230
Cugola:1996:FFI, 5(3)191--230
current, 5(1)63--86, 5(4)293--333, 6(2)111--140
currently, 1(3)205--228, 2(2)176--201
cursor, 2(1)47--92
cycle, 1(1)53--80