Last update: Thu Dec 19 02:05:31 MST 2019
Return to index directory
N
-
nabla, 23(3)93--96
-
nail, 22(3)89--98
-
name, 15(6)107--119, 16(4)42--52, 17(2)74--78, 17(5)41--46,
20(4)161--172, 21(1)68--70, 21(3)53--61, 21(6)81--92, 22(3)104--109
-
named, 21(3)180--186, 22(1)42--56, 24(2)69--78
-
namely, 20(5)83--87, 21(5)95--98, 21(6)135--146, 22(2)25--34,
24(1)65--68, 24(5)86--94
-
naming, 20(z)179--185, 21(4)81--92, 23(6)10--16
-
Nancy, 21(3)79--83, 22(1)24--27
-
Narayana, K. T., 15(4)67--79
-
Narayana:1990:IPD, 15(4)67--79
-
Narayanaswamy, K., 18(5)21--32
-
Narayanaswamy, K., see Balzer, Robert
-
narrow, 17(4)68--70
-
narrow-band, 24(2)109--116
-
NASA, 16(5)147--161, 20(z)247--255, 24(2)109--116
-
Natan, Ron, Ben-, 17(2)72--73
-
National, 20(z)179--185, 22(5)33--42, 23(3)68--69, 23(3)105--110
-
nations, 22(4)32--33
-
native, 17(2)57--63, 21(3)280--292
-
natural, 15(5)28--43, 18(2)30--39, 18(4)61--69, 20(3)45--48,
20(z)160--168, 20(z)229--232, 21(2)32--38, 21(3)147--157,
21(3)172--179, 21(6)46--57, 22(1)88--104, 23(2)113--123,
24(1)55--59, 24(2)69--78
-
naturally, 15(6)183--192, 23(6)121--130
-
NATURE, 20(3)90--93
-
nature, 15(2)47--54, 15(6)34--43, 18(2)18, 18(5)42--55, 19(5)140--153,
20(1)74--78, 20(2)48--54, 20(z)267--270, 21(2)11--15, 21(3)195--200,
21(5)60--64, 23(6)153--162, 24(1)36--48, 24(1)74--77, 24(1)78--80,
24(2)157--166, 24(2)207--216, 24(5)47--56
-
Naumovich, Gleb, 22(6)77--93, 23(6)24--34, 24(5)57--65, 24(6)338--354
-
Naumovich, Gleb N., 21(6)93--105
-
Naumovich:1996:VCP, 21(6)93--105
-
Naumovich:1997:ASA, 22(6)77--93
-
Naumovich:1998:CDF, 23(6)24--34
-
Naumovich:1999:EAC, 24(6)338--354
-
Naumovich:1999:UPO, 24(5)57--65
-
Naveda, J. Fernando, 24(3)53--55
-
Naveda, J. Fernando, see Lutz, Michael J.
-
navigate, 22(1)77--84, 24(2)217--226
-
navigation, 16(1)36--40, 22(1)77--84, 24(5)95--104
-
Navy, 20(z)38--46
-
nd, 16(1)50--53
-
NDHORM, 21(5)65--69
-
near, 21(3)84--91
-
near-term, 19(4)68--76
-
necessarily, 17(5)41--46, 20(z)123--127
-
necessary, 15(3)33--38, 15(6)238--248, 16(2)75--82, 16(4)37--41,
16(4)55--59, 18(3)128--138, 18(5)169--181, 19(3)36--40, 19(5)53--61,
20(z)47--52, 21(5)47--50, 22(1)77--84, 23(2)124--133, 23(6)17--23,
24(2)217--226, 24(5)32--38, 24(6)2--19, 24(6)163--179
-
necessitates, 21(2)32--38
-
necessitating, 21(2)56--63
-
necessity, 16(4)64--66, 21(2)32--38, 24(2)79--88
-
Neeb, Jens, 24(2)79--88, 24(2)177--186
-
Neeb, Jens, see Heinl, Petra,
see Schuster, Hans
-
need, 15(1)95--104, 15(3)33--38, 15(3)39--41, 15(5)60--63, 15(6)34--43,
15(6)173--182, 15(6)183--192, 16(3)36--45, 17(2)43--49, 17(2)50--56,
17(2)74--78, 17(4)32--39, 17(5)99--108, 17(5)169--180, 18(2)60--73,
18(3)61--69, 18(4)26--35, 18(5)42--55, 18(5)107--114, 18(5)149--162,
19(2)38--51, 19(2)63--64, 19(3)48--50, 19(5)21--34, 20(1)39--45,
20(1)55--66, 20(1)85--89, 20(2)58--61, 20(3)37--44, 20(3)45--48,
20(5)40--47, 20(z)160--168, 20(z)169--178, 20(z)186--195,
20(z)206--214, 20(z)215--218, 20(z)267--270, 21(1)31--34,
21(1)46--50, 21(1)77--86, 21(3)79--83, 21(3)172--179, 21(3)201--208,
21(3)280--292, 21(4)44--46, 21(4)58--63, 21(4)81--92, 21(5)11--13,
21(5)58--59, 21(5)89--94, 21(6)127--134, 22(1)28--38, 22(1)42--56,
22(1)68--74, 22(3)121--129, 22(4)35--38, 22(4)65--69, 22(6)125--141,
23(1)47--50, 23(1)62--65, 23(1)100--103, 23(2)50--52, 23(6)207--208,
24(1)65--68, 24(1)78--80, 24(2)59--68, 24(2)117--126, 24(2)157--166,
24(2)207--216, 24(5)11--20, 24(5)39--46, 24(6)1, 24(6)303--321,
24(6)429--445, 24(6)476--493
-
needed, 15(3)33--38, 17(4)32--39, 18(3)61--69, 18(3)128--138,
18(4)26--35, 18(5)99--106, 19(5)128--139, 20(3)49--62, 20(5)78--82,
20(z)137--149, 21(3)14--23, 21(4)9--12, 22(1)42--56, 22(1)77--84,
23(2)50--52, 23(2)124--133, 23(2)134--142, 23(3)102--104,
24(2)167--176
-
needless, 20(z)150--159
-
negative, 24(1)74--77, 24(6)1
-
negligible, 22(4)50--55
-
negotiation, 21(5)47--50
-
neither, 19(5)2--10, 24(5)66--75
-
NELIAC, 23(2)50--52
-
Ness, Linda, 15(4)80--89
-
Ness:1990:PET, 15(4)80--89
-
nested, 19(3)23--25, 23(6)175--188
-
nesting, 23(6)175--188
-
net, 15(6)193--205, 18(3)28--39, 18(3)51--60, 20(1)7--15, 20(3)2--7,
21(1)6--10, 21(2)7--10, 21(3)24--38, 21(3)172--179, 21(4)6--9,
21(5)6--10, 21(6)167--178, 21(6)179--190, 22(1)8--12, 22(2)8--15,
22(4)13--20, 22(5)5--9, 22(6)193--210, 23(1)16--23, 23(1)59--61,
23(3)13--19, 24(3)15--24, 24(4)15--25
-
net-based, 21(3)24--38
-
Netherlands, 20(1)39--45
-
network, 19(1)86--89, 19(3)41--44, 20(1)85--89, 20(z)179--185,
21(3)187--194, 21(3)261--269, 22(2)58--63, 24(6)39--56
-
network-based, 24(2)99--108
-
network-centric, 24(2)167--176
-
networked, 19(3)41--44
-
networking, 21(1)75--76, 24(1)65--68
-
Neumann, 16(3)73, 20(1)93
-
Neumann, P. G., 15(5)3--17
-
Neumann, Peter, 20(5)90--91, 20(5)91
-
Neumann, Peter G., 15(1)4--23, 15(2)3--22, 16(2)4--18, 16(3)3--28,
17(1)23--32, 18(2)4--17, 19(1)16--29, 20(1)16--21, 20(1)93,
20(2)7--13, 20(3)7--12, 20(5)8--14, 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
-
Neumann:1990:RP, 15(5)3--17
-
Neumann:1990:RPCa, 15(1)4--23
-
Neumann:1990:RPCb, 15(2)3--22
-
Neumann:1991:RPCa, 16(2)4--18
-
Neumann:1991:RPCb, 16(3)3--28
-
Neumann:1992:IRP, 17(1)23--32
-
Neumann:1993:RPC, 18(2)4--17
-
Neumann:1994:IRP, 19(1)16--29
-
Neumann:1995:BRS, 20(1)93
-
Neumann:1995:FDC, 20(5)91
-
Neumann:1995:RPCa, 20(1)16--21
-
Neumann:1995:RPCb, 20(2)7--13
-
Neumann:1995:RPCc, 20(3)7--12
-
Neumann:1995:RPCd, 20(5)8--14
-
Neumann:1995:SSS, 20(5)90--91
-
Neumann:1996:IRP, 21(1)16--30
-
Neumann:1996:RPCa, 21(2)16--22
-
Neumann:1996:RPCb, 21(4)12--18
-
Neumann:1996:RPCc, 21(5)13--20
-
Neumann:1997:RPCa, 22(1)16--22
-
Neumann:1997:RPCb, 22(2)19--24
-
Neumann:1997:RPCc, 22(4)25--34
-
Neumann:1997:RPCd, 22(5)13--15
-
Neumann:1998:RPCa, 23(1)9--15
-
Neumann:1998:RPCb, 23(3)23--29
-
Neumann:1998:RPCc, 23(4)21--25
-
Neumann:1998:RPCd, 23(5)25--29
-
Neumann:1999:RPCa, 24(1)31--35
-
Neumann:1999:RPCb, 24(4)26--29
-
never, 18(3)1, 18(3)149--158, 19(1)75--76, 21(2)79--83, 22(4)60--64
-
Nevertheless, 20(2)36--41, 23(2)1--10, 24(6)476--493
-
newbies, 19(3)66--68
-
Newcomb, Philip, 20(5)23--26
-
Newcomb, Philip, see Cross II, James H.
-
newer, 17(2)43--49
-
news, 21(2)79--83
-
newspaper, 24(4)53--74
-
next, 16(3)36--45, 16(3)87--92, 16(4)37--41, 16(4)55--59, 17(3)39--42,
18(3)28--39, 20(4)5, 20(5)17, 21(1)11--14, 21(1)68--70,
21(5)58--59, 22(1)13--15, 22(1)88--104, 23(1)47--50, 23(2)124--133,
23(6)231--244
-
next?, 20(5)40--47
-
next-generation, 22(6)142--158
-
nice, 17(2)70
-
niche, 24(2)99--108
-
Nicholls, J. E., 19(3)75--81
-
Nicholls, J. E., see Hayes, I. J.
-
Nico, 18(4)1
-
Nierstrasz, Oscar, 23(1)38--41
-
Nierstrasz, Oscar, see Leavens, Gary T.
-
NIHCL, 18(5)191--199
-
Nilson, Jörg, 24(5)95--104, see Kókai, Gabriella
-
NIMBUS, 24(6)163--179
-
nine, 21(1)11--14, 21(2)11--15, 21(4)9--12
-
nineteen, 24(4)43--46
-
Ning, Jim Q., 22(3)19--29
-
Ning, Jim Q., see Bronsard, François
-
Ninth, 24(3)32--36
-
Niss, Christian, 24(5)95--104
-
Niss, Christian, see Kókai, Gabriella
-
Nitpick, 21(3)239--249
-
no, 24(1)36--48
-
node, 18(5)33--41, 21(3)180--186, 21(6)15--23, 22(4)35--38, 24(5)11--20
-
Nokia, 24(3)63--65
-
nominal, 21(3)187--194
-
nominal, off-, 21(3)187--194
-
non, 19(2)57--62, 23(2)53--62
-
non-CASE, 21(5)47--50
-
non-commented, 20(z)150--159
-
non-concurrency, 23(6)24--34
-
non-concurrently, 19(5)21--34
-
non-core, 24(2)29--38
-
non-determinism, 18(5)1--8, 21(3)216--223
-
non-deterministic, 19(4)68--76
-
non-domain, 17(2)50--56
-
non-existent, 23(1)77--80
-
non-functional, 20(1)39--45, 21(1)31--34, 23(2)73--81
-
non-iterative, 21(2)32--38
-
non-monotonic, 20(5)62--66
-
non-persistent, 19(5)44--52
-
non-procedural, 24(5)1--10
-
non-restructuring, 21(6)33--45
-
non-trivial, 19(2)38--51, 23(2)53--62
-
nondeterminism, 23(2)124--133
-
none, 16(3)80--84, 24(3)80, 24(6)253--267
-
Nonetheless, 18(3)182--192, 23(3)64--68
-
nonlinear, 23(6)231--244
-
nonnumerical, 18(5)71--78
-
nontrivial, 23(2)113--123
-
nor, 15(6)144--156, 18(5)191--199, 20(5)18--22, 24(2)29--38, 24(5)66--75,
24(6)303--321
-
Nord, Robert L., 15(4)90--99, 17(5)68--77, 22(2)5
-
Nord, Robert L., see Garlan, David
-
Nord:1990:FMM, 15(4)90--99
-
Nord:1997:SSA, 22(2)5
-
norm, 24(2)59--68, 24(2)227--235
-
normal, 15(1)68--72, 23(1)24--26, 24(5)1--10
-
normalized, 20(z)81--87
-
normally, 15(5)21--22, 20(5)40--47, 20(5)83--87, 21(1)31--34,
21(2)89--91, 24(5)1--10
-
normative, 21(5)47--50
-
North, 19(3)41--44, 21(5)47--50
-
Northern, 21(1)75--76
-
Norwegian, 20(1)71--73
-
Nosek, 20(1)71--73
-
notation, 17(4)28--31, 17(5)58--67, 18(3)11--18, 18(5)79--88,
19(5)44--52, 21(3)53--61, 21(3)172--179, 21(3)216--223,
21(3)270--279, 21(3)280--292, 21(5)65--69, 21(5)72--77, 21(5)99,
22(2)39--42, 23(5)57--61, 23(6)56--69, 24(6)39--56
-
notational, 18(5)9--20
-
note, 15(2)27, 16(4)42--52, 16(4)53--54, 17(1)42, 17(2)70, 17(2)72--73,
18(4)16--18, 18(4)61--69, 18(5)107--114, 19(4)77--78, 20(1)7--15,
20(3)2--7, 20(3)33--36, 21(1)6--10, 21(1)11--14, 21(1)70--72,
21(1)75--76, 21(2)7--10, 21(4)6--9, 21(5)6--10, 21(5)70--71,
22(1)8--12, 22(1)24--27, 22(1)42--56, 22(2)8--15, 22(4)13--20,
22(5)5--9, 23(1)16--23, 23(1)104--110, 23(3)13--19, 23(3)39--43,
23(3)105--110, 24(1)74--77, 24(3)15--24, 24(3)53--55, 24(3)81--83,
24(4)15--25, 24(4)30--32, 24(4)81--83
-
note-taking, 19(3)41--44
-
noted, 21(2)32--38
-
noticeable, 21(1)68--70
-
notification, 22(6)344--360
-
notion, 15(6)22--33, 15(6)107--119, 15(6)120--132, 15(6)133--143,
15(6)173--182, 16(4)42--52, 17(2)57--63, 18(3)1, 18(3)171--181,
19(5)53--61, 20(1)85--89, 21(3)39--52, 22(1)23--24, 23(1)86--91,
23(6)209--221, 24(5)11--20, 24(6)180--198, 24(6)393--409,
24(6)511--527
-
Notkin, 24(1)74--77
-
Notkin, D., 23(6)209--221
-
Notkin, D., see Garlan, D.
-
Notkin, David, 15(6)22--33, 17(1)33--41, 18(4)1, 20(4)18--28,
20(4)116--127, 21(1)1--1, 21(6)58--69, 21(6)156--166, 22(1)23--24,
23(2)102--112
-
Notkin, David, see Anderson, Richard J.,
see Chan, William,
see Griswold, William G.,
see Murphy, Gail C., \see{Sullivan, Kevin,
see VanHilst, Michael
-
Notkin:1993:NHR, 18(4)1
-
Notkin:1996:LEC, 21(1)1--1
-
Notkin:1997:FSS, 22(1)23--24
-
Nourani, Cyrus F., 21(1)70--72, 23(1)98
-
Nourani:1996:MAO, 21(1)70--72
-
Nourani:1998:SAI, 23(1)98
-
Nova, L. C. M., 20(z)88--96
-
Nova, L. C. M., see Alencar, P. S. C.
-
novel, 15(6)66--76, 17(5)149--158, 20(2)48--54, 22(1)23--24, 23(1)98,
23(1)109--109, 23(2)143--152, 23(6)231--244, 24(2)69--78,
24(2)197--206, 24(5)21--31, 24(6)268--284, 24(6)464--475,
24(6)511--527
-
novice, 15(2)55--69
-
now, 15(1)73--78, 15(6)218--228, 17(2)72--73, 21(3)1--3, 21(4)58--63,
21(6)70--80, 23(1)59--61, 23(3)120--125, 24(6)75--90
-
nowadays, 20(2)58--61
-
NSF, 22(1)28--38, 22(5)33--42, 24(3)37--44, 24(4)50--52
-
Ntafos, Simeon, 23(2)42--48
-
Ntafos:1998:RPT, 23(2)42--48
-
nuclear, 17(4)24--27, 18(3)99--109, 21(3)158--171, 23(6)56--69
-
number, 15(5)60--63, 15(6)77--93, 15(6)183--192, 15(6)229--237,
16(2)62--66, 16(3)80--84, 16(4)37--41, 17(2)74--78, 17(4)24--27,
17(5)159--168, 18(1)35--48, 18(2)50--59, 18(3)51--60, 18(3)99--109,
18(3)110--116, 18(4)61--69, 18(5)9--20, 18(5)71--78, 18(5)99--106,
18(5)107--114, 19(3)23--25, 19(5)76--86, 20(1)46--54, 20(2)36--41,
20(2)42--47, 20(2)69--75, 20(3)33--36, 20(5)56--61, 20(z)3--6,
20(z)47--52, 21(1)11--14, 21(1)68--70, 21(3)14--23, 21(3)79--83,
21(3)147--157, 21(3)239--249, 21(3)261--269, 21(4)9--12,
21(4)58--63, 21(5)51--55, 21(5)60--64, 21(5)78--88, 21(6)156--166,
22(1)13--15, 22(2)54--57, 22(2)58--63, 22(2)85--86, 22(4)65--69,
23(2)73--81, 23(2)113--123, 23(3)111--119, 23(6)35--45,
23(6)131--142, 23(6)153--162, 23(6)231--244, 24(2)59--68,
24(2)99--108, 24(2)137--146, 24(2)167--176, 24(5)21--31,
24(6)20--38, 24(6)253--267, 24(6)303--321, 24(6)338--354,
24(6)429--445
-
numerous, 18(5)191--199, 22(2)64--67, 22(4)35--38, 24(2)11--18,
24(2)197--206
-
Nunno, Donn, Di, 19(3)45--47
-
NuPRL1, 15(6)107--119
-
NY, 20(3)84--89