Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
U
-
Ubayashi, Naoyasu, 78(12)2331--2346
-
Ubayashi:2013:CDP, 78(12)2331--2346
-
ubiquitous, 78(10)1892--1894, 78(10)1895--1911, 78(10)1912--1929,
78(10)2009--2025
-
ubiquity, 78(10)1971--1986
-
UCAmI, 78(10)1892--1894
-
UCL, 33(2)217--219
-
Udding, Jan Tijmen, 12(2)151--155, 15(1)1--13
-
Udding, Jan Tijmen, see Chen, Wei,
see Gries, David
-
Udink, R. T., 31(2)313--334
-
Udink, R. T., see Goeman, H. J. M.
-
Udzir, Nur Izura, 64(2)205--222
-
Udzir:2007:CM, 64(2)205--222
-
Ueda, Yuki, 223(z)z--99999999
-
Ueda:2022:DLG, 223(z)z--99999999
-
Ugliara, Fellipe A., 200(z)z--99999999
-
Ugliara:2020:TRU, 200(z)z--99999999
-
Uhrig, Sabrina, 113(z)51--81
-
Uhrig, Sabrina, see Schwägerl, Felix
-
UI, 86(z)43--57
-
UIDL, 86(z)1--2
-
Ujhelyi, Zoltán, 98(z)80--99
-
Ujhelyi:2015:EII, 98(z)80--99
-
UK, 13(1)119--122, 13(1)125--127, 13(1)127--128, 13(1)128--130
-
Ulidowski, Irek, 151(z)18--47, 223(z)z--99999999
-
Ulidowski, Irek, see Hoey, James,
see Kuhn, Stefan
-
Ulm, 216(z)z--99999999
-
Ultes-Nitsche, Ulrich, 65(1)1--3
-
Ultes-Nitsche, Ulrich, see Barjis, Joseph
-
UML, 44(1)71--100, 44(1)101--129, 44(2)229--252, 53(3)409--434,
55(1)81--115, 55(1)117--159, 57(1)89--108, 65(3)249--274,
69(1)27--34, 73(1)3--12, 74(1)34--42, 111(z)277--299,
197(z)z--99999999, 228(z)z--99999999, 231(z)z--99999999,
234(z)z--99999999
-
UML, PRIMA-, 44(1)101--129
-
UML-B, 111(z)318--338
-
UML-based, 69(1)27--34, 75(8)726--760
-
UML-RT, 65(1)41--56
-
Umphress, David A., 60(2)121--133
-
Umphress:2006:SVI, 60(2)121--133
-
Umple, 208(z)z--99999999
-
unambiguous, one-, 193(z)z--99999999
-
unbounded, 26(1)255--272, 65(2)159--172, 158(z)41--63
-
uncaught, 31(1)147--173
-
uncertainty, 166(z)71--88, 167(z)51--69, 230(z)z--99999999
-
Uncovering, 33(2)101--131
-
under-approximation, 132(z)190--208
-
under-approximations, 93(z)154--182
-
underapproximating, 64(1)29--53
-
underlying, 26(1)15--31, 72(3)71--135
-
underpinnings, 67(2)301--329
-
understand, 36(2)183--207
-
understandable, 12(1)1--38
-
understanding, 11(2)180--184, 36(2)183--207, 97(z)11--16, 97(z)69--74,
97(z)82--85, 97(z)86--90, 97(z)113--121, 97(z)122--126, 178(z)1--19,
199(z)z--99999999
-
undertook, 4(1)45--86
-
Undulant-block, 33(1)29--85
-
unfoldash, 231(z)z--99999999
-
unfolding, 16(2)151--195, 23(0)107--311, 23(2)151--195
-
unfolds, 78(11)2108--2159
-
Ung, David, 60(2)189--204
-
Ung:2006:DBT, 60(2)189--204
-
Ungar, 11(1)94--95
-
Ungar, Dave, 70(2)127--148
-
Ungar, Dave, see Mathiske, Bernd
-
unidirectional, 29(1)171--197
-
unification, 1(1)5--48, 5(2)143--169, 27(1)37--83, 33(3)261--298
-
unified, 111(z)110--134, 152(z)70--98, 207(z)z--99999999
-
uniform, 34(3)163--190, 78(9)1490--1520, 98(z)339--359, 111(z)214--247,
226(z)z--99999999
-
unify, 85(z)102--114, 87(z)62--94
-
unifying, 18(2)221--222, 76(12)1247--1260, 78(11)2086--2107,
101(z)99--123, 172(z)27--47, 197(z)z--99999999
-
uninterpreted, 234(z)z--99999999
-
Unique, 41(3)241--275
-
unit, 78(12)2360--2380, 105(z)44--72, 135(z)75--87
-
United, 10(1)90--92, 10(2)217--217, 12(1)84--84, 12(1)85--87,
12(1)87--88, 12(1)88--90, 12(2)157--158, 12(2)158--164,
12(2)164--165, 12(2)165--167, 12(2)168--170, 12(2)170--172,
12(2)172--173, 12(2)174--175, 12(3)255--257, 12(3)257--259,
12(3)259--260, 12(3)264--265, 12(3)265--266, 12(3)267--270,
14(1)103--105, 14(1)105--106, 14(1)106--109, 14(1)109--110,
14(1)110--110, 14(1)110--112, 15(1)95--97, 15(1)97--97,
15(1)100--111, 15(1)111--112, 16(1)89--90, 16(1)90--90, 16(1)91--92,
16(1)92--93, 16(1)93--95, 16(2)198--200, 16(2)200--201,
16(2)202--203, 18(2)205--207, 18(2)209--213, 18(2)221--222
-
Units, 78(5)458--480
-
UNITY, 23(2)107--125
-
unity, 23(2)107--125
-
universal, 13(2)219--236, 43(2)193--229, 172(z)48--62
-
Universität, 1(1)149--155
-
University, 3(3)223--278, 10(1)95--97, 11(1)91--94, 11(1)98--99,
11(2)178--180, 11(2)180--184, 12(1)83--84, 12(2)174--175,
14(1)110--110, 15(1)100--111, 16(1)89--90, 16(2)202--203,
18(2)207--209, 18(2)221--222, 24(1)100--102, 24(2)185--186,
24(2)186--187, 33(1)97--99, 33(2)215--216, 34(1)75--77,
34(2)159--161, 38(1)151--153, 38(1)155--157
-
UNIX, 12(1)1--38
-
unobtrusive, 78(10)1987--2008
-
unparsed, 75(3)85--105
-
unreachability, 95(z)359--375
-
unrealizable, 77(7)908--939
-
Unrestricted, 78(5)481--498
-
unsatisfiable, 77(7)908--939
-
unsorted, 158(z)3--20
-
untag, 22(3)197--230
-
Unterholzner, Martin, 96(z)70--83
-
Unterholzner:2014:IRT, 96(z)70--83
-
untyped, 35(2)223--248
-
up, Bottom-, 13(1)51--72
-
up, bottom-, 19(3)281--313
-
up-down, 27(2)185--204
-
update, 11(1)1--15, 67(2)199--222, 97(z)69--74, 212(z)z--99999999,
230(z)z--99999999
-
upgrades, 186(z)z--99999999
-
UPPAAL, 111(z)277--299
-
Uppaal, 230(z)z--99999999
-
Upper/lower, 111(z)483--504
-
upravel, 18(3)281--292
-
urban, 168(z)142--164, 190(z)z--99999999
-
Urma, Raoul-Gabriel, 97(z)127--134
-
Urma:2015:SCQ, 97(z)127--134
-
Urretavizcaya, Maite, 78(11)2268--2281
-
Urretavizcaya, Maite, see Losada, Begoña
-
Urtado, Christelle, 127(z)24--49
-
Urtado, Christelle, see Mokni, Abderrahman
-
USA, 4(1)96--97, 13(1)131--132
-
usability, 78(11)2245--2258, 86(z)74--88, 234(z)z--99999999
-
usage, 97(z)127--134, 105(z)73--91, 111(z)395--425, 132(z)173--189,
133(z)20--50, 135(z)45--74, 207(z)z--99999999
-
Usaola, Macario Polo, 78(4)364--387
-
Usaola, Macario Polo, see Mateo, Pedro Reales
-
Usbeck, Kyle, 78(6)633--656
-
Usbeck, Kyle, see Viroli, Mirko
-
USE, 69(1)27--34
-
use, 2(1)53--68, 4(1)45--86, 14(1)106--109, 22(3)307--326, 24(2)105--128,
33(2)163--212, 62(2)98--121, 66(1)25--43, 93(z)65--85,
132(z)173--189, 135(z)88--104, 198(z)z--99999999,
201(z)z--99999999, 204(z)z--99999999
-
use-case, 56(1)5--21, 98(z)268--292
-
useful, 6(2)135--158
-
Usenko, Yaroslav S., 43(1)1--33
-
Usenko:2002:SSG, 43(1)1--33
-
user, 16(1)90--90, 18(2)218--221, 21(2)93--113, 26(1)237--254,
74(9)754--776, 78(10)1930--1950, 78(10)1987--2008,
78(11)2268--2281, 86(z)1--2, 86(z)3--29, 86(z)30--42, 86(z)58--73,
86(z)89--102, 88(z)92--109, 89(z)71--87, 96(z)34--51, 152(z)1--37,
172(z)63--101, 172(z)232--263, 226(z)z--99999999,
227(z)z--99999999
-
user, End-, 140(z)2--16, 200(z)z--99999999
-
user, end-, 134(z)47--60
-
user, single-, 94(z)53--66
-
user-centered, 234(z)z--99999999
-
user-controlled, 45(2)175--191
-
user-defined, 77(9)1006--1036, 148(z)189--212
-
User-driven, 215(z)z--99999999
-
User-guided, 78(10)1971--1986
-
UsiXML, 78(11)2259--2267, 86(z)43--57
-
Usmani, Shazia, 224(z)z--99999999
-
Usmani, Shazia, see Afzal, Uzma
-
usual, 132(z)29--49
-
UTP, 77(4)444--479, 197(z)z--99999999
-
Uustalu, Tarmo, 74(8)497--497
-
Uustalu:2009:P, 74(8)497--497
-
Uwimbabazi, Aline, 223(z)z--99999999
-
Uwimbabazi, Aline, see De Nicola, Rocco