Index file section F for sigada.bib
Last update: Thu Jun 29 04:02:20 MDT 2023
Return to index directory
F
-
F-16, 17(5)77--82
-
F-22, 31(3)69--74
-
F-35, 31(3)69--74
-
F.1.2, 9(2)118--128
-
F.2, 9(5)83--83
-
F.2.1, 8(5)71--74, 8(5)87--91
-
F.2.2, 8(2)77--83, 8(3)87--97, 8(7)12--19, 8(7)32--34
-
F.3.1, 7(6)107--109
-
F.4.1, 5(3)76--83
-
FAA, 21(4)31--38, 23(1)40--43, 26(2)12--22, 26(3)71--74, 27(3)69--70,
28(1)24--30, 30(3)33--34, 32(3)71--72, 34(3)29--38, 36(2)54--57,
40(2)70--72, 42(2)89--91
-
FAA-certified, 23(1)40--43
-
FAA-qualifiable, 23(1)40--43
-
Faasch, M., 2(4)92--96
-
Faasch:1983:AMN, 2(4)92--96
-
FACE, 36(2)22--26
-
face, 34(3)17--18
-
faced, 27(3)5--6, 34(3)105--106
-
faceted, 15(2)54--58
-
FACETM, 36(2)22--26
-
facilitate, 27(2)37--40, 27(2)75--81, 29(3)85--86, 33(1)32--44,
33(2)14--32, 33(3)43--46, 34(3)87--96, 36(2)22--26, 39(1)101--108,
39(2)41--48, 41(2)81--85, 42(2)62--68
-
facilitating, 27(3)69--70, 30(1)135--146, 39(2)25--28
-
facility, 0(0)16--23, 7(1)49--58, 9(6)67--79, 9(6)80--89, 10(1)122--130,
10(9)46--49, 11(6)64--65, 11(6)66--68, 11(6)z--z, 11(7)244--273,
12(1)53--64, 12(4)36--41, 12(6)81--87, 17(5)40--44, 23(1)11--11,
25(4)69--78, 27(2)23--28, 27(2)75--81, 27(3)59--62, 27(3)100--100,
29(2)40--42, 29(3)17--18, 29(3)115--118, 31(2)33--35, 31(2)44--47,
31(2)48--51, 31(2)56--58, 31(3)47--60, 33(1)9--14, 33(1)15--23,
35(1)26--31
-
facing, 27(3)5--6
-
fact, 11(7)244--273, 13(3)88--90, 29(2)53--55, 34(3)47--60
-
facto, 17(5)27--32
-
facto, de-, 15(4)36--45
-
factor, 0(0)156--171, 0(0)336, 4(5)90--96, 5(1)61--70, 7(1)82--88,
7(5)34--39, 9(5)115--122, 17(3)67--86, 17(4)59--65, 27(3)99--99,
38(1)19--28, 42(1)86--89
-
factored, 14(z)26--35
-
factorial, 15(6)70--72
-
factoring, 26(2)12--22
-
factorization, 16(4)57--72
-
factory, 0(0)116--125, 28(1)48--51
-
Facts, 7(4)85--87, 10(1)104--110
-
Fagin, Barry, 20(3)20--40, 20(3)32--40
-
Fagin, Barry S., 21(4)73--78, 24(1)68--70
-
Fagin, Barry S., see Sward, Ricky E.
-
Fagin:2000:AIL, 20(3)20--40
-
Fagin:2000:AMU, 20(3)32--40
-
Fagin:2001:TCS, 21(4)73--78
-
fail, 27(2)18--22, 31(3)81--90, 32(3)7--8, 34(3)13--16
-
failed, 23(1)11--11
-
failover, 29(3)115--118
-
FAILURE, 8(7)57--60
-
failure, 8(7)123--126, 9(6)90--96, 10(9)111--117, 13(2)44--53,
13(5)32--42, 17(5)33--34, 26(3)51--60, 27(3)2--2, 29(2)20--27,
31(2)9--14, 31(3)27--34, 31(3)39--46, 32(3)7--8, 33(3)9--10,
33(3)43--46, 33(3)65--84, 36(2)39--46, 36(2)54--57, 42(2)89--91
-
fair, 26(2)23--37
-
Fairleigh Dickinson University, Teaneck, NJ, 14(2)24--49
-
Fairley, Richard E., 0(0)16--25
-
Fairley:1980:ADT, 0(0)16--25
-
fairness, 9(2)90--101
-
Falcone, Marco, 11(2)107--114
-
Falcone:1991:ACE, 11(2)107--114
-
Falis, Ed, 0(0)1--9
-
Falis:1982:DIA, 0(0)1--9
-
fall, 8(4)35--46, 30(3)71--74
-
Falquet, G., 4(6)44--48
-
Falquet:1985:STL, 4(6)44--48
-
false, 33(3)9--10, 40(1)91--96
-
familiar, 12(6)75--80, 17(3)57--66, 29(1)54--56
-
familiarity, 27(3)2--2, 29(3)1--2, 29(3)3--4, 29(3)5--6, 31(3)9--10,
33(3)1--2
-
family, 7(1)97--104, 23(1)22--26, 26(2)23--37
-
Fantechi, A., 0(0)48--56, 4(2)35--43
-
Fantechi:1982:PAP, 0(0)48--56
-
Fantechi:1984:IRE, 4(2)35--43
-
far, 0(0)90--101, 29(3)9--10, 29(3)119--120, 31(3)81--90, 34(3)61--68,
34(3)97--102
-
Farkas, E., 1(4)24--26
-
Farkas:1982:ABA, 1(4)24--26
-
fascinating, 11(2)60--71
-
fashionable, 27(3)100--100
-
Faßbender, Heinz, 19(3)83--88, 21(4)53--60,
see Bühler, Gerhard
-
Fassbender:2001:RAP, 21(4)53--60
-
fast, 0(0)164--169, 14(z)3--15, 17(1)41--53, 18(5)57--66, 29(3)115--118,
31(3)35--36, 40(1)91--96
-
faster, 8(3)87--97, 17(1)41--53
-
fault, 0(0)21--30, 8(7)118--122, 8(7)123--126, 9(5)54--59, 9(6)67--79,
10(6)110--113, 10(9)111--117, 17(5)8--10, 17(5)18--23, 17(5)33--34,
17(5)71--76, 17(5)106--110, 17(5)z--z, 18(6)45--51, 18(6)52--60,
19(2)10--11, 19(2)33--40, 22(4)123--124, 26(2)12--22, 26(3)51--60,
29(3)115--118, 30(3)53--62, 32(3)63--70, 33(3)43--46, 33(3)65--84,
34(3)17--18, 36(2)39--46, 42(2)89--91
-
Fault-tolerance, 4(5)105--110, 4(6)60--72
-
Fault-Tolerant, 4(3)53--64, 7(6)61--63
-
fault-tolerant, 8(7)113--117, 22(4)47--52, 29(3)7--8, 29(3)115--118,
33(1)15--23, 33(1)84--92
-
FaultTolerant, 26(3)51--60
-
faulty, 36(2)58--59
-
Faura, David, 40(1)85--90
-
Faura, David, see Nogueira, Luis
-
Favaro, John, 11(3)115--124
-
Favaro:1991:WPR, 11(3)115--124
-
favorite, 17(3)30--35
-
FC, Pascal-, 12(6)59--74
-
FC, Pascal-, 12(6)59--74
-
FDD, 0(0)62--76, 17(3)67--86
-
FDU:1994:RSC, 14(2)24--49
-
fear, 33(1)15--23
-
Feasability, 7(5)42--50
-
feasibility, 0(0)1--9, 27(3)8--8, 27(3)89--96, 31(3)61--68
-
feasible, 13(1)63--75, 27(2)75--81, 32(3)97--102, 38(1)41--54,
38(1)74--76
-
feather, Birds-of-a-, 27(3)97--98
-
Feb, 0(0)336
-
February, 0(0)336
-
federal, 12(3)92--98, 14(4)76--80, 26(2)12--22, 26(3)71--74, 27(3)69--70,
28(1)24--30, 28(1)83--87, 32(3)71--72, 36(2)54--57, 40(2)70--72
-
feedback, 31(3)11--12, 32(3)3--4
-
feeds, 39(2)29--34
-
feet, 27(3)69--70
-
Feiler, Peter, 36(2)39--46, 39(1)63--70
-
Feiler, Peter, see Procter, Sam
-
Feiler, Peter H., 34(3)17--18, 36(2)31--38
-
Feiler, Peter H., see McGregor, John D.
-
Feiler:2014:AMB, 34(3)17--18
-
Feiler:2016:AFT, 36(2)39--46
-
Feldman, Michael, 31(3)9--10
-
Feldman, Michael B., 17(3)17--29, 18(6)68--74, 18(6)246--254, 29(3)1--2
-
Feldman, Michael B., see Jarc, Duane J.,
see Kaisler, Stephen H.,
see Kann, Charles W.
-
Feldman:2009:IA, 29(3)1--2
-
Feldman:2011:IA, 31(3)9--10
-
Feller, Peter H., 6(2)83--83
-
Feller:1986:SE, 6(2)83--83
-
FEP, 23(1)11--11
-
Fernandez, J., Garcia, 17(5)57--64
-
Fernández, J. García, 17(5)57--64,
see Harbour, M. González
-
Fernandez, John D., 2(5)76--84
-
Fernandez, José L., 17(2)29--54
-
Fernández, Ramón, 21(1)85--90,
see Puente, Juan A. de la
-
Fernandez, Sylvester, 10(9)85--93
-
Fernandez, Sylvester, see Cross, Joe
-
Fernández-Marina, Ramón, 21(3)76--79, 29(1)51--52, 29(1)66--68,
see Ruiz, José
-
Fernandez-Marina:2009:GACa, 29(1)51--52
-
Fernandez-Marina:2009:GACb, 29(1)66--68
-
Fernandez:1983:EMM, 2(5)76--84
-
Fernandez:1997:TCM, 17(2)29--54
-
Ferreira, Luis, 21(1)79--84
-
Ferreira, Luis, see Pinho, Luís Miguel
-
few, 9(7)114--128, 17(2)67--81, 17(3)67--86, 26(3)61--70, 27(3)59--62,
29(2)37--39, 31(3)13--14, 33(3)13--14, 33(3)85--86, 35(2)14--14
-
fewer, 40(2)48--50
-
FHA, 33(3)65--84
-
fiction, 29(3)19--20
-
field, 26(3)9--14, 29(1)19--22, 29(3)11--12, 29(3)21--22, 32(3)15--22,
33(1)128--133, 36(2)58--59, 39(2)35--40, 41(1)69--73, 42(2)75--78
-
field-of-view, 29(3)121--126
-
fielded, 27(3)69--70
-
FIFO, 1(4)32--33, 10(7)55--62, 14(3)105--112, 26(2)48--59, 38(1)41--54,
38(1)74--76
-
FIFO_In_Priorities, 26(1)64--65
-
FIFO_Within_Priorities, 26(1)64--65
-
fifth, 11(6)z--z, 29(1)65--65
-
Fifty, 23(1)11--11
-
Fighter, 31(3)69--74, 31(3)81--90
-
figure, 7(4)85--87
-
figure, Con-, 37(1)50--53
-
FILE, 10(1)111--117
-
file, 4(4)27--31, 6(2)29--40, 6(3)31--42, 9(7)114--128, 10(1)111--117,
10(9)17--28, 17(2)63--66, 17(3)57--66, 17(5)57--64, 17(6)32--38,
17(6)47--64, 17(6)70--77, 17(6)78--90, 27(2)90--95, 37(2)13--17,
37(2)18--22
-
file-, 16(4)57--72
-
files, 10(1)111--117, 13(5)43--47, 18(6)104--113, 23(1)22--26,
29(2)56--60, 29(2)68--70, 30(2)19--24, 32(2)43--44, 37(2)13--17,
37(2)18--22
-
Filipski, Gary L., 0(0)176--182
-
Filipski:1980:AST, 0(0)176--182
-
filter, 10(1)131--139
-
Filtering, 0(0)11--20
-
final, 10(6)97--109, 15(1)70--82, 17(3)3--16, 17(3)17--29, 17(3)67--86,
27(2)96--97, 29(1)69--69, 30(2)53--66, 36(2)60--68, 37(2)32--33,
40(1)74--78
-
finalisation, 12(1)53--64
-
finalization, 19(4)24--31
-
finalized, 26(3)9--14
-
finally, 17(3)3--16, 27(3)8--8, 29(3)19--20, 32(3)11--12, 32(3)43--50,
33(1)157--168, 33(3)11--12, 34(3)13--16, 36(2)22--26, 36(2)60--68,
38(1)19--28, 39(2)25--28
-
financial, 0(0)24--39, 20(1)67--80, 27(3)99--99
-
find, 0(0)xvi--431, 28(1)38--40, 36(2)31--38, 37(2)13--17, 40(1)60--63
-
finding, 17(3)67--86, 28(1)76--82, 29(3)79--84, 30(1)125--134,
34(3)105--106, 42(2)32--39
-
finding, bug-, 31(3)47--60
-
fine, 13(1)63--75, 33(2)9--13
-
fine-grain, 40(2)96--102
-
Fine-Grained, 35(1)46--58, 42(1)105--105
-
fine-grained, 33(1)45--52, 33(3)23--36, 34(3)103--104, 35(1)46--58,
35(1)97--101, 36(1)9--24, 38(1)14--18
-
fine-tuned, 17(5)71--76
-
finish, 31(3)11--12, 33(2)75--86
-
finite, 33(3)9--10
-
Fire, 14(6)62--72, 27(3)79--82
-
fires, 32(3)63--70
-
Firesmith, D. G., 10(6)114--128
-
Firesmith, Donald, 11(9)56--66, 11(9)100--115
-
Firesmith, Donald G., 6(2)59--59, 6(5)29--33, 7(5)104--104,
8(5)110--112
-
Firesmith:1986:RAR, 6(5)29--33
-
Firesmith:1986:SCL, 6(2)59--59
-
Firesmith:1987:TIP, 7(5)104--104
-
Firesmith:1988:MAO, 8(5)110--112
-
Firesmith:1990:OAB, 10(6)114--128
-
Firesmith:1991:OOG, 11(9)100--115
-
Firesmith:1991:SAO, 11(9)56--66
-
firmly, 29(3)21--22
-
first, 0(0)xvi--431, 0(0)16--23, 0(0)62--76, 0(0)156--171, 5(1)79--88,
5(3)100--100, 9(5)60--82, 12(2)57--61, 13(2)44--53, 17(3)17--29,
23(1)11--11, 23(1)12--21, 26(2)12--22, 26(2)23--37, 26(2)60--68,
27(2)18--22, 27(3)1--1, 27(3)2--2, 27(3)8--8, 27(3)11--26,
27(3)63--68, 27(3)99--99, 28(1)92--95, 29(1)50--50, 29(2)43--45,
29(2)46--49, 29(3)19--20, 29(3)23--30, 29(3)85--86, 30(1)135--146,
31(2)36--39, 31(2)40--43, 31(2)44--47, 31(2)48--51, 31(3)3--4,
32(3)11--12, 32(3)15--22, 33(1)32--44, 33(1)157--168, 33(2)49--58,
33(3)11--12, 33(3)21--22, 34(3)1--2, 34(3)81--86, 36(1)35--38,
36(1)83--90, 36(2)9--17, 36(2)39--46, 36(2)58--59, 37(2)27--29,
37(2)43--50, 39(2)25--28, 41(1)87--91, 42(1)46--49, 42(1)68--75
-
First-Class, 21(3)35--40
-
first-order, 34(3)47--60
-
firstly, 27(3)8--8
-
Firth, J. R., 7(4)85--87
-
Firth, J. R., see Wand, I. C.
-
Firth, Robert, 7(6)24--26, 9(7)91--101, 10(6)68--83
-
Firth, Robert, see Van Scoy, Roger
-
Firth:1987:PAA, 7(6)24--26
-
Fischer, Herman, 2(6)45--50
-
Fischer:1983:STI, 2(6)45--50
-
Fisher, 5(2)1--13, 5(2)14--24, 5(2)25--40, 5(2)41--57, 5(2)58--71,
5(2)72--84, 5(2)85--96, 5(2)97--108, 5(2)109--123, 5(2)124--135,
5(2)136--150, 5(2)151--163, 5(2)164--172, 5(2)173--184,
5(2)185--196, 5(2)197--209, 5(2)210--216, 5(2)217--228,
5(2)229--240, 5(2)241--254, 5(2)255--274, 5(2)275--284,
5(2)285--296, 5(2)297--308, 5(2)309--320, 5(2)321--328,
5(2)329--342, 5(2)343--354, 5(2)355--366
-
Fisher, Dave, 4(5)90--96
-
Fisher, Dave, see Braesicke, Carl
-
Fisher, David A., 11(3)83--90
-
Fisher, David A., see Mundie, David A.
-
Fisher, G. A., 0(0)107--111
-
Fisher, G. A., see Schonberg, E.
-
Fisher, Gerald, 2(2)34--45
-
Fisher, Gerald, see Charles, Philippe
-
Fisher, Gerry, 3(4)37--50, 3(6)30--47
-
Fisher, Jr., Gerald A., 0(0)194--201, 5(2)151--163
-
Fisher, Jr., Gerald A., see Bassman, Mitchell J.,
see Dewar, Robert B. K.
-
Fisher, Kathleen, 32(3)51--52
-
Fisher:1984:LGA, 3(4)37--50
-
Fisher:1984:UAP, 3(6)30--47, 35(2)14--14
-
Fisher:2012:HHA, 32(3)51--52
-
Fisher83, 13(5)32--42
-
fit, 0(0)62--76, 17(1)54--68, 23(1)44--44, 29(3)31--44, 30(1)45--55,
34(3)13--16, 37(2)40--42
-
fitness, 23(1)45--52
-
fitting, 11(2)60--71
-
five, 32(3)15--22
-
fixed, 17(5)18--23, 27(3)8--8, 33(1)32--44, 33(3)37--40
-
Fixed-point, 7(1)71--81
-
fixed-priority, 17(5)18--23
-
fixing, 10(4)136--143, 21(4)97--98
-
flags, 28(1)76--82, 32(3)97--102
-
flaw, 9(2)72--77, 27(2)18--22, 29(3)119--120
-
Fleck, Thomas J., 6(6)54--60
-
Fleck:1986:SAM, 6(6)54--60
-
Fleener, Nathan, 18(6)81--88
-
Fleener:1998:RLE, 18(6)81--88
-
fleet, 32(3)63--70
-
Fleming, Cody Harrison, 32(3)7--8
-
Fleming, Cody Harrison, see Leveson, Nancy
-
flexibility, 8(7)32--34, 8(7)123--126, 12(2)43--56, 12(2)57--61,
12(6)75--80, 29(1)66--68, 29(3)21--22, 30(1)135--146
-
flexible, 0(0)62--71, 5(2)197--209, 10(9)39--45, 10(9)103--110,
12(2)43--56, 17(5)24--26, 23(4)32--35, 24(4)1--8, 26(3)21--28,
29(3)73--78, 30(1)135--146
-
flight, 0(0)1--9, 0(0)62--76, 13(4)77--86, 15(4)17--18, 16(6)55--72,
17(3)67--86, 17(5)93--99, 18(6)140--141, 18(6)165--174, 23(1)40--43,
26(3)45--50, 31(3)69--74, 34(3)97--102, 36(2)18--21, 42(2)89--91
-
Flint, Shayne, 18(6)193--203
-
Flint:1998:UJA, 18(6)193--203
-
flirted, 27(3)100--100
-
floating, 7(3)73--83, 7(5)63--78, 11(7)244--273, 16(3)56--69
-
floating-point, 10(4)159--165, 27(3)27--40
-
Floor, 33(2)49--58, 35(1)9--16, 36(1)29--34, 36(1)91--93, 38(1)70--73
-
flop, 19(4)32--36
-
flourish, 17(3)30--35
-
flourished, 17(3)67--86
-
flow, 8(7)50--56, 10(7)85--90, 11(2)115--127, 14(z)36--53, 24(1)29--37,
24(4)39--46, 29(3)9--10, 29(3)23--30, 32(3)81--94, 33(1)53--63,
33(3)41--42, 33(3)51--64
-
flowcharting, 9(6)108--118, 15(4)36--45
-
flowcharts, 11(5)30--46
-
Floyd, 32(3)9--10
-
Floyd-Hoare, 34(3)71--80
-
flushing, 26(3)9--14
-
fly, 19(3)169--179, 29(3)5--6
-
fly, on-the-, 33(3)21--22
-
flying, 27(3)69--70
-
Flynn, Susan, 7(7)55--76
-
Flynn:1987:ETA, 7(7)55--76
-
FM2006, 34(3)47--60
-
FMEA, 33(3)65--84
-
focus, 0(0)10--15, 0(0)77--89, 13(4)63--70, 17(3)57--66, 26(3)77--80,
27(1)24--39, 27(3)2--2, 27(3)41--50, 29(2)40--42, 29(3)3--4,
30(1)125--134, 30(2)27--52, 31(3)3--4, 32(3)81--94, 33(2)9--13,
33(3)1--2, 36(1)29--34, 36(2)31--38, 36(2)39--46, 38(1)19--28,
38(2)43--57, 40(2)76--91, 42(2)55--61
-
focused, 17(1)41--53, 27(2)15--17, 28(1)76--82, 28(1)88--91, 29(2)20--27,
31(3)47--60, 32(3)53--62, 36(2)58--59, 40(2)48--50, 42(1)65--67
-
focusing, 28(1)92--95, 31(2)33--35, 36(1)9--24, 42(2)99--103
-
focusses, 27(3)8--8
-
Fofanov, V., 0(0)205--212
-
Fofanov, Vasiliy, 29(1)23--24
-
Fofanov, Vasiliy, see Dewar, Robert
-
Fofanov:1997:AID, 0(0)205--212
-
Fokker, 16(5)35--47
-
fold, three-, 17(1)41--53
-
Follies, 11(4)99--z
-
follow, 29(3)45--60, 31(2)23--24, 33(2)87--96, 37(2)13--17, 38(1)41--54,
38(1)74--76
-
followed, 17(3)17--29, 27(2)37--40, 36(2)22--26
-
following, 0(0)viii--171, 0(0)141--155, 17(2)67--81, 27(2)75--81,
29(3)3--4, 29(3)127--132, 30(1)135--146, 36(2)9--17, 37(2)9--12,
39(1)71--71
-
Foltzer, Adam, 33(3)15--18
-
Foltzer, Adam, see Carter, Kyle
-
Fong, Elizabeth, 30(3)31--32
-
Fong:2010:WIN, 30(3)31--32
-
foot-print, small-, 37(2)43--50
-
footprint, 26(3)21--28, 29(3)87--90, 38(1)34--39
-
for Acquisition, Office of the Under Secretary of Defense,
8(4)35--46, 8(4)47--68
-
Forakis, John A., 4(2)23--35
-
Forakis, John A., see Harbaugh, Sam
-
force, 8(4)35--46, 8(4)47--68, 9(6)53--66, 10(3)101--110, 10(3)111--125,
10(3)139--145, 17(4)59--65, 18(1)92--109, 26(3)45--50, 29(3)17--18,
29(3)121--126, 31(3)37--38, 32(3)95--96, 34(3)1--2, 36(2)22--26
-
Force on Military Software Defense Science Board, Task, 8(4)35--46
-
forced, 9(6)104--107, 13(3)86--87
-
Forcing, 9(6)104--107
-
Ford, Ray, 11(3)73--82
-
Ford:1991:AGP, 11(3)73--82
-
forecasting, 10(3)98--100, 17(5)51--56
-
foreign, 13(5)43--47
-
Foreman, John, 5(1)32--41, 6(2)86--90
-
Foreman, John, see Baskette, Jerry,
see Moore, Melody
-
Foreman, John T., 3(6)79--94
-
Foreman, John T., see Daily, Paulan D.
-
foresee, 26(3)35--42
-
foreseeable, 27(3)69--70
-
foreseen, 33(1)84--92
-
forget, 30(1)26--32, 37(2)40--42
-
form, 9(2)102--105, 9(5)89--100, 10(1)92--96, 10(1)118--121, 10(3)29--32,
12(5)64--76, 13(1)35--z, 13(2)78--90, 17(3)3--16, 27(2)48--52,
29(3)9--10, 31(2)15--22, 31(3)11--12, 32(2)9--16, 32(3)51--52,
32(3)53--62, 33(1)157--168, 33(2)9--13, 33(3)13--14, 33(3)43--46,
33(3)65--84, 34(3)19--28, 34(3)87--96, 36(2)58--59, 37(2)34--36,
38(1)19--28, 38(1)41--54, 38(1)74--76, 40(2)76--91
-
FORMAL, 5(3)76--83
-
formal-methods-supported, 31(3)47--60
-
formalism, 11(5)30--46
-
formality, 23(1)11--11
-
formalization, 30(1)45--55, 33(3)21--22, 33(3)65--84
-
formalize, 33(3)3--4
-
formalized, 13(4)71--76, 33(3)21--22
-
formally, 0(0)50--61, 31(3)39--46, 33(3)65--84, 34(3)47--60, 39(1)35--49
-
formally-verifiable, 32(3)103--104
-
formally-verified, 34(3)5--12, 34(3)47--60
-
format, 9(7)114--128, 10(3)217--229, 21(4)27--30, 27(3)27--40,
30(2)19--24
-
Formatted, 1(1)26--28
-
formatter, 10(1)140--159
-
formatting, 9(7)114--128
-
formed, 23(1)1--9, 40(1)91--96
-
formed, well-, 33(3)21--22
-
formerly, 18(0)xii--293
-
FORMULA, 33(3)3--4
-
formula, 0(0)141--155, 33(3)3--4, 34(3)69--70
-
formulate, 27(2)37--40, 32(3)9--10
-
formulations, 27(3)27--40
-
Forsyth, C. H., 7(4)85--87
-
Forsyth, C. H., see Wand, I. C.
-
forth, 23(1)40--43, 29(3)105--114
-
forthcoming, 40(2)55--58
-
FORTRAN, 2(5)60--61, 8(6)57--71, 10(3)139--145, 17(3)67--86
-
Fortran, 17(3)67--86, 29(2)43--45, 29(2)56--60, 40(2)55--58
-
FORTRAN-77, 10(3)139--145
-
FORTRAN-like, 1(1)26--28
-
Fortress, 32(3)95--96
-
fortunate, 34(3)1--2
-
Fortunately, 29(2)43--45
-
forward, 5(1)49--54, 27(3)3--3, 32(3)23--24, 33(1)53--63, 42(2)96--98
-
FOSDEM, 42(1)39--40, 42(1)58--60, 42(1)61--64, 42(1)68--75
-
FOSS, 29(3)21--22, 40(2)70--72
-
foster, 33(1)64--83
-
Foster, Ian, 40(2)73--75
-
Foster, Ian, see Chard, Kyle
-
Foster, Jeff, 39(1)71--71
-
Foster:2020:WDW, 39(1)71--71
-
found, 17(3)87--96, 27(3)100--100, 31(3)27--34, 32(3)9--10, 33(3)85--86,
35(1)17--25, 36(2)18--21, 37(2)13--17, 39(1)71--71, 40(1)79--84,
40(2)92--95, 41(1)83--86
-
foundation, 0(0)viii--171, 18(5)12--38, 26(2)12--22, 28(1)96--102,
29(3)45--60, 32(3)9--10, 33(3)21--22, 34(3)19--28, 34(3)39--46
-
foundational, 34(3)61--68
-
founding, 30(1)86--90
-
four, 13(3)88--90, 34(3)17--18
-
four-, 9(4)84--86
-
four-day, 29(3)9--10
-
Four-in-a-Row, 27(3)59--62
-
fourteenth, 30(1)147--151, 37(2)30--31
-
fourth, 10(9)z--z, 16(1)44--45, 29(1)61--61
-
Fowler, Kim, 33(3)65--84
-
Fowler, Kim, see Larson, Brian
-
Fox, Stephen, 5(2)41--57
-
Fox, Stephen, see Smith, John M.
-
Fox:1985:AKD, 5(2)41--57
-
Foy, Marc, Richard-, 17(5)45--50
-
FP, 33(1)32--44
-
FPGA, 29(3)105--114
-
FPGAs, 29(3)119--120
-
fraction, 27(3)89--96, 33(1)128--133
-
fragmentation, 32(3)15--22
-
Frakes, Bill, 11(3)9--17
-
Frakes, Bill, see Latour, Larry
-
frama-c, 36(2)27--30
-
frame, 27(2)96--97
-
FrameKit, 18(5)57--66
-
FrameWork, 26(2)12--22
-
framework, 0(0)16--23, 0(0)102--118, 0(0)125--134, 8(3)51--68,
13(4)29--36, 18(5)57--66, 23(1)11--11, 23(1)27--29, 24(1)49--61,
24(4)1--8, 26(2)12--22, 26(3)71--74, 27(2)37--40, 27(2)41--47,
27(3)41--50, 27(3)59--62, 29(3)19--20, 29(3)119--120, 30(1)73--85,
31(3)19--26, 31(3)47--60, 33(1)32--44, 33(1)64--83, 33(1)116--127,
33(1)146--149, 33(3)3--4, 34(3)19--28, 34(3)81--86, 36(2)60--68,
39(2)35--40, 42(1)50--53, 42(2)96--98
-
Franch, Xavier, 24(1)49--61
-
Franch, Xavier, see Marco, Jordi
-
Francl, Fred, 0(0)31--35
-
Francl:1987:PMS, 0(0)31--35
-
Frank, 31(2)70--70
-
Frankel, G., 0(0)201--211
-
Frankel, Gary, 7(6)47--48
-
Frankel:1982:LAC, 0(0)201--211
-
Frankel:1987:IAT, 7(6)47--48
-
Frankowski, E., 6(2)41--50
-
Frankowski, E., see St. Dennis, R.
-
Franks, G., 14(z)3--15
-
Franks, G., see Buhr, R. J. A.
-
Frantzen, Joey L., 21(4)61--70
-
Frantzen, Joey L., see Ehresman, Kenneth L.
-
Franz, 7(4)88--97
-
free, 15(6)57--66, 18(5)47--50, 18(6)158--164, 23(1)11--11, 31(3)13--14,
31(3)39--46, 42(1)65--67, 42(2)62--68
-
free, context-, 11(3)49--60
-
free, data-race-, 34(3)105--106
-
free, Lock-, 33(2)66--74
-
free, lock-, 32(3)73--80, 33(2)66--74
-
free, quantifier-, 33(3)3--4
-
freedom, 10(7)47--54, 23(1)1--9, 26(1)45--55, 29(3)9--10
-
freely, 12(6)59--74, 29(3)1--2, 31(3)9--10
-
Free/Open, 40(2)70--72
-
freeware, 17(4)17--30
-
Freitas, Maria Manuel, 10(6)97--109
-
Freitas:1990:OOR, 10(6)97--109
-
French, 37(2)18--22
-
French, Stewart, 6(2)85--86, 6(2)90--91
-
French:1986:API, 6(2)85--86
-
French:1986:TAS, 6(2)90--91
-
Freniche, J. L., 12(1)65--72, 14(5)80--87
-
Freniche, J. L., see Blázquez, V.
-
frequency, 14(1)38--49, 15(5)46--51
-
frequent, 29(3)45--60
-
frequently, 15(4)50--63, 17(2)26--28, 17(3)57--66
-
freshman, 18(2)42--52
-
friendly, 18(2)42--52
-
Friendly, User-, 2(4)101--112
-
friendships, 38(2)109--114
-
Frigo, G. Vittorio, 7(3)84--93
-
Frigo:1987:EVA, 7(3)84--93
-
Frisberg, Bo, 18(6)140--141
-
Frisberg:1998:AGF, 18(6)140--141
-
Frisberg:1998:UAG, 18(6)140--141
-
Fritz, Robert, 2(5)85--88
-
Fritz:1983:AUD, 2(5)85--88
-
Froelich, Robert, 0(0)194--201
-
Froelich, Robert, see Dewar, Robert B. K.
-
Froggatt, Terry, 7(1)71--81, 35(2)14--14
-
Froggatt:1987:FPC, 7(1)71--81
-
Froggatt:2015:EAU, 3(6)30--47, 35(2)14--14
-
from/to, 29(1)62--64
-
front, 0(0)98--106, 5(2)321--328, 5(2)343--354, 10(3)14--19, 17(4)31--58,
32(3)25--26
-
Front-End, 0(0)36--46
-
front-end, 23(1)11--11
-
front-ends, 17(4)31--58
-
frustrations, 31(3)17--18
-
FTA, 33(3)65--84, 36(2)39--46
-
Fujimaru, Matsuto, 0(0)25--30
-
Fujimaru, Matsuto, see Fukuyama, Shunichi
-
Fujita, Shohei, 0(0)157--158
-
Fujita:1987:SDO, 0(0)157--158
-
Fukuyama, Shunichi, 0(0)25--30
-
Fukuyama:1987:EGU, 0(0)25--30
-
fulfilling, 34(3)29--38, 40(1)85--90
-
full, 2(3)34--37, 2(3)51--59, 9(1)47--70, 9(2)45--51, 9(2)90--101,
11(2)56--59, 11(9)96--99, 12(6)47--49, 14(z)26--35, 25(1)48--56,
26(3)51--60, 28(1)24--30, 28(1)31--33, 31(3)17--18, 31(3)81--90,
32(3)73--80, 33(1)24--31, 33(2)87--96, 34(3)103--104, 35(1)74--79,
36(1)39--50, 37(2)27--29, 40(2)48--50
-
full-Ada, 38(1)41--54, 38(1)74--76
-
fuller, 32(3)3--4
-
fully, 13(5)32--42, 17(1)41--53, 17(3)67--86, 17(5)35--39, 19(1)66--96,
27(3)1--1, 28(1)92--95, 29(3)31--44, 30(1)86--90, 31(3)81--90,
32(3)53--62, 32(3)63--70, 35(1)38--45, 42(1)81--85
-
fUML, 34(3)61--68
-
fun, 26(3)29--34
-
function, 0(0)95--100, 0(0)141--155, 4(1)40--44, 4(3)44--52, 4(6)49--59,
5(1)79--88, 6(3)65--70, 9(4)103--104, 10(1)122--130, 10(3)14--19,
11(7)3--8, 11(7)9--46, 11(7)47--65, 11(7)66--82, 11(7)83--90,
11(7)140--165, 11(7)166--179, 11(7)180--216, 11(7)217--243,
11(9)116--127, 12(1)53--64, 12(5)59--63, 13(3)88--90, 13(4)44--48,
13(4)63--70, 14(1)61--67, 14(3)61--73, 15(2)31--39, 16(1)44--45,
16(3)56--69, 18(4)101--106, 23(1)35--39, 23(1)45--52, 26(1)25--30,
27(2)82--87, 27(3)59--62, 28(1)36--37, 28(1)48--51, 29(1)58--60,
29(2)43--45, 29(3)21--22, 29(3)61--72, 31(2)30--32, 32(3)11--12,
32(3)53--62, 33(3)11--12, 36(2)27--30, 36(2)39--46, 40(2)73--75
-
functional, 0(0)102--118, 10(1)122--130, 11(9)96--99, 12(2)57--61,
13(6)133--161, 14(3)91--104, 17(1)54--68, 23(1)11--11, 29(3)31--44,
31(3)47--60, 33(1)64--83, 33(3)23--36, 33(3)43--46, 33(3)65--84,
34(3)69--70, 36(2)58--59, 39(1)35--49, 41(1)83--86, 42(1)65--67,
42(1)105--105
-
functional, Non-, 40(1)85--90, 42(2)114--118
-
functional, non-, 31(3)1--2, 33(3)23--36, 40(1)85--90
-
functionality, 9(2)90--101, 10(4)25--31, 13(6)61--132, 16(3)52--55,
26(1)31--44, 26(3)9--14, 26(3)51--60, 27(2)67--71, 28(1)92--95,
31(3)47--60, 35(1)74--79, 35(1)80--92, 41(2)61--65
-
functionally, 38(1)34--39, 42(2)75--78
-
FUNCTIONS, COMPLEX-ELEMENTARY-, 11(7)140--165, 11(7)166--179
-
FUNCTIONS, ELEMENTARY-, 11(7)9--46
-
FUNCTIONS, GENERIC-ELEMENTARY-, 11(7)9--46
-
FUNCTIONS, PRIMITIVE-, 11(7)66--82
-
functions-wrapping, 40(2)73--75
-
fundamental, 9(2)72--77, 13(2)37--43, 13(5)22--31, 16(3)56--69,
26(3)29--34, 27(3)4--4, 29(1)54--56, 29(3)11--12, 29(3)15--16,
31(3)13--14, 32(1)13--18, 32(3)9--10, 33(3)43--46
-
fundamentally, 0(0)141--155
-
funded, 27(3)89--96, 27(3)101--107
-
funding, 13(4)63--70
-
fungible, 31(2)9--14
-
further, 0(0)50--61, 0(0)141--155, 12(6)81--87, 13(2)91--96, 29(2)50--52,
33(1)53--63, 33(1)64--83, 34(3)5--12, 34(3)29--38, 35(1)46--58,
38(1)40--40
-
furthered, 0(0)141--155
-
Furthermore, 12(2)43--56, 13(2)54--64, 32(3)15--22, 33(1)84--92,
33(3)41--42, 34(3)19--28, 34(3)105--106, 35(1)38--45
-
Furunäs, Johan, 25(4)63--68, see Naeser, Gustaf
-
Fuse, 40(2)70--72
-
fusion, 17(4)66--73, 18(6)121--131, 23(1)11--11
-
Fussichen, K., 11(6)77--79
-
Fussichen:1991:AIS, 11(6)77--79
-
future, 4(5)40--44, 4(5)59--64, 4(5)65--78, 4(5)79--83, 4(5)84--89,
4(5)90--96, 4(5)97--99, 4(5)100--104, 4(5)105--110, 10(3)98--100,
10(4)5--14, 14(6)62--72, 15(4)22--22, 16(2)35--38, 17(3)30--35,
17(3)67--86, 17(5)51--56, 19(3)77--82, 19(3)227--227, 21(1)5--8,
21(4)1--2, 22(4)113--119, 23(4)55--57, 23(4)96--96, 26(2)12--22,
26(3)71--74, 27(2)72--74, 27(3)69--70, 27(3)71--74, 27(3)97--98,
27(3)100--100, 29(3)119--120, 30(1)104--115, 30(2)13--18,
30(2)19--24, 31(3)17--18, 32(3)43--50, 32(3)71--72, 33(1)9--14,
33(1)84--92, 33(2)97--108, 33(3)21--22, 36(2)22--26, 40(1)91--96,
42(1)50--53, 42(1)100--104
-
Future Ada, ACM Adatec, 4(5)90--96
-
future., 27(3)69--70
-
Fuzion, 41(1)83--86
-
FY93, 13(6)13--z