Last update: Thu Dec 19 02:05:31 MST 2019
Return to index directory
P
-
P, 18(5)149--162, 21(3)14--23, 21(3)92--97, 22(4)81--83, 23(3)128--129
-
p, 21(3)84--91
-
P., Puppydog P. O., 23(3)111--119, 24(3)69--75
-
P., Puppydog P. O., see Raccoon, L. S. B.
-
P:1999:MDT, 24(3)69--75
-
P2, 19(5)111--120
-
PA, 20(3)84--89
-
package, 16(1)73--91, 18(1)65--73, 18(2)23--24, 19(4)68--76
-
packages,, 20(z)53--62
-
packaging, 17(5)99--108, 20(z)3--6, 22(3)81--88
-
Packard, 20(3)84--89
-
packet-switching, 21(3)187--194
-
packing, 16(3)87--92
-
Padberg, Frank, 24(6)109--126
-
Padberg:1999:PMS, 24(6)109--126
-
page, 21(4)44--46, 21(4)98--99, 23(3)111--119
-
page, eight-, 21(5)47--50
-
paid, 20(z)17--20, 20(z)196--205, 24(2)99--108
-
Paige, Robert, 18(5)71--78
-
Paige, Robert, see Cai, Jiazhen
-
pair, 19(2)38--51, 19(5)164--174, 21(3)201--208, 23(1)98, 23(6)24--34,
24(2)109--116, 24(6)338--354
-
Pal, Partha pratim, 23(4)56--60
-
Palsberg, Jens, 21(6)46--57
-
Palsberg, Jens, see Seiter, Linda M.
-
Palvia, 20(1)71--73
-
Pan, 15(6)77--93
-
Pan, Hsin, 21(3)121--134
-
Pan, Hsin, see DeMillo, Richard A.
-
panacea, 20(2)36--41
-
Panagos, Euthimios, 24(2)167--176
-
Panagos, Euthimios, see Berchtold, Stefan
-
PANEL, 16(2)23--30
-
panel, 20(4)5, 20(5)48--50, 20(z)17--20, 21(1)55--67, 21(3)293, 21(6)2,
22(1)42--56, 23(1)62--65, 23(2)49
-
panelists, 20(z)17--20, 23(1)62--65
-
Panti, M., 23(1)50--55
-
Panti, M., see Valenti, S.
-
Papanagopoulos, George, 19(4)68--76
-
Papanagopoulos, George, see Terry, Allan
-
paper11, 24(2)89--98
-
paradigm, 15(1)42--43, 15(5)21--22, 15(6)56--65, 15(6)183--192,
15(6)218--228, 16(1)50--53, 16(3)93--94, 16(4)64--66, 17(1)33--41,
17(1)62--64, 17(2)74--78, 17(4)53--59, 18(2)25--26, 18(5)1--8,
20(1)27--38, 20(1)46--54, 20(2)36--41, 20(3)45--48, 20(z)219--221,
21(2)22--31, 21(2)32--38, 21(5)78--88, 23(1)47--50, 23(1)72--76,
23(4)38--43, 24(2)49--58, 24(2)69--78, 24(2)197--206, 24(5)86--94,
24(6)2--19
-
paradigm, multi-, 21(6)179--190
-
paradigmatic, 20(2)36--41
-
paradoxically, 18(3)89--98
-
PArallel, 23(2)153--162
-
parallel, 15(1)95--104, 15(4)80--89, 16(1)36--40, 16(5)92--100,
17(5)78--87, 18(3)110--116, 18(3)149--158, 18(5)126--137,
20(5)40--47, 21(4)44--46, 22(1)42--56, 23(2)153--162, 23(6)24--34,
24(3)69--75, 24(6)338--354
-
parallelisation, 24(5)76--85
-
parallelism, 19(3)51--61
-
parameter, 16(3)80--84, 18(3)70--80, 18(3)89--98, 20(z)106--113,
20(z)247--255, 21(3)53--61, 21(3)201--208
-
parameterization, 20(5)27--38, 21(6)58--69
-
parameterize, 23(6)46--55
-
parameterized, 17(4)53--59, 21(6)135--146, 23(6)189--202, 24(6)235--252
-
Parameterizing, 21(6)106--117
-
parameterless, 24(5)1--10
-
Paredes, Carlos, 20(z)263--266
-
Paredes:1995:RRS, 20(z)263--266
-
parent, 20(z)47--52, 23(1)104--110
-
parentheses, 19(3)23--25
-
Parissis, Ioannis, 21(6)127--134
-
Parissis:1996:SBT, 21(6)127--134
-
Parnas, 21(6)58--69, 24(1)74--77, 24(3)10--14, 24(4)47--49
-
Parnas, David Lorge, 16(5)132--146, 20(3)29--32, 22(6)1--3, 23(3)64--68,
23(4)26--28, 24(3)4, 24(4)47--49
-
Parnas, David Lorge, see Xu, Jia
-
Parnas:1995:IMI, 20(3)29--32
-
Parnas:1997:SEE, 22(6)1--3
-
Parnas:1998:SSE, 23(3)64--68
-
Parnas:1998:WTM, 23(4)26--28
-
Parnas:1999:CR, 24(3)4, 24(3)4--6
-
Parnas:1999:PPL, 24(4)47--49
-
parse, 17(5)58--67, 18(3)160--170
-
parsed, 18(3)160--170, 19(3)23--25
-
parser, 15(6)11--21, 19(3)23--25, 22(2)94--98
-
parsing, 15(6)11--21, 19(3)23--25
-
part, 15(1)59--63, 15(6)94--106, 15(6)107--119, 16(1)73--91, 16(3)46--51,
16(3)56--60, 16(4)53--54, 17(2)72--73, 17(4)24--27, 17(4)53--59,
17(5)58--67, 18(2)30--39, 18(2)50--59, 18(3)89--98, 18(4)36--43,
18(5)1--8, 18(5)79--88, 19(1)86--89, 19(3)48--50, 19(4)23--28,
19(4)29--39, 19(4)40--51, 19(4)52--63, 19(4)64--67, 19(4)68--76,
19(5)21--34, 19(5)53--61, 19(5)128--139, 19(5)164--174, 20(1)39--45,
20(3)13--15, 20(3)90--93, 20(5)14--17, 20(5)51--55, 20(z)63--80,
20(z)215--218, 21(1)11--14, 21(1)31--34, 21(2)11--15, 21(2)32--38,
21(3)39--52, 21(3)79--83, 21(3)209--215, 21(4)9--12, 21(5)11--13,
21(6)81--92, 22(1)13--15, 22(1)88--104, 22(2)16--18, 22(2)25--34,
22(2)94--98, 22(4)21--24, 22(4)65--69, 22(5)10--12, 23(1)24--26,
23(1)98, 23(1)100--103, 23(2)50--52, 23(3)20--22, 23(4)18--20,
23(5)21--24, 23(6)70--79, 24(1)69--73, 24(2)157--166, 24(5)95--104,
24(6)2--19, 24(6)127--145
-
partial, 15(1)59--63, 16(3)87--92, 18(3)160--170, 18(5)149--162,
18(5)163--168, 20(5)51--55, 23(2)53--62, 23(6)189--202, 24(5)47--56,
24(5)57--65
-
partial-order, 21(3)261--269
-
partiality, 18(3)19--27
-
partially, 15(6)120--132, 21(2)56--63, 22(4)35--38, 23(6)189--202,
24(6)75--90
-
participants, 18(1)35--48, 18(5)107--114, 19(3)30--34, 19(5)21--34,
20(1)39--45, 20(3)84--89, 21(1)31--34, 21(3)79--83, 21(5)21--35,
22(1)42--56, 22(4)32--33, 24(2)207--216, 24(3)32--36
-
participate, 15(6)22--33, 19(1)31--38, 19(5)21--34, 23(3)87--92
-
participating, 21(1)68--70
-
participation, 16(1)68--72, 21(1)68--70, 21(1)75--76
-
particle, heavy-, 22(4)81--83
-
particular, 15(5)60--63, 15(6)44--55, 15(6)77--93, 16(1)50--53,
16(2)45--51, 16(3)70--72, 17(2)74--78, 17(5)88--98, 17(5)149--158,
18(2)30--39, 18(3)28--39, 18(4)26--35, 18(5)1--8, 18(5)42--55,
19(3)62--65, 20(3)49--62, 20(5)18--22, 20(5)78--82, 20(z)53--62,
21(1)11--14, 21(2)11--15, 21(2)22--31, 21(3)62--70, 21(3)84--91,
21(3)135--146, 21(3)147--157, 21(3)180--186, 21(3)201--208,
21(5)21--35, 21(6)118--126, 21(6)147--155, 22(1)42--56, 22(2)16--18,
23(2)1--10, 23(2)153--162, 23(6)10--16, 23(6)17--23, 24(2)69--78,
24(2)207--216, 24(5)66--75, 24(6)75--90, 24(6)355--374
-
particularly, 16(1)50--53, 18(4)26--35, 18(4)36--43, 20(1)85--89,
21(3)4--13, 21(6)93--105, 22(4)32--33, 22(4)35--38, 23(1)68--71,
23(2)50--52, 23(3)75--77, 23(6)35--45, 24(6)180--198
-
partition, 18(5)169--181, 21(6)81--92, 23(2)42--48, 24(5)95--104
-
partitioned, 23(6)209--221
-
partitioning, 15(6)120--132, 16(1)36--40
-
partly, 18(5)21--32, 21(3)121--134, 24(6)476--493
-
Partnering, 23(1)77--80
-
partners, 21(3)224--238, 24(2)29--38
-
party, third-, 24(6)476--493
-
Pasareanu, Corina S., 23(6)189--202
-
Pasareanu, Corina S., see Dwyer, Matthew B.
-
Pascal, 17(5)41--46, 20(3)33--36
-
PASO, ESPRIT-, 22(4)81--83
-
pass, 24(5)1--10
-
passed, 20(3)94--97
-
passenger, 24(6)127--145
-
Passing, 21(2)6
-
past, 18(2)27--29, 18(3)51--60, 19(3)48--50, 20(z)150--159,
20(z)225--228, 22(1)42--56, 24(1)36--48, 24(1)74--77, 24(3)80,
24(6)75--90
-
pasta, 23(2)153--162
-
Pastor, Esteban A., 22(3)121--129
-
Pastor:1997:UMM, 22(3)121--129
-
Patel, Dilip, 23(4)60--64
-
Patel, Dilip, see Wang, Yingxu
-
Patel, Shushma, 23(4)60--64
-
Patel, Shushma, see Wang, Yingxu
-
patents, 24(3)58--62
-
path, 18(2)106--108, 18(3)82--88, 18(5)79--88, 21(3)14--23, 21(3)24--38,
21(3)135--146, 21(3)147--157, 21(3)201--208, 22(6)361--377,
22(6)378--394, 23(2)50--52, 23(2)53--62, 23(2)63--72, 23(2)134--142,
23(6)231--244
-
path, All-du-, 23(2)153--162
-
path-wise, 21(3)135--146
-
PATHOS, 20(2)36--41
-
paths, all-du-, 23(2)153--162
-
patients, 22(2)85--86
-
pattern, 19(5)62--75, 20(1)74--78, 20(3)49--62, 20(3)84--89,
20(z)222--224, 21(1)77--86, 21(1)88--89, 21(6)46--57, 21(6)179--190,
22(1)42--56, 22(3)10--17, 22(3)81--88, 22(4)34, 22(4)70--73,
22(6)94--110, 23(1)44--46, 23(3)125--125, 23(5)52--56, 23(6)10--16,
23(6)17--23, 23(6)35--45, 23(6)88--98, 23(6)111--120, 24(2)117--126,
24(3)69--75
-
pattern-based, 22(6)468--482, 23(6)10--16, 24(2)19--28
-
Patterson, D. A., 15(5)28--43
-
Patterson, D. A., see Carasik, R. P.
-
Paul, 22(1)42--56, 23(2)50--52
-
Paulisch, 22(1)42--56
-
Paulisch, Frances, 20(3)63--83
-
Paulisch, Frances, see Garlan, David
-
Paulson, 22(4)114
-
pause, 23(3)64--68
-
paying, 15(6)77--93
-
payment, 24(6)20--38
-
Payne, J., 20(z)247--255
-
Payne, J., see Voas, J.
-
PC, 21(4)58--63
-
PCTE, 15(6)238--248, 19(2)68--71, 21(2)92
-
PDG, 18(5)42--55, 19(5)2--10
-
PDSE, 21(4)44--46
-
pedagogical, 20(3)49--62
-
peer, 23(3)75--77, 24(2)207--216
-
Peled, Doron, 21(3)261--269
-
Peled, Doron, see Godefroid, Patrice
-
pen, 18(2)27--29
-
pencils, 23(3)111--119
-
Penedo, Maria H., 17(3)47--55
-
Penedo, Maria H., see Brown, Alan W.
-
people, 15(2)31--39, 17(1)33--41, 17(2)57--63, 17(2)74--78, 18(4)44--53,
20(1)55--66, 20(5)40--47, 20(z)11--13, 20(z)17--20, 21(1)68--70,
21(4)51--53, 21(4)58--63, 21(5)21--35, 22(2)94--98, 23(1)42--43,
23(1)62--65, 23(2)50--52, 23(3)111--119, 24(1)49--54, 24(2)227--235,
24(6)1
-
people-oriented, 20(1)55--66, 23(1)47--50
-
PEO/PM, 21(1)55--67
-
PEOs, 21(1)55--67
-
PEOs/PMs, 21(1)55--67
-
Pepin, Theresa, 20(z)179--185
-
Pepin, Theresa, see Browne, Shirley
-
per, 20(2)69--75, 21(6)58--69, 23(2)50--52, 23(2)124--133
-
perceived, 22(4)32--33
-
perception, 21(5)47--50, 23(3)111--119, 24(3)32--36
-
perceptual, 24(2)117--126
-
Perestroika, 16(3)70--72
-
Pérez, Guillermo, Jiménez-, 22(3)136--145
-
perfect, 18(2)27--29, 19(5)35--43, 20(2)42--47, 23(3)120--125
-
perfectly, 18(3)1, 20(5)40--47
-
perform, 15(6)229--237, 18(2)50--59, 18(3)149--158, 19(5)97--110,
20(2)69--75, 20(z)169--178, 21(3)53--61, 21(3)201--208,
21(3)261--269, 21(5)11--13, 21(6)70--80, 22(1)13--15, 23(2)42--48,
23(2)82--92, 24(2)29--38, 24(5)1--10, 24(5)66--75, 24(5)86--94,
24(5)105--109, 24(6)322--337, 24(6)476--493
-
performance, 15(6)144--156, 16(3)61--68, 16(3)78, 17(4)28--31,
18(1)59--64, 18(2)106--108, 18(3)139--148, 18(5)42--55,
18(5)191--199, 19(3)41--44, 19(4)68--76, 19(5)111--120, 20(3)84--89,
20(5)56--61, 21(3)261--269, 21(6)70--80, 21(6)156--166, 22(2)39--42,
22(2)92--93, 22(6)294--309, 23(2)21--31, 23(2)124--133,
23(3)127--128, 23(6)46--55, 24(2)29--38, 24(5)57--65, 24(6)39--56
-
performance, cost-, 23(6)143--152
-
performance, high-, 20(z)179--185
-
performance-driven, 19(5)111--120
-
performed, 15(6)120--132, 15(6)133--143, 15(6)183--192, 17(4)60--67,
17(5)78--87, 18(5)71--78, 19(2)38--51, 19(4)68--76, 19(5)97--110,
20(z)267--270, 21(1)11--14, 21(1)75--76, 21(3)92--97, 21(3)121--134,
21(5)72--77, 21(6)33--45, 24(5)1--10, 24(6)235--252, 24(6)476--493
-
performed?, 24(5)86--94
-
performing, 15(6)206--217, 17(5)68--77, 18(3)139--148, 18(3)160--170,
18(5)182--190, 19(5)154--163, 20(z)97--105, 21(1)11--14,
21(1)55--67, 21(2)39--44, 21(3)107--120, 21(3)135--146,
24(5)95--104
-
perhaps, 17(3)21--26, 19(5)35--43, 19(5)128--139, 20(2)58--61,
21(3)84--91, 23(3)64--68, 24(1)74--77
-
Périn, Michaël, 24(6)410--428, see Fradet, Pascal
-
period, 18(4)26--35, 21(2)32--38, 21(3)201--208, 24(2)127--136
-
periodic, 21(3)250--260
-
perl, 21(3)53--61
-
permit, 18(3)2--10, 18(5)1--8, 20(5)78--82, 21(6)3--14, 21(6)106--117,
23(2)32--41, 23(6)70--79, 24(2)69--78
-
permitted, 18(5)1--8
-
permitting, 23(2)82--92, 24(2)59--68
-
Pernici, B., 20(z)81--87, 24(2)19--28
-
Pernici, B., see Baresi, L., \see{Castano, S.
-
Perry, 20(3)84--89
-
Perry, Dewayne E., 17(4)40--52, 22(6)521--522
-
Perry:1992:FSS, 17(4)40--52
-
Perry:1997:TTP, 22(6)521--522
-
persist, 24(2)59--68
-
persisted, 24(2)117--126
-
persistent, 15(6)206--217, 21(4)58--63, 23(6)17--23, 23(6)131--142
-
persistent, non-, 19(5)44--52
-
person, 18(2)27--29, 18(5)107--114, 19(4)77--78
-
Person, Suzette, 21(4)104, 22(1)109--109
-
person, three-, 24(2)227--235
-
Person:1996:BRO, 21(4)104
-
Person:1997:BRW, 22(1)109--109
-
personal, 20(3)33--36, 20(z)206--214, 21(5)58--59, 23(3)68--69,
23(6)143--152
-
personal-, 20(z)53--62
-
personnel, 24(2)167--176
-
perspective, 15(2)47--54, 16(1)50--53, 16(3)36--45, 16(3)56--60,
17(2)39--42, 17(3)21--26, 17(5)58--67, 19(3)66--68, 20(1)55--66,
21(1)46--50, 21(1)55--67, 21(2)64--73, 21(5)47--50, 22(1)39--41,
22(1)42--56, 22(1)68--74, 23(2)21--31, 23(3)111--119, 23(4)65--69,
24(2)39--48, 24(2)89--98
-
pertaining, 21(1)75--76
-
pertains, 16(4)60--63
-
pertinent, 19(5)97--110
-
perturbation, 15(2)29--30, 21(3)92--97
-
pervade, 15(6)77--93
-
pervasive, 15(6)206--217, 17(5)169--180, 18(3)19--27, 24(6)180--198
-
pervasiveness, 21(1)75--76
-
pessimistic, 24(1)74--77
-
Peter, 20(1)93, 23(3)125--125, 24(1)21
-
Peters, Peter, 20(1)39--45, 21(1)31--34
-
Peters, Peter, see Pohl, Klaus
-
Peterson, A. Spencer, 16(2)45--51
-
Peterson:1991:CTS, 16(2)45--51
-
Petri, 15(6)193--205, 18(3)28--39, 18(3)51--60, 21(3)24--38,
21(3)172--179, 21(6)167--178
-
Petroski, Henry, 21(6)1
-
Petroski:1996:EBC, 21(6)1
-
Pezzè, Mauro, 18(3)28--39, 21(3)172--179,
see Felder, Miguel
-
Pezze:1996:GMF, 21(3)172--179
-
Pfleeger, 21(1)11--14
-
Pfleeger, Shari Lawrence, 19(4)16--20, 20(1)22--26, 20(2)14--16,
20(3)13--15, 20(5)14--17, 23(5)69--74
-
Pfleeger, Shari Lawrence, see Favaro, John
-
Pfleeger:1994:DAS, 19(4)16--20
-
Pfleeger:1995:EDAa, 20(1)22--26
-
Pfleeger:1995:EDAb, 20(2)14--16
-
Pfleeger:1995:EDAc, 20(3)13--15
-
Pfleeger:1995:EDAd, 20(5)14--17
-
Ph.D, 19(1)31--38
-
phase, 15(3)39--41, 16(3)93--94, 17(2)74--78, 18(2)30--39, 18(2)96--105,
19(1)75--76, 19(1)86--89, 19(2)38--51, 19(2)68--71, 20(1)39--45,
20(1)55--66, 20(2)42--47, 20(5)51--55, 21(1)31--34, 21(1)75--76,
21(2)32--38, 21(2)79--83, 21(3)216--223, 21(5)51--55, 22(2)39--42,
22(2)64--67, 22(2)87--91, 22(4)35--38, 22(4)50--55, 23(1)50--55,
23(2)124--133, 23(6)10--16, 23(6)56--69, 23(6)222--230, 24(2)19--28,
24(6)235--252
-
Phased, 16(1)68--72, 16(3)29--35
-
PhD, 23(2)50--52
-
phenomena, 15(5)21--22, 19(5)44--52
-
Philip, Thomas, 20(5)51--55
-
Philip:1995:RFS, 20(5)51--55
-
Philippe, 22(1)42--56, 22(1)105--106
-
philosophers, 23(3)111--119
-
philosophical, 20(5)62--66
-
philosophy, 17(2)43--49, 20(z)150--159, 21(5)70--71, 22(4)84--90,
23(3)111--119
-
phone, 17(2)74--78
-
physical, 15(1)68--72, 15(5)21--22, 16(1)36--40, 18(2)106--108,
20(3)84--89, 22(2)87--91, 24(2)99--108, 24(2)117--126,
24(2)177--186, 24(5)66--75, 24(6)163--179, 24(6)180--198
-
physically, 24(2)227--235
-
Piattini, Mario, 24(4)84--86
-
Piattini, Mario, see Polo, Macario
-
Piattini, Mario G., 22(4)81--83
-
Piattini:1997:ASM, 22(4)81--83
-
Picco, Gian Pietro, 19(3)66--68, 22(6)500--518, 24(6)39--56
-
Picco, Gian Pietro, see Fuggetta, Alfonso,
see Mascolo, Cecilia
-
Picco:1997:ECM, 22(6)500--518
-
Pickard, Lesley M., 23(1)24--26, 23(3)20--22, 23(4)18--20
-
Pickard, Lesley M., see Kitchenham, Barbara Ann
-
picking, 21(5)5--6
-
pictorial, 16(4)42--52
-
picture, 16(2)52--56, 16(4)42--52, 21(6)46--57
-
piece, 17(5)58--67, 20(z)160--168, 23(5)75--80, 24(5)66--75
-
Pillai, Krish, 21(2)32--38
-
Pillai:1996:FMI, 21(2)32--38
-
pilot, 19(5)21--34
-
pinpointing, 15(1)64--65
-
piped, 20(5)48--50
-
PIPS, 24(5)76--85
-
Pirbhai, 20(3)94--97, 22(2)39--42
-
pit, 24(1)36--48
-
pit, tar-, 24(1)36--48
-
PITAC, 24(4)50--52
-
pitfalls, 17(4)60--67, 20(z)160--168
-
Pitts, David R., 21(2)84--86
-
Pitts:1996:WWR, 21(2)84--86
-
Pittsburgh, 20(3)84--89
-
place, 16(1)50--53, 16(3)36--45, 16(4)55--59, 17(3)21--26, 19(5)21--34,
20(1)74--78, 22(2)39--42, 23(1)30--34, 24(2)99--108, 24(4)43--46,
24(5)86--94, 24(6)268--284
-
PLACE, RE-, 24(6)446--463
-
placed, 15(6)218--228, 21(2)11--15, 21(2)64--73, 21(5)89--94
-
placeholders, 24(2)117--126
-
placing, 22(2)39--42, 24(6)464--475
-
plain, 21(3)270--279
-
plan, 19(1)72--74, 20(3)33--36, 20(5)40--47, 21(5)95--98, 21(6)33--45,
22(1)13--15, 22(4)60--64, 22(5)10--12, 23(2)32--41, 23(3)120--125,
24(2)207--216, 24(4)50--52, 24(4)75--80
-
PLAN, GQM-, 24(4)75--80
-
plan:1, 22(4)21--24
-
planned, 20(1)39--45, 21(1)31--34, 21(6)24--32, 21(6)33--45, 24(2)1--10
-
planner, 22(4)35--38
-
planning, 15(5)60--63, 16(1)68--72, 16(3)85--87, 18(1)59--64,
18(2)96--105, 18(3)82--88, 19(1)77--85, 19(4)68--76, 20(5)56--61,
21(1)75--76, 21(5)95--98, 21(6)33--45, 22(4)21--24, 23(3)20--22
-
plant, 17(4)24--27, 20(5)73--77, 23(6)56--69
-
Plat, Nico, 15(4)118--127
-
Plat, Nico, see Toetenel, Hans
-
Platek, Richard, 15(4)100--103
-
Platek:1990:FMM, 15(4)100--103
-
platform, 16(1)50--53, 18(2)23--24, 18(3)139--148, 20(z)150--159,
24(2)19--28, 24(6)429--445
-
Plato, 23(3)111--119
-
plausibility, 17(1)52--56
-
plausible, 19(5)128--139, 21(3)84--91
-
play, 15(1)36--41, 17(4)53--59, 18(1)59--64, 18(5)1--8, 20(1)55--66,
20(z)169--178, 22(1)77--84, 23(2)124--133, 24(5)11--20,
24(6)355--374
-
play, plug-and-, 22(3)19--29
-
played, 23(1)100--103
-
playing, 18(2)23--24
-
plea, 20(5)39
-
please, 21(1)68--70, 24(1)74--77
-
PLEIADES, 18(5)56--70
-
plenary, 21(1)55--67, 21(5)21--35, 24(1)49--54, 24(3)32--36
-
plenty, 17(3)21--26
-
plethora, 19(3)66--68, 21(5)89--94
-
PLoP-94, 20(1)74--78
-
plug-and-play, 22(3)19--29
-
plug-ins, 22(4)39--43
-
pluggable, 22(4)65--69
-
plugging, 22(4)65--69
-
PLUNGE, 22(2)82--83
-
plus, 17(5)159--168, 18(5)126--137, 24(3)76--79
-
PM, 15(1)59--63
-
PMs, 21(1)55--67
-
Podgorelec, Vili, 23(1)56--58
-
Podgorelec, Vili, see Kokol, Peter
-
Podgurski, Andy, 18(5)169--181
-
Podgurski:1993:PTS, 18(5)169--181
-
Pohl, 23(1)30--34
-
Pohl, Klaus, 20(1)39--45, 21(1)31--34, 22(6)176--192, 23(1)30--34,
23(5)44--50
-
Pohl, Klaus, see Dubois, Eric,
see Opdahl, Andreas L.
-
Pohl:1995:WSF, 20(1)39--45
-
Pohl:1996:WSS, 21(1)31--34
-
Pohl:1997:CAP, 22(6)176--192
-
point, 15(2)47--54, 15(5)21--22, 15(6)193--205, 17(3)21--26, 17(4)68--70,
18(2)106--108, 18(5)89--98, 19(1)77--85, 19(2)52--56, 19(3)48--50,
19(5)164--174, 20(1)55--66, 20(2)48--54, 20(3)37--44, 21(1)11--14,
21(2)39--44, 21(3)53--61, 21(3)135--146, 21(3)172--179,
21(6)156--166, 22(1)85--87, 22(1)88--104, 23(1)47--50, 23(2)53--62,
23(2)63--72, 23(3)111--119, 23(6)111--120, 24(2)19--28, 24(2)79--88,
24(2)157--166, 24(5)1--10, 24(6)216--234, 24(6)322--337
-
point, view-, 17(4)60--67
-
pointer, 18(5)138--148, 21(3)135--146, 21(6)81--92, 22(1)57--68,
23(2)1--10, 23(2)21--31, 23(6)46--55, 24(5)39--46, 24(5)66--75,
24(6)180--198, 24(6)199--215, 24(6)235--252
-
pointing, 21(6)179--190
-
points, view-, 21(1)55--67
-
points-to, 23(6)46--55, 24(6)199--215
-
poised, 23(3)8--10
-
Polack, Alexander J., 15(1)73--78
-
Polack:1990:PAC, 15(1)73--78
-
policy, 15(6)1--10, 17(4)32--39, 21(3)1--3, 22(1)3--4, 23(6)1--9,
24(2)89--98, 24(2)177--186, 24(2)187--195, 24(6)322--337
-
polite, 24(2)227--235
-
politeness, 24(2)227--235
-
Pollock, Lori L., 21(3)201--208, 23(2)153--162, 24(5)47--56
-
Pollock, Lori L., see Souter, Amie L.,
see Yang, Cheer-Sun D.
-
Polo, Macario, 24(4)84--86
-
Polo:1999:RMP, 24(4)84--86
-
polylingual, 21(6)147--155
-
polymorphism, 19(2)35--37, 24(5)47--56
-
polynomial, 23(6)175--188
-
polynomial-time, 19(5)62--75
-
PolySPIN, 21(6)147--155
-
PolySPINner, 21(6)147--155
-
Pomakis, Keith P., 21(3)216--223
-
Pomakis:1996:RAF, 21(3)216--223
-
Ponder, Carl, 19(2)35--37
-
Ponder:1994:PCH, 19(2)35--37
-
Pooley, Rob, 23(6)17--23
-
Pooley, Rob, see Stevens, Perdita
-
poor, 20(2)36--41, 20(z)160--168, 23(1)100--103, 24(3)69--75
-
Poore, Jesse H., 21(2)6
-
Poore:1996:HMP, 21(2)6
-
popular, 19(3)36--40, 20(3)94--97, 21(5)60--64, 21(6)179--190,
22(4)44--49, 23(6)10--16
-
populate, 18(5)191--199
-
populated, 17(2)74--78, 24(6)464--475
-
populations, 20(z)186--195
-
poring, 23(2)50--52
-
Porisini, Alberto, Coen-, 18(3)128--138
-
port, 18(3)139--148, 23(6)80--86
-
portable, 19(2)68--71, 20(z)150--159
-
portcullis, 16(3)70--72
-
Porter, A., 20(4)92--103
-
Porter, R., 24(3)66--68
-
Porter, R., see Kirner, D.
-
Porter:1995:EAC, 20(4)92--103
-
porting, 20(z)150--159
-
portion, 15(6)120--132, 15(6)133--143, 16(1)36--40, 16(3)61--68,
18(5)21--32, 19(5)154--163, 21(3)39--52, 21(3)172--179,
21(6)156--166, 24(5)57--65
-
portray, 22(1)88--104
-
posed, ill-, 23(1)62--65
-
poses, 23(6)17--23
-
position, 18(1)35--48, 19(1)77--85, 19(3)30--34, 20(1)39--45,
20(z)233--237, 21(1)31--34, 23(1)77--80
-
positioned, 15(1)73--78
-
positioning, 20(5)27--38
-
positive, 20(z)229--232, 24(1)9--14
-
POSIX, 21(3)71--78
-
possess, 23(2)113--123
-
possibility, 18(2)30--39, 20(3)37--44, 21(4)66--70, 22(4)56--60,
23(3)111--119, 24(2)227--235
-
possible, 15(2)29--30, 15(3)33--38, 16(4)53--54, 17(2)57--63,
17(2)72--73, 18(2)25--26, 18(3)182--192, 18(4)44--53, 18(5)1--8,
18(5)42--55, 18(5)149--162, 19(2)29--34, 19(4)82--85, 19(5)35--43,
19(5)53--61, 19(5)128--139, 19(5)154--163, 20(z)114--122,
20(z)247--255, 21(2)32--38, 21(2)79--83, 21(3)79--83, 21(3)239--249,
22(1)77--84, 22(2)64--67, 22(4)35--38, 22(4)39--43, 23(1)100--103,
23(2)53--62, 23(3)75--77, 23(3)111--119, 23(3)120--125,
23(6)111--120, 23(6)143--152, 24(1)74--77, 24(2)117--126,
24(2)147--156, 24(6)146--162
-
possibly, 15(6)44--55, 21(6)81--92, 23(3)64--68, 23(6)24--34,
24(6)393--409
-
post, 18(3)160--170, 22(1)23, 23(3)120--125
-
post-hoc, 22(1)24--27
-
post-requisites, 24(2)137--146
-
postdomination, 24(6)216--234
-
potential, 15(1)42--43, 16(2)45--51, 16(3)61--68, 17(2)39--42,
17(2)57--63, 17(4)24--27, 17(5)159--168, 18(3)40--50, 18(3)171--181,
18(3)182--192, 18(4)26--35, 18(5)1--8, 19(2)57--62, 20(2)69--75,
21(3)201--208, 21(4)58--63, 21(5)47--50, 21(6)156--166,
23(1)100--103, 23(2)50--52, 24(2)59--68, 24(5)32--38, 24(6)429--445,
24(6)464--475
-
potentially, 17(1)33--41, 19(5)128--139, 20(1)85--89, 21(3)180--186,
21(3)201--208, 24(6)39--56, 24(6)75--90, 24(6)303--321,
24(6)464--475
-
Poulin, Jeff, 19(1)55--71, 21(1)55--67, 22(2)5
-
Poulin, Jeff, see Svoboda, Frank
-
Poulin, Jeffrey S., 18(4)75--82, 20(1)90--91, 20(z)160--168,
22(3)212--216, 23(3)127--128, 23(5)30--35, 24(3)29--31
-
Poulin, Jeffrey S., see Zand, Mansour
-
Poulin:1993:ISS, 18(4)75--82
-
Poulin:1994:WAW, 19(1)55--71
-
Poulin:1995:BRO, 20(1)90--91
-
Poulin:1995:MSA, 20(z)160--168
-
Poulin:1997:SSR, 22(2)5
-
Poulin:1998:BRH, 23(3)127--128
-
Poulin:1998:ICS, 23(5)30--35
-
Poulin:1999:WIS, 24(3)29--31
-
power, 16(4)42--52, 17(4)24--27, 17(4)68--70, 18(3)61--69, 18(5)1--8,
19(4)77--78, 19(5)35--43, 21(5)58--59, 21(6)167--178, 23(2)153--162,
24(6)39--56
-
powerful, 15(4)18--24, 15(6)77--93, 17(4)60--67, 17(5)11--20,
18(3)61--69, 18(3)139--148, 21(2)89--91, 23(2)1--10, 24(1)36--48
-
PR, 20(z)106--113
-
practical, 15(1)44--48, 15(1)73--78, 15(6)66--76, 16(1)68--72,
16(3)61--68, 17(3)21--26, 17(4)60--67, 18(3)110--116, 18(3)182--192,
18(5)1--8, 18(5)42--55, 18(5)79--88, 18(5)149--162, 19(5)53--61,
20(3)94--97, 20(5)67--72, 20(z)150--159, 20(z)238--246, 21(3)53--61,
21(4)9--12, 21(5)72--77, 21(6)81--92, 22(2)35--38, 23(1)47--50,
23(1)86--91, 23(6)175--188, 23(6)231--244, 24(2)59--68,
24(6)235--252, 24(6)268--284, 24(6)511--527
-
practicality, 22(2)35--38
-
practically, 23(1)77--80
-
Practice,
see ACM / IEEE-CS Task Force on Software Engineering Ethics
-
practice, 16(3)61--68, 17(5)139--148, 18(1)59--64, 18(5)1--8,
18(5)169--181, 19(2)57--62, 19(4)68--76, 19(5)11--20, 20(3)84--89,
20(5)73--77, 20(z)63--80, 21(2)45--46, 21(3)224--238, 21(4)64--66,
21(4)81--92, 21(5)47--50, 22(1)42--56, 22(1)85--87, 22(2)6--7,
22(3)2--9, 22(4)3--6, 23(1)62--65, 23(1)68--71, 23(1)92--97,
23(2)63--72, 23(3)29--31, 24(1)9--14, 24(2)39--48, 24(2)69--78,
24(2)147--156, 24(3)29--31, 24(6)2--19, 24(6)446--463,
24(6)511--527
-
practice, state-of-the-, 21(3)293
-
practiced, 22(4)60--64
-
practiced, widely-, 19(5)21--34
-
practitioner, 16(3)93--94, 17(2)50--56, 18(1)35--48, 19(3)30--34,
20(1)46--54, 20(3)84--89, 20(z)186--195, 20(z)196--205, 21(1)55--67,
21(1)68--70, 22(1)28--38, 22(1)42--56
-
pratimPal:1998:FAL, 23(4)56--60
-
prc/PDSE.html, 21(4)44--46
-
pre, 24(2)137--146
-
pre-defined, 17(5)109--119
-
pre-fabricated, 24(6)429--445
-
pre-suppose, 18(3)149--158
-
pre-test, 21(5)47--50
-
pre-verified, 18(2)50--59
-
Prechelt, Lutz, 18(1)35--48, 24(3)56--57
-
Prechelt, Lutz, see Tichy, Walter F.
-
Prechelt:1999:SDS, 24(3)56--57
-
precise, 18(3)2--10, 18(3)82--88, 20(2)69--75, 20(4)41--52, 21(2)32--38,
21(3)107--120, 23(2)134--142, 23(6)24--34, 23(6)209--221,
24(5)21--31, 24(5)76--85, 24(6)199--215, 24(6)338--354,
24(6)410--428
-
precisely, 18(4)83--93, 18(5)9--20, 20(z)97--105, 21(2)32--38,
23(2)134--142, 24(1)78--80, 24(6)338--354
-
precision, 18(5)169--181, 19(3)51--61, 21(6)81--92, 23(2)21--31,
23(2)134--142, 23(6)24--34, 23(6)46--55, 24(5)21--31, 24(6)199--215,
24(6)235--252
-
predecessors, 21(5)21--35
-
predefined, 20(5)56--61
-
predefines, 15(6)183--192
-
predicate, 15(6)206--217, 18(3)70--80, 20(5)62--66, 20(z)97--105,
21(3)62--70, 23(2)63--72, 23(2)113--123, 23(6)231--244,
24(6)146--162
-
predication, 24(2)187--195
-
predict, 21(1)77--86, 21(3)84--91, 21(5)78--88
-
predictable, 20(5)40--47, 20(z)160--168, 24(4)84--86
-
predicted, 21(3)187--194
-
predicting, 17(4)28--31, 21(3)84--91, 21(6)118--126
-
prediction, 21(3)84--91, 21(3)195--200, 22(1)88--104, 22(6)278--293,
23(2)32--41, 23(3)120--125
-
predictors, 21(6)118--126
-
predominance, 24(2)117--126
-
predominant, 18(4)44--53
-
Pree, Wolfgang, 20(z)123--127
-
Pree, Wolfgang, see Schappert, Albert
-
prefabricated, 20(z)123--127
-
preference, 18(2)109
-
preferentially, 18(2)106--108
-
preferring, 21(4)9--12
-
prehistory, 24(1)36--48
-
preliminary, 17(2)50--56, 18(3)110--116, 18(3)139--148, 18(5)71--78,
18(5)169--181, 18(5)191--199, 19(3)82--84, 19(5)11--20, 19(5)62--75,
20(2)69--75, 20(z)238--246, 21(3)195--200, 21(6)156--166,
23(1)68--71, 23(2)53--62, 24(3)32--36, 24(6)338--354
-
premature, 20(2)69--75
-
premise, 22(4)35--38, 23(3)75--77
-
Prentice, 22(4)113--114, 22(4)114--115
-
preparation, 24(4)75--80
-
prepare, 19(3)30--34, 21(5)21--35
-
prepared, 20(3)29--32, 24(1)78--80
-
preplan, 21(6)33--45
-
Presburger, 23(2)113--123
-
Presburger, BDD-, 23(2)113--123
-
prescriptive, 15(2)26, 20(z)196--205
-
presence, 15(6)77--93, 21(1)75--76, 21(3)53--61, 21(3)107--120,
21(3)216--223, 23(2)21--31, 23(6)46--55, 24(5)39--46, 24(5)66--75
-
presentation, 16(3)78, 17(2)50--56, 17(3)21--26, 17(5)41--46,
17(5)130--138, 19(3)41--44, 21(5)21--35, 22(1)24--27, 22(1)28--38,
23(1)30--34, 24(1)49--54
-
presented, 15(2)55--69, 15(3)42--50, 15(6)229--237, 16(1)60--61,
17(3)43--46, 17(4)28--31, 18(3)171--181, 18(5)33--41, 18(5)163--168,
19(3)62--65, 19(4)82--85, 19(5)76--86, 19(5)164--174, 20(1)39--45,
20(2)69--75, 20(3)94--97, 20(5)18--22, 20(5)48--50, 20(5)67--72,
20(z)123--127, 20(z)238--246, 21(1)31--34, 21(1)70--72, 21(3)62--70,
21(3)71--78, 21(3)180--186, 21(4)81--92, 21(5)21--35, 21(5)72--77,
21(6)3--14, 21(6)58--69, 21(6)70--80, 21(6)118--126, 22(1)77--84,
22(1)88--104, 22(2)35--38, 22(2)39--42, 22(2)48--53, 22(4)39--43,
22(4)44--49, 22(4)65--69, 23(1)86--91, 23(1)98, 23(2)73--81,
23(3)79--82, 23(6)56--69, 23(6)121--130, 23(6)209--221, 24(2)89--98,
24(2)177--186, 24(2)227--235, 24(4)43--46, 24(6)268--284,
24(6)511--527
-
presenting, 15(6)22--33, 15(6)229--237, 17(4)40--52, 17(5)130--138,
19(3)51--61, 20(2)42--47, 21(3)261--269, 22(5)10--12, 24(6)511--527
-
preservation, 17(1)33--41
-
preserve, 17(1)33--41, 21(6)15--23, 24(2)157--166
-
preserved, 15(6)133--143, 18(3)28--39
-
preserving, meaning-, 18(5)42--55, 19(5)97--110
-
preserving, order-, 18(5)163--168
-
preserving, semantics-, 15(6)133--143
-
Press, 20(1)93, 22(1)24--27, 22(1)42--56, 22(4)114
-
pressures, 18(2)23--24
-
Preston, Nicky Williams, 24(5)76--85
-
Preston:1999:NTS, 24(5)76--85
-
presuppose, 16(3)46--51
-
pretended, 22(1)42--56
-
prevailing, 23(1)72--76
-
prevent, 16(1)36--40, 20(2)58--61, 22(2)54--57, 24(5)32--38
-
prevented, 18(2)40--49
-
preventing, 18(3)89--98
-
previous, 15(6)107--119, 18(3)128--138, 18(3)139--148, 19(5)11--20,
20(z)247--255, 21(2)11--15, 21(3)79--83, 21(4)44--46, 21(5)11--13,
21(5)21--35, 21(6)70--80, 22(1)13--15, 22(5)10--12, 23(2)42--48,
23(6)153--162, 24(2)89--98, 24(6)355--374, 24(6)494--510
-
previously, 17(1)62--64, 19(3)30--34, 20(z)238--246, 21(1)68--70,
21(3)280--292, 21(5)51--55, 21(6)118--126, 23(2)82--92,
23(2)102--112, 24(5)57--65, 24(6)127--145
-
price, 17(2)74--78, 18(3)1
-
Price, R. T., 22(3)121--129
-
Price, R. T., see Pastor, Esteban A.
-
price/performance, 23(2)134--142
-
Prieto-Diaz, 20(z)229--232, 23(1)100--103
-
Prieto-Díaz, Rubén, 15(2)47--54, 16(3)61--68, 20(z)9--10
-
Prieto-Diaz:1990:DAI, 15(2)47--54
-
Prieto-Diaz:1991:MSR, 16(3)61--68
-
Prieto-Diaz:1995:SRS, 20(z)9--10
-
primarily, 15(6)218--228, 22(4)32--33
-
primary, 17(4)28--31, 17(5)1--10, 19(3)51--61, 19(5)128--139,
19(5)175--188, 20(3)84--89, 20(5)78--82, 21(1)55--67, 21(3)107--120,
21(6)167--178, 22(5)33--42, 23(6)143--152, 24(4)84--86
-
prime, 20(1)39--45, 21(1)31--34
-
primer, 21(1)77--86, 21(4)104
-
primitive, 15(6)107--119, 18(5)191--199, 24(2)217--226, 24(5)105--109
-
Prince, Robert, 24(2)217--226
-
Prince:1999:DIO, 24(2)217--226
-
principal, 15(6)206--217, 17(5)169--180, 19(4)77--78, 22(2)72--76,
22(4)32--33, 22(6)378--394, 24(5)1--10
-
principle, 15(2)55--69, 15(5)21--22, 15(5)28--43, 15(5)60--63,
16(1)43--49, 17(5)120--129, 18(5)1--8, 19(1)77--85, 19(2)29--34,
20(1)55--66, 20(3)37--44, 20(z)150--159, 21(1)55--67, 21(4)9--12,
21(5)21--35, 21(5)95--98, 21(6)179--190, 22(1)13--15, 22(1)85--87,
22(5)10--12, 23(1)72--76, 23(3)111--119, 24(1)78--80, 24(5)47--56
-
principled, 20(z)238--246, 22(1)42--56
-
Prins, 15(6)133--143
-
prior, 20(5)83--87, 21(3)209--215
-
prioritization, 24(2)187--195
-
prioritize, 20(5)40--47, 21(3)216--223
-
priority, 21(6)2, 24(6)511--527
-
Priority, Fixed-, 24(6)494--510
-
PRISME, 24(5)86--94
-
probabilistic, 18(3)99--109, 23(6)35--45, 24(6)109--126
-
probability, 20(5)56--61
-
problem-solving, 20(1)55--66
-
problematic, 18(4)26--35, 22(1)85--87, 24(6)180--198
-
procedural, 16(1)73--91, 17(4)53--59, 24(2)69--78, 24(5)1--10
-
procedural, inter-, 24(5)76--85
-
procedural, non-, 24(5)1--10
-
procedurally, 24(2)69--78, 24(5)1--10
-
procedure, 15(1)59--63, 15(6)157--172, 16(1)68--72, 16(1)73--91,
16(3)46--51, 16(4)37--41, 17(1)33--41, 18(3)1, 18(3)19--27,
18(5)107--114, 18(5)149--162, 19(5)2--10, 19(5)121--127,
20(2)48--54, 20(3)33--36, 20(z)27--37, 21(2)74--78, 21(3)79--83,
21(3)209--215, 21(4)71--80, 21(5)65--69, 21(6)106--117, 22(2)64--67,
23(2)11--20, 23(2)21--31, 23(2)53--62, 23(6)1--9, 24(1)59--64,
24(5)1--10, 24(5)11--20, 24(5)39--46, 24(6)410--428
-
procedures,5, 22(4)21--24
-
procedures.3, 22(2)68--71
-
proceed, 21(2)32--38, 21(2)39--44, 23(6)10--16, 23(6)17--23
-
proceedings, 20(3)84--89, 21(4)44--46, 21(4)51--53, 21(5)21--35,
22(1)24--27, 22(1)28--38, 22(1)42--56
-
process, macro-, 20(5)40--47
-
process, meta-, 18(4)26--35
-
process, micro-, 20(5)40--47
-
process, software-, 15(6)206--217
-
process-centered, 15(6)206--217, 17(5)21--31, 17(5)149--158,
18(4)83--93, 19(2)18--21
-
process-integrated, 22(6)176--192
-
process-oriented, 21(4)66--70
-
process-sensitive, 24(6)75--90
-
process.A, 15(2)47--54
-
processed, 24(2)69--78
-
processing, 15(6)218--228, 17(1)62--64, 17(4)40--52, 17(5)88--98,
17(5)109--119, 17(5)169--180, 20(5)78--82, 20(z)97--105,
21(3)98--106, 21(3)261--269, 21(5)36--39, 23(3)87--92, 24(2)69--78
-
processor, 15(2)29--30, 18(3)110--116, 18(4)36--43, 21(3)239--249,
22(2)68--71
-
ProcessWall, 17(5)159--168
-
ProDAG, 17(5)109--119
-
proDAG, 17(5)109--119
-
produce, 15(1)59--63, 18(3)70--80, 18(5)115--125, 19(2)57--62,
19(2)63--64, 19(3)23--25, 19(5)2--10, 19(5)111--120, 21(3)4--13,
21(3)24--38, 21(6)106--117, 22(2)68--71, 22(4)44--49, 22(5)33--42,
23(1)24--26, 23(2)143--152, 23(3)75--77, 24(6)127--145,
24(6)146--162, 24(6)322--337
-
produced, 15(1)59--63, 18(2)50--59, 18(3)99--109, 18(5)71--78,
19(4)68--76, 21(3)158--171, 21(5)51--55, 23(2)82--92, 23(2)93--101
-
producers, 24(6)20--38
-
producing, 19(5)175--188, 20(2)48--54, 20(2)58--61, 20(5)27--38,
21(3)39--52, 21(3)147--157, 21(6)106--117, 23(1)47--50,
24(2)227--235
-
product, 15(6)206--217, 17(4)32--39, 17(5)159--168, 18(2)96--105,
18(4)19--25, 18(4)26--35, 18(4)36--43, 18(4)83--93, 18(5)1--8,
18(5)107--114, 19(1)77--85, 19(2)68--71, 19(3)30--34, 20(2)17--18,
20(5)27--38, 20(5)83--87, 20(z)169--178, 21(1)55--67, 21(2)32--38,
21(4)66--70, 21(5)43--46, 21(5)58--59, 22(1)13--15, 22(1)85--87,
22(2)64--67, 22(2)94--98, 22(4)56--60, 23(1)62--65, 23(3)29--31,
23(3)32--39, 23(3)39--43, 23(3)98--101, 23(6)143--152, 24(1)36--48,
24(2)11--18, 24(2)127--136, 24(2)157--166, 24(2)167--176,
24(2)187--195, 24(4)75--80, 24(6)2--19, 24(6)446--463
-
product, by-, 20(z)219--221
-
production, 16(1)50--53, 16(3)46--51, 17(5)68--77, 18(4)26--35,
18(5)107--114, 19(5)111--120, 20(1)79--84, 20(z)238--246,
21(5)78--88, 23(1)47--50, 23(6)131--142, 24(2)11--18, 24(5)32--38
-
productive, 16(3)70--72, 20(3)37--44, 21(2)89--91, 24(5)105--109
-
productively, 24(6)429--445
-
productivity, 16(1)50--53, 16(3)61--68, 17(4)53--59, 17(5)1--10,
17(5)130--138, 18(5)71--78, 18(5)191--199, 19(2)57--62,
19(5)111--120, 20(3)33--36, 20(3)37--44, 20(5)67--72, 20(z)123--127,
20(z)186--195, 20(z)233--237, 21(1)77--86, 21(2)89--91, 21(5)58--59,
23(1)100--103, 23(2)82--92, 23(3)75--77, 24(4)84--86, 24(6)1,
24(6)180--198
-
profession, 20(z)11--13, 23(6)203--204, 23(6)205--206, 23(6)207--208,
24(1)9--14
-
professional, 16(3)70--72, 23(3)8--10, 23(3)105--110, 24(1)9--14,
24(3)53--55
-
professionalism, 24(3)81--83
-
profile, 18(1)52--53, 18(3)2--10, 18(3)82--88, 18(3)99--109,
21(3)201--208, 23(2)32--41, 23(4)7--8, 23(4)9--11, 23(5)8--10,
23(5)11, 24(1)21, 24(3)9--10, 24(3)10--14, 24(4)13--14,
24(5)76--85
-
profile-based, operational-, 18(3)82--88
-
profiling, 22(6)432--449
-
profiling:Frequency, 24(6)216--234
-
profits, 24(3)76--79
-
profoundly, 20(2)48--54
-
program, sub-, 24(5)76--85
-
program, used-, 20(z)11--13
-
program, whole-, 23(6)46--55, 24(6)199--215, 24(6)235--252
-
program-equivalence, 23(2)50--52
-
program-integration, 15(6)133--143
-
programmable, 15(6)206--217
-
programmatic, 17(5)109--119
-
programme, 20(5)83--87, 21(4)44--46
-
programmed, 15(6)206--217
-
programmer, 15(1)59--63, 15(6)206--217, 16(1)50--53, 16(1)54--59,
16(1)73--91, 16(2)67--72, 16(4)23--30, 16(4)37--41, 17(5)41--46,
17(5)99--108, 18(2)50--59, 18(3)1, 18(5)191--199, 19(1)75--76,
19(2)22--28, 19(2)57--62, 19(5)97--110, 20(5)56--61, 20(z)160--168,
20(z)233--237, 21(3)121--134, 21(6)33--45, 22(4)35--38, 22(4)114,
23(1)66--67, 23(2)153--162, 23(3)75--77, 23(6)143--152, 24(5)66--75,
24(5)105--109, 24(6)180--198, 24(6)216--234
-
programmer-controlled, 21(6)33--45
-
programmer-specified, 24(6)355--374
-
programming, mega-, 19(4)68--76
-
programming-in-the-large, 15(2)55--69
-
program/proof, 18(2)50--59
-
programs, sub-, 24(5)76--85
-
programs2, 19(2)22--28
-
progress, 15(1)44--48, 15(6)173--182, 15(6)183--192, 18(5)1--8,
20(3)84--89, 20(5)40--47, 21(3)216--223, 22(1)88--104, 22(4)32--33,
23(1)62--65, 24(2)147--156, 24(4)50--52, 24(6)511--527
-
progress:1, 18(1)35--48
-
progressing, 23(1)62--65
-
progrmmers, 17(5)99--108
-
prohibitive, 23(2)21--31, 23(6)46--55
-
project, project-to-, 20(5)40--47
-
project-to-project, 20(5)40--47
-
project-wide, 15(6)77--93
-
projected, 21(1)70--72
-
PROLOG, 16(1)54--59, 16(2)67--72, 24(5)95--104
-
PROlog, 18(3)70--80
-
Prolog, 15(6)183--192, 16(1)54--59, 16(2)67--72, 18(2)50--59,
18(3)70--80, 24(5)95--104
-
Prolog-based, 18(3)70--80
-
prominent, 17(3)21--26, 19(2)57--62, 24(6)20--38
-
promise, 16(3)61--68, 17(1)33--41, 18(4)70--74, 19(4)68--76, 20(z)17--20,
20(z)137--149, 21(4)100--101
-
promised, 20(z)160--168
-
promising, 18(1)35--48, 18(3)1, 19(5)128--139, 20(z)225--228
-
promotes, 15(6)120--132, 18(4)75--82, 24(5)47--56
-
promoting, 20(2)36--41
-
prone, error-, 17(1)33--41, 19(5)140--153, 23(2)124--133
-
pronged, three-, 15(6)218--228
-
pronounced, 23(3)93--96
-
proof, 16(1)50--53, 18(2)50--59, 18(3)128--138, 18(5)1--8, 18(5)9--20,
18(5)126--137, 19(5)164--174, 20(z)106--113, 21(3)270--279,
23(6)222--230, 24(6)39--56
-
propagate, 24(5)39--46
-
propagating, 15(6)34--43, 15(6)206--217, 24(2)147--156
-
propagation, 18(5)33--41, 21(3)158--171, 23(2)124--133
-
propagation, error-, 18(3)171--181
-
proper, 15(1)59--63, 17(2)43--49, 17(2)57--63, 17(2)74--78, 18(1)35--48,
19(2)22--28, 20(2)36--41, 23(6)24--34, 24(3)53--55
-
properly, 17(4)68--70, 19(2)22--28, 19(3)30--34, 23(2)11--20,
23(2)50--52, 24(3)69--75, 24(5)1--10, 24(6)410--428
-
property, 15(4)67--79, 15(6)107--119, 16(3)46--51, 17(3)43--46,
17(4)40--52, 17(5)99--108, 18(3)28--39, 18(4)26--35, 18(5)1--8,
18(5)79--88, 18(5)126--137, 18(5)163--168, 19(5)62--75,
19(5)140--153, 19(5)164--174, 21(3)4--13, 21(3)121--134,
21(3)224--238, 21(3)239--249, 21(3)250--260, 21(3)270--279,
21(3)280--292, 21(6)33--45, 21(6)127--134, 21(6)156--166,
22(1)42--56, 22(4)74--80, 22(6)227--243, 23(1)86--91, 23(2)73--81,
23(6)56--69, 23(6)70--79, 23(6)80--86, 23(6)121--130, 23(6)189--202,
23(6)209--221, 23(6)222--230, 24(1)36--48, 24(5)11--20, 24(5)57--65,
24(6)216--234, 24(6)429--445, 24(6)511--527
-
Property-based, 22(4)74--80
-
proponents, 20(z)47--52
-
proportion, 20(1)71--73, 24(3)80
-
proportional, 23(2)42--48
-
proportionately, 18(3)61--69
-
proposal, 15(2)55--69, 15(6)11--21, 21(5)51--55
-
propose, 15(6)44--55, 16(2)58--61, 16(2)62--66, 16(4)37--41, 16(4)53--54,
18(2)96--105, 18(3)89--98, 18(5)21--32, 18(5)107--114,
18(5)126--137, 19(2)22--28, 19(5)21--34, 19(5)44--52, 20(1)85--89,
20(2)48--54, 20(2)69--75, 20(5)40--47, 20(z)3--6, 20(z)81--87,
20(z)169--178, 21(2)22--31, 21(3)280--292, 21(4)66--70, 21(5)65--69,
21(6)127--134, 22(4)44--49, 22(4)56--60, 22(4)70--73, 23(1)59--61,
23(3)75--77, 23(3)87--92, 23(6)88--98, 23(6)163--174, 23(6)222--230,
24(1)59--64, 24(2)19--28, 24(2)137--146, 24(2)177--186,
24(2)187--195, 24(5)57--65, 24(5)76--85, 24(5)86--94, 24(5)105--109,
24(6)235--252, 24(6)338--354, 24(6)393--409, 24(6)410--428,
24(6)429--445, 24(6)476--493, 24(6)511--527
-
proposed, 15(1)42--43, 15(1)44--48, 15(1)68--72, 15(2)47--54,
16(1)43--49, 16(2)45--51, 17(1)62--64, 17(2)43--49, 18(3)40--50,
18(3)82--88, 18(3)99--109, 18(3)171--181, 18(4)26--35,
18(5)115--125, 19(2)22--28, 20(1)79--84, 20(2)19--20, 20(2)69--75,
20(z)263--266, 21(1)55--67, 21(1)70--72, 21(2)22--31, 21(2)64--73,
21(3)121--134, 21(4)58--63, 21(6)179--190, 22(2)48--53, 22(4)81--83,
23(1)104--110, 23(2)63--72, 23(2)113--123, 23(3)75--77, 24(2)19--28,
24(3)66--68, 24(4)75--80, 24(6)146--162, 24(6)163--179
-
proposed4, 18(2)40--49
-
proposers, 20(5)83--87
-
proposing, 18(4)26--35, 21(2)74--78
-
proposition, 23(1)56--58, 23(3)93--96
-
propositional, 21(3)224--238
-
proprietary, 19(2)22--28
-
prospect, 19(4)68--76, 23(3)105--110
-
prospective, 21(3)1--3
-
protected, 20(3)84--89, 21(1)68--70
-
PROTÉGÉ-II, 20(z)72--80
-
PROTest, 18(3)70--80
-
Proteus, 17(5)130--138
-
protocol, 19(5)35--43, 20(3)84--89, 21(3)172--179, 21(3)187--194,
21(3)270--279, 21(6)93--105, 22(4)32--33, 23(6)70--79
-
prototype, 15(1)59--63, 15(3)42--50, 15(6)56--65, 15(6)206--217,
16(3)36--45, 17(1)33--41, 18(2)50--59, 18(4)26--35, 18(5)191--199,
19(5)21--34, 19(5)62--75, 19(5)121--127, 20(5)83--87, 20(z)123--127,
21(3)172--179, 21(5)95--98, 21(6)147--155, 23(2)53--62,
23(3)111--119, 23(4)44--49, 24(2)19--28, 24(2)167--176,
24(2)217--226, 24(5)86--94, 24(6)75--90, 24(6)163--179,
24(6)253--267
-
prototyped, 19(2)57--62, 24(2)89--98
-
prototypical, 24(2)207--216
-
prototyping, 15(1)59--63, 15(2)55--69, 15(2)70--82, 15(5)50--59,
16(3)36--45, 16(4)42--52, 17(2)43--49, 20(5)27--38, 20(5)83--87,
21(2)32--38, 22(1)105--106, 22(2)72--76, 22(2)102, 22(4)50--55,
24(6)163--179
-
prototyping-oriented, 15(2)55--69
-
provable, 16(4)42--52
-
prove, 15(6)56--65, 19(3)36--40, 19(5)128--139, 21(2)32--38,
21(6)93--105, 21(6)127--134, 22(1)42--56, 23(1)68--71, 23(6)88--98
-
proved, 18(5)1--8, 18(5)163--168, 19(5)164--174, 21(5)21--35,
21(6)179--190, 23(2)113--123, 23(6)209--221
-
proven, 18(3)28--39, 21(6)81--92, 23(1)68--71, 24(2)99--108
-
Prover, 15(4)140--143
-
provers, 17(5)120--129, 21(3)239--249, 23(2)124--133
-
provided, 15(1)59--63, 16(1)50--53, 17(5)159--168, 18(2)30--39,
18(3)160--170, 18(5)56--70, 19(3)41--44, 19(3)51--61, 19(5)111--120,
20(1)67--70, 20(z)106--113, 20(z)233--237, 21(5)21--35, 21(5)65--69,
21(6)179--190, 22(5)33--42, 23(3)83--86, 24(1)82, 24(2)79--88,
24(2)217--226, 24(6)199--215, 24(6)322--337
-
provider, 22(2)85--86, 24(2)29--38
-
providing, 15(1)36--41, 15(6)218--228, 15(6)229--237, 16(1)54--59,
16(2)67--72, 17(2)39--42, 17(5)159--168, 18(2)30--39, 18(4)36--43,
18(4)75--82, 18(5)9--20, 18(5)33--41, 19(5)11--20, 19(5)21--34,
19(5)121--127, 20(z)123--127, 20(z)169--178, 20(z)179--185,
21(6)147--155, 21(6)179--190, 22(2)39--42, 22(2)94--98, 22(5)33--42,
22(6)211--226, 23(1)59--61, 23(2)50--52, 23(2)153--162,
24(2)217--226, 24(4)33--42, 24(6)127--145
-
proving, 15(2)70--82, 19(5)53--61, 19(5)121--127, 21(4)66--70,
23(6)56--69
-
provision, 18(3)82--88, 22(2)16--18, 22(2)72--76
-
provisional, 24(2)227--235
-
provoking, thought-, 24(1)74--77
-
proximity, 24(2)99--108
-
Prunet, François, 22(2)94--98,
see Le Bissonnais, Marc
-
pruning, 15(5)23--27
-
PRwill, 20(z)106--113
-
pseudo, 21(3)270--279
-
pseudo-design, 16(1)60--61
-
pseudocode, 21(6)93--105
-
PSP, 20(3)33--36, 23(6)143--152
-
psychology, 20(2)42--47, 21(2)74--78
-
PTO, 24(3)58--62
-
PTR, 22(4)113--114
-
public, 15(1)4--23, 15(2)3--22, 15(5)3--17, 15(6)238--248, 16(2)4--18,
16(3)3--28, 17(1)23--32, 18(2)4--17, 18(2)60--73, 19(1)16--29,
20(1)16--21, 20(2)7--13, 20(3)7--12, 20(5)8--14, 20(z)81--87,
21(1)16--30, 21(2)16--22, 21(4)12--18, 21(5)13--20, 22(1)16--22,
22(2)19--24, 22(4)25--34, 22(5)13--15, 23(1)9--15, 23(3)23--29,
23(4)21--25, 23(5)25--29, 24(1)31--35, 24(4)26--29
-
publication, 17(2)74--78, 20(z)137--149, 21(1)75--76, 21(4)44--46
-
publicize, 21(4)44--46
-
publicly, 21(5)70--71
-
publish, 23(3)64--68
-
published, 15(5)60--63, 19(1)31--38, 19(2)38--51, 20(3)94--97,
20(z)206--214, 21(2)84--86, 21(4)44--46, 22(1)24--27, 22(1)42--56,
23(6)17--23, 23(6)143--152, 24(1)69--73, 24(1)82
-
publisher, 24(2)157--166
-
publishing, 22(2)94--98, 24(2)157--166
-
Pull-up, 23(1)98
-
Punniamoorthy, P., 24(3)66--68
-
Punniamoorthy, P., see Kirner, D.
-
purchasing, 17(2)74--78
-
pure, 18(2)30--39, 24(2)157--166
-
purely, 21(3)172--179, 23(2)50--52, 24(2)39--48
-
purpose, 16(3)80--84, 17(2)39--42, 17(2)57--63, 17(3)43--46, 17(4)40--52,
17(5)1--10, 17(5)58--67, 17(5)88--98, 18(1)35--48, 18(1)65--73,
18(2)23--24, 18(2)30--39, 18(3)61--69, 18(4)83--93, 19(2)22--28,
19(3)23--25, 20(5)18--22, 20(5)78--82, 20(z)263--266, 21(1)55--67,
21(1)68--70, 21(3)224--238, 21(6)58--69, 22(1)85--87, 22(1)88--104,
22(4)70--73, 23(1)44--46, 23(1)50--55, 23(3)70--74, 24(5)32--38,
24(6)180--198
-
purpose, general-, 17(5)68--77, 21(6)81--92, 24(2)89--98
-
purpose, special-, 15(4)25--29
-
pursue, 21(1)46--50
-
pursued, 23(2)50--52, 24(2)157--166
-
pursuing, 15(6)229--237, 18(2)50--59
-
Purtilo, James M., 17(5)99--108
-
Purtilo, James M., see White, Elizabeth L.
-
push, 24(6)20--38
-
put, 16(3)36--45, 19(2)57--62, 20(2)36--41, 20(2)48--54, 20(3)45--48,
21(3)158--171, 21(5)58--59, 22(1)57--68, 23(3)87--92, 24(3)58--62,
24(5)95--104, 24(6)410--428
-
Putkonen, A., 22(1)77--84
-
Putkonen:1997:CTS, 22(1)77--84
-
putting, 17(3)21--26
-
puzzle, 23(5)75--80