Index file section V for sigsoft1990.bib

Last update: Thu Dec 19 02:05:31 MST 2019               

Return to index directory

V

• V, 16(2)58--61, 18(3)81, 19(4)64--67, 21(1)68--70
• Valenti, S., 23(1)50--55
• Valenti:1998:OCO, 23(1)50--55
• valid, 18(1)54--58
• validate, 15(5)50--59, 19(4)68--76, 22(4)74--80, 23(3)20--22, 23(6)46--55, 23(6)222--230
• validated, 18(5)163--168, 20(5)83--87
• validating, 17(4)28--31, 18(3)171--181, 22(1)42--56, 22(6)294--309, 23(6)189--202
• validation, 15(5)50--59, 16(3)87--92, 17(2)57--63, 18(5)163--168, 19(3)51--61, 20(2)69--75, 20(5)83--87, 21(1)70--72, 21(2)64--73, 21(3)79--83, 21(3)187--194, 21(3)261--269, 21(3)270--279, 22(2)77--81, 23(6)56--69, 23(6)189--202
• validator, 21(3)261--269
• validity, 21(5)89--94, 24(2)137--146
• valuable, 15(5)28--43, 22(2)25--34, 23(6)56--69, 23(6)99--110, 24(2)99--108, 24(6)146--162, 24(6)180--198
• valuations, 23(2)113--123
• value, 15(1)36--41, 15(6)133--143, 17(5)169--180, 18(3)171--181, 18(5)149--162, 19(4)68--76, 19(5)128--139, 20(5)56--61, 21(1)75--76, 21(3)4--13, 21(3)84--91, 21(3)180--186, 22(4)11--12, 23(2)50--52, 23(2)53--62, 23(6)17--23, 23(6)143--152, 24(2)69--78, 24(2)157--166, 24(5)32--38, 24(6)268--284
• Valusek, 23(1)50--55
• van, 17(2)70
• Van De Vanter, Michael L., 15(6)77--93
• Van De Vanter, Michael L., see Ballance, Robert A.
• vandenBrand:1997:RES, 22(1)57--68
• vanderHoek:1997:SRM, 22(6)159--175
• Vandevoorde, Mark T., 19(5)121--127
• Vandevoorde:1994:USP, 19(5)121--127
• Vandewalle, Jean-Jacques, 24(6)476--493
• Vandewalle, Jean-Jacques, see Grimaud, Gilles
• VanHilst, Michael, 21(6)58--69
• VanHilst:1996:DCD, 21(6)58--69
• Vanooteghem, Hubert, 20(2)18--19
• Vanooteghem:1995:MMA, 20(2)18--19
• vanReeken:1992:SNP, 17(1)42, 17(2)70
• Vanter, Michael L., Van De, 15(6)77--93
• variability, 20(z)38--46, 20(z)196--205, 22(4)39--43
• variable, 18(5)89--98, 19(5)2--10, 21(3)121--134, 21(3)135--146, 21(3)180--186, 21(6)81--92, 22(2)54--57, 23(2)113--123, 23(6)46--55, 23(6)231--244, 24(1)69--73, 24(5)1--10, 24(5)32--38, 24(5)39--46, 24(5)86--94, 24(6)303--321
• variance, 15(6)107--119, 22(4)60--64
• variant, 15(6)133--143, 19(5)2--10, 22(4)65--69, 23(2)113--123, 23(6)88--98, 24(6)446--463
• variation, 15(6)77--93, 21(2)32--38, 21(3)92--97, 22(4)39--43
• varied, 21(1)55--67, 22(2)64--67
• variety, 15(2)47--54, 17(5)130--138, 17(5)159--168, 19(3)36--40, 20(1)85--89, 20(3)37--44, 20(5)27--38, 21(3)39--52, 21(3)172--179, 21(3)180--186, 21(3)239--249, 21(3)261--269, 21(6)106--117, 21(6)135--146, 21(6)179--190, 22(1)85--87, 22(2)85--86, 23(1)62--65, 23(2)11--20, 23(3)111--119, 23(6)35--45, 23(6)121--130, 24(3)69--75, 24(5)1--10, 24(5)21--31, 24(6)75--90, 24(6)180--198, 24(6)446--463
• various, 15(3)39--41, 15(5)50--59, 15(5)60--63, 15(6)22--33, 15(6)34--43, 15(6)56--65, 15(6)193--205, 15(6)218--228, 16(2)75--82, 17(2)57--63, 17(2)74--78, 17(5)21--31, 17(5)58--67, 17(5)169--180, 18(2)30--39, 18(2)60--73, 18(2)96--105, 18(3)51--60, 18(5)182--190, 19(5)35--43, 19(5)87--96, 20(1)46--54, 20(5)40--47, 20(z)53--62, 20(z)233--237, 21(4)9--12, 21(5)78--88, 21(5)95--98, 22(1)42--56, 22(2)25--34, 22(4)35--38, 22(4)44--49, 23(1)30--34, 23(1)56--58, 23(1)104--110, 23(2)102--112, 23(6)175--188, 23(6)222--230, 24(1)80--81, 24(3)80
• vary, 21(6)46--57
• vast, 15(6)34--43, 16(4)55--59, 24(6)338--354
• Vaziri-Farahani, Mandana, 20(4)128--139
• Vaziri-Farahani, Mandana, see Wing, Jeannette M.
• Vazquez, Federico, 18(1)65--73, 18(4)44--53, 19(3)36--40, 21(4)71--80
• Vazquez:1993:ASF, 18(1)65--73
• Vazquez:1993:UOO, 18(4)44--53
• Vazquez:1994:ICD, 19(3)36--40
• Vazquez:1996:AAD, 21(4)71--80
• VCR, 23(1)100--103
• VDM, 15(4)55--58, 19(3)75--81
• VEC, 24(2)29--38
• vector, 15(2)29--30, 21(3)84--91
• vehicle, 19(4)68--76, 21(3)187--194, 22(5)33--42, 23(6)80--86
• vehicle,'', ``driver-, 24(3)69--75
• Velen, 21(5)21--35
• vendors, 17(2)74--78, 17(5)139--148, 19(3)30--34, 21(1)68--70, 22(2)58--63
• Venkatesh, K., 22(4)56--60
• Venkatesh, K., see Srinath, S.
• verbal, 18(5)107--114, 24(2)117--126
• Vergruggen, Renaat, 21(2)22--31
• Vergruggen, Renaat, see McManus, Joe
• Verhoef, C., 22(1)57--68
• Verhoef, C., see Brand, M. G. J. van den
• verifiable, 20(2)42--47
• verification, 15(1)49--58, 15(4)25--29, 16(5)1--15, 16(5)92--100, 17(2)57--63, 18(2)50--59, 18(3)99--109, 18(5)138--148, 19(5)35--43, 19(5)140--153, 20(3)94--97, 20(z)106--113, 20(z)247--255, 21(1)70--72, 21(2)32--38, 21(2)64--73, 21(3)79--83, 21(3)121--134, 21(3)187--194, 21(3)224--238, 21(3)270--279, 21(6)93--105, 21(6)127--134, 22(6)227--243, 22(6)395--413, 23(2)1--10, 23(6)175--188, 23(6)189--202, 23(6)209--221, 23(6)222--230, 24(5)57--65, 24(6)163--179, 24(6)476--493, 24(6)494--510
• verified, 15(2)70--82, 15(4)147--149, 16(1)36--40, 21(3)280--292, 23(2)113--123
• verified, pre-, 18(2)50--59
• verifier, 21(3)280--292, 23(6)222--230, 24(6)476--493
• verifier-converter, 24(6)476--493
• verify, 18(3)82--88, 19(5)62--75, 21(3)224--238, 21(3)250--260, 21(3)270--279, 21(3)280--292, 24(6)494--510
• verifying, 16(5)44--54, 16(5)112--119, 19(5)35--43, 19(5)62--75, 19(5)140--153, 21(6)24--32, 21(6)93--105, 23(2)113--123, 23(6)175--188, 23(6)189--202
• VeriSoft, 23(2)124--133
• Verlag, 22(1)24--27
• versa, 21(6)2, 24(2)29--38
• version, 15(6)173--182, 15(6)229--237, 17(5)21--31, 18(1)59--64, 18(2)23--24, 18(3)40--50, 18(3)70--80, 18(3)99--109, 19(4)68--76, 20(3)94--97, 20(4)151--160, 20(5)83--87, 21(3)187--194, 21(5)72--77, 21(6)118--126, 21(6)135--146, 21(6)156--166, 22(2)54--57, 22(4)3--6, 23(1)92--97, 23(2)82--92, 23(2)134--142, 23(2)143--152, 23(3)111--119, 23(6)153--162, 24(4)81--83, 24(6)268--284, 24(6)429--445
• versionless, 15(6)173--182
• versus, 15(2)26, 21(5)58--59, 24(2)227--235
• very, 15(2)31--39, 16(1)36--40, 16(4)37--41, 17(1)52--56, 17(3)43--46, 17(5)1--10, 17(5)58--67, 17(5)139--148, 18(2)30--39, 18(2)96--105, 18(4)70--74, 19(2)22--28, 19(4)77--78, 19(5)140--153, 20(1)55--66, 20(5)62--66, 21(2)32--38, 21(2)89--91, 21(3)79--83, 21(3)84--91, 21(3)201--208, 21(5)51--55, 22(1)42--56, 22(2)94--98, 23(1)47--50, 23(1)62--65, 23(2)63--72, 23(3)111--119, 23(6)153--162, 24(2)197--206, 24(3)56--57, 24(5)11--20, 24(5)95--104, 24(6)393--409, 24(6)429--445
• Veryard, Richard, 21(1)87--89
• Veryard:1996:ICM, 21(1)87--89
• Vesterinen, Petri, 23(4)53--55, 24(3)63--65
• Vesterinen:1998:UID, 23(4)53--55
• Vesterinen:1999:ICE, 24(3)63--65
• Vetter, Ronald, 19(3)41--44
• Vetter, Ronald, see Juell, Paul
• Viability, 20(5)27--38
• viable, 15(3)25--32
• vice, 21(6)2, 24(2)29--38
• vice-chair, 21(5)36--39
• video, 24(2)109--116
• videoconferencing, 24(2)109--116
• Vienna, 24(1)49--54
• view, 15(6)193--205, 16(1)50--53, 16(2)45--51, 16(3)69, 17(2)39--42, 17(3)21--26, 17(4)53--59, 17(4)68--70, 17(5)1--10, 17(5)41--46, 17(5)58--67, 18(2)30--39, 18(2)96--105, 18(3)1, 18(4)26--35, 19(3)48--50, 20(1)27--38, 20(1)55--66, 20(2)48--54, 20(5)56--61, 20(5)83--87, 20(z)17--20, 20(z)88--96, 20(z)225--228, 21(2)39--44, 21(4)58--63, 21(6)33--45, 22(2)87--91, 22(4)32--33, 22(4)35--38, 22(4)65--69, 23(1)30--34, 23(1)66--67, 23(3)68--69, 23(3)111--119, 24(2)19--28, 24(2)29--38, 24(2)157--166, 24(6)39--56, 24(6)75--90, 24(6)322--337, 24(6)410--428
• view, inter-, 24(6)410--428
• view, intra-, 24(6)410--428
• view, multiple-, 17(5)47--57
• view-oriented, 22(6)327--343
• view-point, 17(4)60--67
• view-points, 21(1)55--67
• viewed, 17(4)32--39, 21(2)32--38, 22(4)35--38, 24(6)75--90
• viewing, 19(3)41--44, 20(5)83--87
• viewpoint, 20(z)137--149, 21(2)64--73, 21(5)58--59, 21(5)72--77, 22(1)39--41, 23(1)47--50, 23(1)62--65
• Viewpoint-Centred, 23(1)100--103
• Viewpoint-centred, 23(1)100--103
• Vigna, Paul, Del, 23(2)93--101
• Viljamaa, Panu, 20(1)74--78
• Viljamaa:1995:PBI, 20(1)74--78
• Villarreal, E. E., 22(3)146--156
• Villarreal:1997:RGD, 22(3)146--156
• violates, 19(5)140--153
• violations, 24(2)59--68
• violently, 24(1)36--48
• Virginia, 21(1)55--67, 21(1)75--76
• virtual, 19(3)41--44, 20(1)85--89, 20(z)179--185, 21(1)75--76, 23(6)222--230, 24(1)65--68, 24(2)29--38, 24(2)99--108, 24(2)157--166, 24(6)464--475, 24(6)476--493
• virtually, 23(2)124--133
• virtue, 17(2)57--63
• vis, vis-à-, 24(3)53--55
• vis-à-vis, 24(3)53--55
• Vishik, Claire, 24(2)157--166
• Vishik:1999:KSQ, 24(2)157--166
• visibility, 15(6)206--217
• visible, 16(1)36--40, 21(6)147--155, 24(2)29--38, 24(5)105--109
• vision, 18(1)59--64, 24(6)429--445
• Visitor, 21(6)46--57
• visitor, 24(3)69--75
• visual, 15(2)55--69, 16(3)52--55, 17(5)88--98, 18(2)86--95, 19(3)26--29, 20(3)33--36, 20(5)83--87, 23(2)82--92, 23(4)70--75, 23(6)131--142, 24(6)429--445
• visualisation, 20(5)83--87
• visualization, 17(5)41--46, 18(5)33--41, 19(5)97--110, 21(6)33--45
• visualize, 16(1)36--40
• visualized, 21(6)33--45
• visually, 19(5)140--153, 23(2)82--92
• vital, 21(5)58--59
• vivid, 24(1)36--48
• viz, 19(5)35--43
• Vlissides, 21(6)46--57
• VLSI-circuit, 17(5)32--40
• VLSI-design, 17(5)32--40
• Vo, Kiem-Phong, 20(z)150--159
• Vo, Kiem-Phong, see Fowler, Glenn S.
• Voas, 21(3)84--91
• Voas, J., 20(z)247--255
• Voas, Jeff, 18(3)89--98
• Voas, Jeff, see Hamlet, Dick
• Voas, Jeffrey, 16(2)73--74
• Voas, Jeffrey, see Morell, Larry J.
• Voas:1995:STE, 20(z)247--255
• vocabulary, 20(z)267--270, 22(4)50--55, 24(2)117--126
• vocabulary, controlled-, 22(3)89--98
• Vogel, Peter A., 18(3)61--69
• Vogel:1993:IGP, 18(3)61--69
• voice, 24(2)217--226
• void, 19(3)51--61
• volume, 18(1)59--64, 22(1)24--27
• Von Glahn, G. A., 15(5)28--43
• Von Glahn, G. A., see Carasik, R. P.
• vonMayrhauser:1991:TED, 16(4)31--36
• Vortex, 24(2)69--78
• votes, 23(5)7
• Votta, Jr., Lawrence G., 18(5)107--114
• Votta, L. G., 20(4)92--103
• Votta, L. G., see Porter, A.
• Votta, Lawrence G., 22(6)521--522
• Votta, Lawrence G., see Perry, Dewayne E.
• Votta:1993:DEI, 18(5)107--114
• voucher, 24(2)167--176
• vs, 17(1)33--41, 20(5)73--77, 20(z)196--205
• vulnerable, 24(5)66--75
• V\&V, 21(3)187--194