Index file section E for complngs.bib
Last update: Thu Jun 20 02:00:37 MDT 2019
Return to index directory
E
-
eager, 17(2)133--146, 19(2)91--103
-
EAL-580, 10(3)179--187
-
Earley, J., 1(4)321--342
-
Earley:1975:HLI, 1(4)321--342
-
early, 3(2)127--133, 9(1)39--49, 17(1)1--17, 46(z)140--166
-
easytime, 37(4)151--167
-
Eckart, J. D., 12(3)163--171
-
Eckart:1987:OAL, 12(3)163--171
-
Edelson, Daniel, 13(2)51--64, 14(3)137--152
-
Edelson, Daniel, see Pohl, Ira
-
Edelson:1989:CSC, 14(3)137--152
-
edge, 5(2)115--129, 15(2)83--94
-
editing, 7(1)25--40, 8(3)139--159, 12(2)123--143
-
Edition, 25(2)116--117
-
editor, 8(3)139--159, 17(3)169--184, 20(3)151--175, 22(4)225--235,
27(1)1--2, 35(1)1--1
-
Editorial, 27(1)1--2, 28(2)z--z, 28(3)z--z, 28(4)z--z, 29(1)z--z,
29(3)z--z, 29(4)z--z, 30(1)1--3, 30(1)z--z, 30(3)z--z, 31(1)z--z,
31(2)z--z, 31(3)z--z, 35(4)z--z, 36(4)z--z, 44(0)141--142,
52(z)ii--ii, 53(z)ii--ii, 54(z)ii--ii
-
education, 21(3)191--200, 22(4)215--223
-
educational, 22(4)215--223
-
Edupuganty, Balanjaninath, 11(3)173--191
-
Edupuganty, Balanjaninath, see Bryant, Barrett R.
-
Edwards, 25(2)116--117
-
EE, 49(z)36--61
-
Eekelen, Marko van, 44(0)166--180
-
Eekelen, Marko van, see Smetsers, Sjaak
-
EF, 14(4)263--281
-
effect, 1(4)303--320, 6(2)67--78, 21(3)129--146
-
effect, cause-, 22(1)1--13
-
effect, Side-, 21(3)129--146
-
effected, side-, 15(1)55--64
-
effective, 3(2)95--113, 45(z)164--190, 47(z)62--76, 51(z)158--175
-
effectively, 18(4)251--271
-
effectiveness, 39(3)95--108
-
effects, side-, 21(3)129--146
-
efficiency, 7(2)53--59, 11(1)39--51, 15(2)109--125, 16(1)81--95,
21(1)17--37, 22(2)115--142
-
efficient, 10(3)211--224, 14(1)11--23, 15(3)127--140, 16(1)81--95,
17(4)241--250, 19(1)41--50, 20(4)253--265, 22(4)225--235,
23(2)87--120, 34(4)170--183, 35(2)196--215, 35(3)217--240,
46(z)91--105, 46(z)167--181
-
effort, 7(3)147--160, 9(3)133--148, 15(2)109--125
-
Eiffel, 18(3)169--183
-
either, 5(2)52--z
-
Eldin, S. A., Gamal-, 10(2)127--146
-
electronic, 16(3)209--233
-
element, 2(4)117--134, 3(1)1--11, 4(2)93--98, 15(1)55--64, 16(3)235--258,
22(1)39--47, 22(2)165--179, 22(2)181--192
-
eliminating, 35(4)341--364
-
elimination, 1(2)105--119, 3(3)163--179, 39(1)25--47
-
Ellmenreich, Nils, 33(3)134--167
-
Ellmenreich:2007:CSR, 33(3)134--167
-
embedded, 12(1)47--66, 15(3)153--162, 16(1)39--63, 17(1)19--37,
18(2)77--103, 22(2)181--192, 29(4)75--100, 31(3)127--141,
33(1)32--32, 34(4)153--169, 34(4)170--183, 35(2)196--215,
49(z)101--118
-
embedding, 12(3)197--207, 17(1)19--37, 41(z)1--20, 44(0)143--165
-
Emde Boas, Peter, van, 14(2)63--82
-
Emerald, 15(2)95--108
-
emphasis, 54(z)544--585
-
empirical, 2(3)47--59, 20(2)127--134, 46(z)1--19, 47(z)211--231
-
Employing, 30(3)99--137
-
enabled, QoS-, 37(1)2--23
-
encapsulation, 14(3)137--152, 20(2)117--126
-
enclosing, 8(1)1--14
-
encoding, 1(3)255--273, 22(1)27--38
-
end, 14(3)193--204, 54(z)337--357
-
end, back-, 14(3)193--204
-
enforcement, 46(z)20--43
-
engine, 12(2)109--121, 14(2)109--123, 20(2)101--116, 22(2)181--192
-
engineered, 10(1)23--36
-
engineering, 5(2)103--114, 8(3)139--159, 9(1)1--23, 9(1)39--49,
9(3)133--148, 9(3)203--208, 10(3)179--187, 13(3)109--123,
14(2)83--92, 14(3)165--180, 15(4)225--249, 15(4)251--265,
16(1)19--37, 16(1)39--63, 17(2)83--100, 17(3)199--211, 18(2)77--103,
18(3)153--168, 18(3)169--183, 20(2)117--126, 21(1)17--37,
21(1)39--48, 21(2)67--79, 21(2)81--100, 21(3)147--163, 22(1)39--47,
22(2)95--113, 22(4)193--203, 23(1)25--42, 23(1)43--58, 23(2)87--120,
24(1)1--32, 27(1)115--136, 43(z)139--155, 44(z)1--2, 46(z)206--235,
47(z)151--152, 49(z)174--175, 49(z)216--230, 50(z)140--141,
54(z)139--155, 54(z)297--315, 54(z)386--405, 54(z)472--473
-
English, 17(3)169--184
-
English, Michael, 38(4)300--319
-
English:2012:CSC, 38(4)300--319
-
enhancement, 6(3)139--153, 13(3)143--147, 32(4)185--202
-
Enhancement, Processing-, 13(3)143--147
-
entity, 4(3)139--154, 14(3)153--163
-
entity-relationship, 44(z)299--318, 45(z)299--318
-
Entity-Relationship, Extended-, 4(3)139--154
-
entry, 15(1)27--39, 15(2)83--94, 17(4)269--282, 22(4)225--235,
22(4)259--278
-
entry, Inter-, 17(4)269--282, 22(4)259--278
-
entry, inter-, 22(4)259--278
-
entry-single, 15(2)83--94
-
environment, 7(3)103--124, 8(3)95--111, 8(3)139--159, 9(1)39--49,
10(3)165--178, 14(1)1--9, 14(4)225--237, 16(1)19--37, 16(1)39--63,
16(3)197--207, 17(2)83--100, 17(3)199--211, 20(1)53--68,
21(1)39--48, 22(4)259--278, 33(2)60--78
-
environment-based, 17(4)241--250
-
environmental, 16(1)65--79, 18(3)153--168
-
environments, 4(3)187--198, 10(1)1--22, 11(1)15--28, 14(4)225--237,
16(1)19--37, 16(1)65--79, 16(1)97--107, 16(3)197--207,
17(4)213--239, 20(1)53--68, 20(3)151--175, 25(2)113--114,
28(2)181--201
-
ENVISAGER, 16(1)19--37
-
envisager, 16(1)19--37
-
epsilon, 14(1)25--33, 17(4)251--267
-
EQL, 4(1)17--27
-
equality, 1(3)219--232, 14(1)35--51
-
equation, 11(2)65--83, 12(1)1--7, 14(2)125--136, 22(2)165--179
-
equational, 14(2)63--82, 16(1)81--95
-
equational, Subset-, 17(2)133--146
-
equipment, 6(3)155--163, 9(1)39--49, 20(1)53--68, 20(3)135--150,
20(3)177--192
-
equivalence, 1(4)303--320, 9(2)71--87, 38(2)181--198
-
Erdweg, Sebastian, 44(z)24--47
-
Erdweg:2015:ECL, 44(z)24--47
-
Ergin, Huseyin, 46(z)106--139
-
Ergin:2016:DPO, 46(z)106--139
-
Erlich, Z., 2(4)135--148
-
Erlich, Z., see Berry, D. M.
-
Ernst, George W., 16(3)259--280
-
Ernst:1991:MVA, 16(3)259--280
-
error, 1(1)29--43, 2(3)93--111, 2(4)179--186, 3(4)227--240, 5(2)77--101,
5(3)131--139, 7(2)89--102, 9(1)51--67, 15(4)251--265, 17(2)83--100,
18(3)153--168, 19(2)65--78, 19(4)247--259, 20(2)69--87,
20(2)127--134, 20(4)239--252, 21(3)129--146, 21(3)147--163,
23(1)43--58, 24(2)73--98, 36(2)123--141
-
Es, Noah, Van, 49(z)62--81
-
escape, 42(z)2--21
-
Eskildsen, Toke, 31(3)127--141
-
Eskildsen, Toke, see Andersen, Jakob R.
-
estimate, 12(3)145--162
-
Etalle, Sandro, 26(1)1--25
-
Etalle, Sandro, see Bossi, Annalisa
-
EUCLID, 4(3)155--169
-
evaluating, 22(4)215--223, 23(1)43--58, 24(2)55--72, 44(z)24--47
-
evaluation, 4(2)99--129, 6(2)67--78, 6(3)115--130, 7(2)69--87,
7(3)161--170, 8(1)1--14, 12(3)145--162, 12(3)173--195, 13(1)13--22,
14(2)63--82, 14(3)181--191, 14(4)225--237, 17(2)133--146,
18(2)137--151, 18(4)217--239, 19(2)91--103, 19(3)205--211,
20(1)53--68, 20(2)101--116, 20(2)127--134, 20(4)239--252,
20(4)267--277, 21(2)113--127, 22(1)39--47, 22(2)143--163,
22(4)259--278, 23(2)121--160, 26(1)27--41, 26(1)43--66,
31(3)127--141, 35(2)173--195, 36(2)203--222, 37(2)63--75,
38(1)1--15, 40(3)99--111, 44(z)299--318, 45(z)299--318
-
evaluator, 14(4)225--237
-
event, 16(1)39--63, 16(2)113--127, 17(1)39--60, 35(1)80--98,
45(z)80--104
-
event-action, 20(1)1--23
-
Event-B-based, 54(z)297--315
-
event-based, 36(2)142--157
-
event-loop, 45(z)132--160
-
evolution, 22(2)181--192, 54(z)358--385
-
Evolutionary, 47(z)189--210
-
evolving, Co-, 32(2)140--156
-
Example, Query-By-, 9(1)25--37
-
exception, 2(3)75--91, 5(2)77--101, 7(2)89--102, 10(1)43--61,
15(3)163--176, 15(3)177--192, 15(4)251--265, 16(1)65--79,
17(2)83--100, 20(2)69--87, 22(4)193--203, 23(1)43--58,
34(4)170--183, 37(1)43--61, 44(z)283--298, 45(z)283--298
-
exception-handling, 8(3)125--137
-
exchange, 14(1)11--23
-
exchanging, 14(1)11--23
-
executable, 10(2)91--126, 11(1)15--28, 14(3)153--163, 14(3)165--180,
16(1)19--37, 16(1)39--63, 17(3)199--211, 18(4)251--271, 22(1)1--13,
26(2)165--195, 38(4)279--299, 46(z)66--90
-
execute, 1(1)45--60
-
executed, 18(1)1--15
-
execution, 1(1)17--28, 9(3)183--192, 12(2)95--108, 14(1)1--9,
14(4)263--281, 16(1)65--79, 18(1)17--30, 18(3)197--216, 19(1)41--50,
19(3)185--203, 19(4)235--245, 20(1)53--68, 20(4)253--265,
22(2)115--142, 22(2)143--163, 22(2)165--179, 22(2)181--192,
22(4)193--203, 23(2)87--120, 25(3)119--144, 36(2)158--202,
40(3)155--170, 43(z)116--138, 44(z)48--71, 53(z)121--142,
54(z)406--426
-
execution, pseudo-, 12(3)145--162
-
exercise, 17(1)39--60, 49(z)152--173
-
existing, 35(4)448--463, 44(z)24--47
-
exit, 15(2)83--94
-
expansion, 19(2)105--117
-
expecting, 20(2)69--87
-
experience, 9(1)39--49, 10(1)37--42, 16(3)209--233, 48(z)1--2
-
experiment, 20(3)177--192
-
experimental, 1(1)61--71, 22(1)39--47
-
expert, 14(2)63--82, 15(2)65--82, 51(z)102--117
-
explicit, 17(4)269--282
-
explicitly, 15(1)1--26
-
exploiting, 41(z)21--41
-
exploration, 51(z)48--70, 54(z)474--511
-
explorative, 47(z)189--210
-
export, 11(1)29--37, 21(2)113--127
-
exposed, Over-, 46(z)1--19
-
expression, 3(4)241--263, 4(3)131--137, 7(3)103--124, 8(1)1--14,
10(2)127--146, 12(2)123--143, 13(2)95--105, 14(3)153--163,
14(3)165--180, 15(3)127--140, 17(4)251--267, 18(4)241--250,
19(2)65--78, 20(4)267--277, 21(1)49--65, 21(2)113--127,
22(2)165--179, 24(1)33--53, 37(2)63--75, 37(2)76--111,
46(z)167--181, 51(z)48--70
-
Expressions, Lambda-, 3(4)241--263
-
expressions, lambda-, 17(4)251--267
-
expressiveness, 12(1)1--7, 22(2)165--179
-
extant, 20(1)53--68
-
extended, 4(3)139--154, 6(2)95--107, 9(1)39--49, 12(1)1--7, 14(2)63--82,
16(1)39--63, 16(3)259--280, 44(z)299--318, 45(z)299--318
-
Extended-Entity-Relationship, 4(3)139--154
-
Extender, 16(1)97--107
-
Extending, 1(1)29--43, 25(1)39--54, 33(1)11--31, 36(2)123--141
-
extensible, 15(1)1--26, 16(1)97--107, 41(z)1--20, 42(z)46--59,
52(z)1--20
-
extension, 1(1)29--43, 5(2)65--76, 11(1)29--37, 15(2)65--82,
16(1)97--107, 17(1)39--60, 22(4)193--203, 31(3)107--126,
36(3)268--287, 50(z)53--81
-
external, 46(z)206--235
-
Extracting, 21(1)39--48
-
extraction, 21(1)39--48