Last update: Fri Nov 4 02:18:00 MDT 2022
Return to index directory
V
-
V, 10(3)95--108
-
Vaglini, G., 8(4)98--106
-
Vaglini, G., see Baiardi, F.
-
valid, 13(3)45--48, 14(4)116--117, 14(8)28--37
-
Validating, 14(8)2--9
-
validation, 7(5)88--93, 8(4)53--59, 8(4)63--66, 10(4)110--110,
12(2)37--37, 13(3)45--48, 14(7)170--178, 14(8)187--196
-
validity, 8(3)17--29, 14(4)111--112, 14(8)131--140
-
valuable, 14(4)163--166
-
valuate, 8(4)98--106
-
value, 5(2)34--37, 6(3)68--75, 7(5)33--34, 8(4)145--148, 8(4)173--179,
12(1)35--37, 12(2)42--49, 14(8)210--218
-
vandenBosch:1982:ESD, 7(1)45--60
-
vanVleck:1989:TQA, 14(5)62--63
-
variable, 6(3)68--75, 6(5)14--18, 7(1)20--30, 13(2)48--50, 14(8)158--167,
14(8)210--218
-
variant, 13(5)1--13, 13(5)173--182, 14(4)163--166, 14(7)30--33,
14(7)42--45, 14(7)46--55, 14(7)137--140, 14(7)145--148, 14(8)58--65
-
variation, 14(6)73--80, 14(7)149--151
-
varied, 9(3)141--148, 13(5)121--129
-
variety, 7(5)25--32, 9(3)1--6, 9(3)15--20, 9(3)168--176, 10(3)95--108,
11(1)73--102, 12(2)37--37, 13(1)22--28, 13(5)25--34, 14(2)42--44,
14(4)116--117, 14(8)86--96, 14(8)200--209
-
various, 6(2)8--14, 7(1)10--20, 7(1)56--69, 7(2)3--12, 7(2)27--28,
7(2)41--60, 7(3)16--21, 8(4)98--106, 9(3)15--20, 9(3)49--56,
9(3)141--148, 9(3)185--192, 10(3)49--61, 10(5)62--72, 11(4)9--11,
12(2)30--31, 13(1)30--32, 13(3)49--51, 13(5)121--129, 14(4)43--45,
14(4)148--152, 14(5)83--104, 14(6)42--49, 14(8)158--167
-
varying, 7(1)10--20, 9(2)80--88
-
vast, 14(4)43--45
-
VAX, 8(4)173--179, 14(7)42--45
-
Vax, 7(5)85--87, 9(3)21--29
-
VAX-11, 8(4)173--179
-
VAXes, 9(3)15--20
-
VAX/Ultrix, 14(7)42--45
-
VAX/VMS, 14(7)42--45
-
VAX/VMS-based, 13(5)35--44
-
VCG, 6(3)35--38
-
VDM, 9(2)54--79, 13(1)30--32
-
vectorized, 9(3)177--184
-
vehicle, 9(4)12--19
-
Veloso, P. A. S., 8(1)17--19
-
Veloso:1983:MLS, 8(1)17--19
-
vendor, 10(3)95--108, 14(2)42--44
-
Venugopal, V., 14(4)36--42
-
Venugopal, V., see Ashok, V.
-
verifiable, 11(2)32--35
-
verification, 5(1)18--27, 5(1)36--37, 5(3)4--47, 6(3)3--4, 6(3)8--13,
6(3)24--24, 6(3)25--27, 6(3)27--35, 6(3)38--41, 6(3)45--46,
6(3)46--50, 6(3)50--55, 6(3)55--55, 6(3)55--56, 6(3)57--58,
6(3)61--63, 8(3)64--64, 10(4)1--1, 10(4)5--6, 10(4)15--16,
10(4)26--27, 10(4)28--32, 10(4)33--34, 10(4)35--36, 10(4)37--40,
10(4)41--43, 10(4)44--47, 10(4)48--48, 10(4)49--50, 10(4)60--60,
10(4)61--62, 10(4)87--89, 10(4)92--94, 10(4)97--100, 10(4)101--102,
10(4)104--106, 10(4)107--107, 10(4)108--109, 10(4)116--118,
12(2)37--37, 13(3)45--48, 14(4)116--117, 14(5)43--54, 14(8)10--19,
14(8)200--209
-
verified, 6(3)4--8, 6(3)13--16, 14(3)257--265, 14(8)20--26
-
verifier, 6(1)9--14, 14(4)116--117
-
verify, 7(5)39--44, 9(2)130--132, 14(6)68--72
-
verifying, 7(1)80--81, 10(4)7--14, 10(4)51--52, 10(4)126--129
-
VERking, 6(3)58--60
-
VERkshop, 5(3)4--47, 6(3)2--2
-
verkshop, 10(4)61--62, 10(4)113--116
-
Verlag, Springer-, 6(3)66--67, 7(2)63--64, 9(1)16--18
-
Vermilyer, Robert, 10(5)73--78
-
Vermilyer, Robert, see Ramanathan, Jayashree
-
versatile, 8(4)60--62
-
version, 7(5)54--60, 8(4)34--44, 8(4)91--95, 9(3)21--29, 9(3)113--123,
9(3)132--140, 9(3)149--156, 10(3)95--108, 11(4)28--33, 12(1)29--34,
13(4)52--56, 13(4)61--73, 13(5)130--142, 13(5)183--190,
13(5)191--200, 13(5)201--215, 14(4)43--45, 14(6)25--31, 14(7)23--25,
14(7)38--41, 14(7)42--45, 14(7)46--55, 14(7)56--65, 14(7)114--117,
14(7)133--136, 14(7)137--140, 14(7)149--151, 14(7)152--161,
14(7)162--169, 14(7)170--178, 14(8)58--65
-
version, -, 12(1)29--34
-
version, Multi-, 12(1)29--34
-
version-control, 14(7)162--169
-
versioning, 14(7)56--65
-
Verstoep, K., 14(7)15--22
-
Verstoep, K., see Baalbergen, E. H.
-
versus, 6(3)68--75, 10(3)49--61, 11(1)21--28, 14(6)73--80
-
vertically, 7(5)106--111
-
VERUS\TM, 10(4)26--27
-
very, 7(4)14--17, 7(5)67--70, 7(5)133--140, 7(5)169--170, 8(4)71--80,
8(4)81--90, 8(4)206--206, 9(1)50--51, 9(2)80--88, 9(3)15--20,
9(3)185--192, 10(1)52--57, 12(1)51--52, 13(1)22--28, 13(2)55--57,
13(5)183--190, 13(5)191--200, 14(2)62--70, 14(2)71--77,
14(3)238--240, 14(4)43--45, 14(4)111--112, 14(4)116--117,
14(6)61--67, 14(8)58--65
-
veteran, 8(1)16--16
-
Vienna, 9(2)54--79, 14(5)83--104
-
view, 6(3)3--4, 6(3)57--58, 7(5)133--140, 7(5)167--168, 8(4)9--22,
8(4)32--33, 8(4)60--62, 9(3)30--41, 9(3)132--140, 10(1)19--30,
10(1)43--46, 11(1)49--59, 11(2)29--31, 11(2)58--85, 11(3)51--64,
11(4)41--45, 12(1)51--52, 12(1)56--62, 13(3)20--20, 13(5)1--13,
13(5)107--109, 14(1)89--95, 14(4)43--45, 14(4)97--102,
14(4)111--112, 14(4)116--117, 14(5)108--117, 14(6)32--41,
14(7)38--41, 14(7)114--117, 14(7)149--151
-
viewed, 7(5)167--168, 8(4)67--70, 8(4)123--129, 9(2)38--53,
13(5)121--129
-
viewing, 9(3)49--56, 13(3)32--40, 14(3)177--184
-
viewpoint, 7(2)3--12, 7(5)106--111, 9(3)124--131, 12(2)42--49,
14(3)111--119
-
Viking, 10(2)23--27
-
Vincent, 10(5)47--59
-
violated, 6(3)68--75, 9(3)42--48
-
violations, 9(3)42--48
-
virtual, 9(3)157--167, 13(5)14--24, 14(4)111--112
-
virtually, 14(4)116--117, 14(7)76--85
-
virtue, 10(2)47--50
-
visibility, 5(1)18--27, 11(2)32--35, 14(4)122--125, 14(4)163--166
-
visible, 11(2)22--26, 11(2)32--35, 14(4)163--166
-
visits, 14(2)42--44
-
visual, 13(1)52--56, 14(3)281--283, 14(7)76--85
-
visualize, 11(2)32--35
-
visualized, 7(5)88--93
-
visualizing, 14(3)147--154
-
vital, 9(3)124--131
-
Vito, Ben, Di, 10(4)101--102
-
Vitter, Jeffrey Scott, 9(3)168--176
-
Vitter:1984:UNF, 9(3)168--176
-
Vleck, T. van, 14(5)62--63
-
VLSI, 7(5)2--2
-
VMash, 13(2)51--54, 13(4)74--78
-
VM/ISP, 13(4)74--78
-
VMS, 8(4)173--179
-
VM/SP, 13(2)51--54
-
vocabulary, 11(4)9--11
-
Vol, 11(2)49--52
-
volume, 7(2)41--60, 11(2)58--85
-
vonHenke:1985:RHS, 10(4)84--84
-
vonIssendorff:1989:ART, 14(3)52--55
-
voter, 12(1)29--34
-
voting, 13(3)21--21
-
vs, 7(2)25--26, 8(4)23--24, 9(1)43--49, 9(5)13--13, 13(2)21--21
-
Vulnerabilities, 6(1)6--8
-
V\&V, 12(2)37--37