Index file section I for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
I
-
i-protocol, 4(4)505--528
-
IC3, 22(2)135--161
-
identification, 20(1)35--55
-
identify, 13(1)89--106
-
identities, 24(2)287--324
-
IEEE, 3(4)469--485, 5(2)221--236, 5(2)237--246, 12(1)39--51,
19(4)427--448
-
IEEE-1394, 2(1)68--88
-
\ifx \undefined \circled \def \circled #1{(#1)} \fi # \ifx \undefined \k \let \k = \c \fi # \ifx \undefined \mathsf \def \mathsf #1{{\sf #1}} \fi # \ifx \undefined \pkg \def \pkg #1{{{\tt #1}}} \fi # \ifx \undefined \reg \def \reg {\circled{R}} \fi},
0(0)0--0
-
Igna, Georgeta, 15(3)269--286
-
Igna, Georgeta, see Houben, Fred
-
ignorant, 17(3)291--303
-
ignoring, 12(2)155--170
-
II, 23(6)879--881
-
III, Justin E. Harlow, 3(2)193--206
-
Ilan, Omer, Bar-, 13(3)263--272
-
imaging, 22(2)195--217
-
impact, 8(4)321--335
-
imperfect, 21(4)449--469
-
implement, 5(2)237--246
-
implementation, 10(1)15--28, 10(4)359--370, 10(5)425--441,
11(2)153--171, 15(3)155--170, 18(6)607--628, 20(1)1--18,
21(1)87--104, 21(2)183--202
-
Implementation-level, 17(6)729--744
-
implementing, 3(4)417--430, 12(1)69--88
-
improve, 4(2)142--152
-
improved, 9(1)89--101, 12(6)467--481, 15(3)171--187
-
improvement, 6(4)277--301, 20(5)493--497
-
improving, 10(2)111--112, 10(2)167--184, 19(4)427--448, 19(4)449--464,
25(2)133--144
-
IMS, 10(4)359--370
-
Inci, Emin Oguz, 24(6)999--1024
-
Inci, Emin Oguz, see Hansen, Simon Thrane
-
Incompatibilities, 9(2)119--132
-
incomplete, 22(5)565--581
-
inconsistencies, 14(5)531--551
-
increase, 15(1)65--84
-
incremental, 9(1)25--36, 9(1)77--88, 17(3)339--349, 19(5)517--534,
23(3)289--311, 23(3)369--410
-
incrementalization, 4(2)211--223
-
independence, 20(4)441--465
-
independent, time-, 25(5)659--673
-
induction, 3(1)32--65, 19(1)97--114, 23(2)115--135, 24(5)843--888
-
Inductive, 8(4)359--371
-
Indus, 9(5)489--504
-
industrial, 3(1)66--77, 3(1)78--92, 7(3)195--196, 7(4)326--340,
8(6)531--545, 12(6)429--446, 15(1)53--63, 16(5)593--607,
18(3)335--353, 19(2)141--166, 19(3)309--324, 19(4)391--393,
22(4)365--388, 24(3)325--330, 24(6)973--976
-
industrialization, 8(4)301--302
-
industry, 16(5)609--625, 18(1)93--108
-
inequality, 13(6)585--601
-
inference, 13(6)585--601, 23(2)115--135
-
infinity, 25(2)185--204
-
influence, 2(2)168--181
-
informal, 7(3)197--211
-
information, 2(2)202--202, 8(3)180--194, 9(2)119--132, 9(2)193--207,
21(4)449--469, 23(3)335--368
-
infrastructure, 3(4)486--497, 24(3)331--350
-
Infusion, 5(4)308--319
-
Ingólfsdóttir, Anna, 23(4)601--614,
see Aceto, Luca
-
inheritance, 22(5)617--633
-
inhouse, 5(2)140--157
-
initialization, 6(3)245--255
-
injection, 24(2)127--158
-
inline, 17(3)291--303
-
Innovation, 16(3)269--283
-
Inoue, Hiroaki, 24(6)977--997
-
Inoue, Hiroaki, see Lourenço, Cláudio Belo
-
Inoue, Takeru, 18(1)57--66
-
Inoue:2016:GSL, 18(1)57--66
-
input--output, 23(1)1--29
-
instead, 11(1)69--83
-
instrumentation, 25(4)453--479
-
Instruments, 5(2)237--246
-
integer, 8(1)26--36, 18(4)359--374, 19(5)565--584
-
integrate, 18(6)581--586
-
integrated, 15(4)375--396, 16(3)269--283, 19(5)549--563, 20(4)423--440,
21(3)267--286, 23(5)825--825
-
Integrating, 1(1)31--48, 2(2)202--202, 20(5)499--514
-
integration, 1(1)9--30, 6(3)203--218, 6(3)219--230, 6(3)231--244,
7(3)197--211, 9(1)25--36, 9(1)53--62, 14(4)461--475, 19(5)605--621,
22(6)667--683, 24(2)261--285, 25(2)185--204
-
integration, tool-, 6(3)186--202
-
intelligent, 19(3)281--308
-
intensive, data-, 18(6)587--605
-
intensive, software-, 18(1)21--40
-
intensive, variability-, 21(6)635--649
-
intent-based, 17(2)201--221
-
Inter-ORB, 2(4)394--409
-
inter-process, 21(6)651--666
-
interacting, 1(1)49--63, 25(5)765--784
-
Interaction, 8(6)547--563
-
interactions, 11(3)239--253
-
interactive, 8(1)77--91, 20(2)119--123, 21(5)485--513, 24(3)493--510
-
interesting, 25(2)185--204
-
interface, 3(4)405--416, 7(4)341--350, 7(4)376--387, 8(4)411--430,
15(3)155--170, 24(2)225--245
-
interleaving, 23(6)847--851
-
interlocking, 16(6)685--711, 16(6)713--726
-
internal, KeY-, 25(2)185--204
-
international, 13(2)107--109, 17(5)555--557, 21(1)31--70, 23(4)545--546,
23(6)833--846, 25(3)329--339
-
interoperability, 7(4)316--325, 11(3)261--267, 16(3)295--313
-
interpolant, 24(1)111--125
-
interpretation, 8(1)57--76, 13(6)491--493, 15(4)287--289
-
interval-based, 13(5)449--461
-
interworking, 10(4)353--358
-
Intrigila, Benedetto, 6(4)320--341, 8(4)397--409
-
Intrigila, Benedetto, see Penna, Giuseppe Della
-
introducing, 17(1)1--16
-
introduction, 2(4)321--327, 6(2)99--101, 6(3)183--185, 8(6)605--606,
9(2)133--134, 9(5)415--416, 10(3)205--206, 10(4)281--283,
10(4)285--289, 11(3)173--174, 12(3)245--261, 13(2)107--109,
14(3)243--247, 15(1)1--8, 15(5)397--411, 21(3)247--248,
22(2)103--104, 22(3)249--255, 22(5)563--564, 23(4)545--546,
25(1)75--76, 25(4)427--429, 25(4)519--520
-
Introductory, 5(1)1--3, 5(2)105--106, 5(4)299--300, 6(4)257--259,
7(1)1--3, 7(2)87--88, 7(3)195--196, 7(4)293--296, 8(4)355--358
-
intrusion, 13(1)89--106, 22(5)523--539
-
Intuition, 25(3)241--247
-
invariant, 6(1)15--37, 23(2)115--135, 24(4)613--633, 24(5)843--888
-
Invasive, 9(2)135--154
-
Inverso, Omar, 25(5)675--691
-
Inverso, Omar, see De Nicola, Rocco
-
investigate, 25(5)693--705
-
invisible, 8(3)261--279
-
involving, 17(4)485--504
-
IOA, 11(2)153--171
-
IOCO, 14(4)387--405
-
Ionescu, Cezar, 17(1)91--105
-
Ionescu, Cezar, see Lincke, Daniel
-
Iosif, Radu, 6(4)302--319, 19(5)565--584
-
Iosif, Radu, see Ganty, Pierre
-
Iosif:2004:SRM, 6(4)302--319
-
IoT, 23(1)71--88, 23(1)105--114, 23(5)765--781
-
Iovino, Ludovico, 25(1)49--74
-
Iovino, Ludovico, see De Sanctis, Martina
-
Irron, Amitai, 4(3)335--348
-
Irron, Amitai, see Copty, Fady
-
Isberner, Malte, 16(5)457--464, 16(5)465--479, 16(5)531--542,
16(5)543--558
-
Isberner, Malte, see Bauer, Oliver,
see Howar, Falk, \see{Steffen, Bernhard
-
ISDN, 10(4)353--358
-
Ishii, Daisuke, 13(5)449--461
-
Ishii, Yoshinao, 18(1)109--120
-
Ishii, Yoshinao, see Kutsuna, Takuro
-
Ishii:2011:IBS, 13(5)449--461
-
Ismail, Hussama I., 19(1)97--114
-
Ismail, Hussama I., see Gadelha, Mikhail Y. R.
-
isolation, 13(6)495--518, 15(3)189--209
-
Ison, Jon, 18(6)581--586
-
Ison, Jon, see Ménager, Hervé
-
issue, 2(4)343--349, 4(4)397--400, 7(1)4--18, 15(4)337--362,
18(4)355--357, 19(4)391--393, 22(2)103--104, 22(5)563--564,
23(4)545--546, 24(1)29--31, 24(4)611--612, 24(5)663--665,
25(1)75--76, 25(2)129--131, 25(4)427--429, 25(4)519--520
-
ISUPash, SIP-, 10(4)353--358
-
iterations, 8(1)4--25
-
Iterative, 13(3)223--246
-
iUML-B, 22(3)297--313
-
IVE, 12(6)429--446
-
Iwashita, Hiroaki, 18(1)57--66
-
Iwashita, Hiroaki, see Inoue, Takeru
-
Iyer, S. Purushothaman, 5(4)299--300, 5(4)320--330
-
Iyer, S. Purushothaman, see Jetley, Raoul Praful
-
Iyer:2004:IP, 5(4)299--300