AA AAA AAB AAC AAD AADL AADL's AAE AAF AAI AAJ AAL AALEE AAM AAN AAO AAP AAR AARa AARb AAS AAT AAU AAW ABA ABC ABM ABN ABP ABR ABS ABW AC ACA ACATS ACAa ACAb ACC ACD ACEC ACEa ACEb ACF ACG ACI ACL ACM ACN ACO ACP ACPS ACQ ACR ACS ACSL ACV ACVC ACW ADA ADALOG ADC ADG ADH ADJ ADL ADLa ADLb ADM ADN ADP ADQ ADR ADT AE AEA AEB AEC AEE AEG AEL AEM AEP AER AES AET AEW AF AFA AFB AFD AFE AFI AFIS AFQ AFR AFRC AFS AFV AG AGA AGC AGD AGF AGG AGK AGP AGT AGU AHI AI AIA AIC AIDA AIDOaRT AIDOaRt AIDa AIDb AIE AIG AIH AIN AIP AIQ AIS AIs AJ AJB AJE AJIS AJM AJPO AJW AKD AL ALA ALC ALG ALGOL ALI ALISA ALIWG ALM ALRM ALS ALT AMA AMB AMC AMI AML AMM AMN AMR AMS AMU AMW ANALYSER ANIARA ANM ANNA ANSI AO AOA AOB AOM AOO AOP AOR AOS AP APA APC APD APF APG API APIs APL APPL APS APU ARA ARD ARG ARH ARINC ARO ARP ARS ARTEWG ARW ARY ASA ASB ASC ASCII ASD ASE ASEET ASENTO ASF ASG ASI ASIS ASISRG ASISWG ASIStint ASIa ASIb ASL ASM ASO ASR AST ASTS ASV ATA ATC ATCa ATCb ATD ATI ATL ATM ATMA ATMAda ATO ATT ATmega AU AUB AUD AUI AUP AUTOmatic AUg AVA AVF AVG AVI AVL AVO AVP AVR AWA AWD AWK AWS AXC AY Aaron Abbink Abraham Abu Acad Ackermann Acknowledgement Ada AdaControl AdaCore AdaGAME AdaGIDE AdaGOOP AdaGraph AdaHorn AdaJUG AdaLetters AdaMap AdaPT AdaSAGE AdaSlicer AdaSoft AdaTEC AdaWebPack Adabase Adaing Adam Adaphobic Adatec Adavotees Adaware Ade Admin Adrian Adv Aerosp Aerospatiale Africa Agerberg Ahlan Ahmad Aiello Airchinnigh Airchinnign Al Alagic Alain Alan Alaska Albert Albertini Albrecht Aldea AldeaRivas Alea Alejandro Alessandra Alex Alexander Alexandr Alexandra Alexandria Alexis Alexy Alf Alfons Alfred Algol Algorithmics Ali Alire Allaert Allan Allen Alok Alonso Alstad Alsys Altman Alton Alvarez Alvaro Amdahl Amelia America American Ames Amey Amiguet Amiram Amro Amsterdam Amund Amurrio Ana Anaika Analyser Anders Anderson Andre Andrea Andreas Andres Andress Andrew Andrews Android Andrzej Andy Andyne Angela Angeles Anil Anitha Ann Anna Anthony Antonelli Antonio Anya Aonix AonixADT Aponte Appelbe Appl AppletMagic Applets Apr April Ar Araki Arcady Arcturus Ardo Arduino Arevalo Argonne Argosim Ari Aria Arjun Arlington ArmAda Armitage Arnaud Arndt Arnett Arnold Arsdall Arthur Arvola Asheem Asis AspectAda Asplund Astron Asymptopia Atkinson Atlanta Atmel Atool Audsley Aug Ausden Austin Australia Autom Automata Automation Averett Avram Ayrat Aziz Azketa B BAA BAI BAP BATCES BAa BAb BBP BC BCS BDP BDT BER BFT BFV BFW BHI BHP BHR BMC BOF BOOLEAN'SIZE BPA BPD BRC BRCa BRCb BS BSD BSO BSS BTM BTT BW Babuji Backes Baer Bagert Bagge Bagnato Bakar Baker's Bal Balador Balears Balfour Ballbastre Ballesteros Bamberger Bangqing Baowen Barahona Barbacci Barbaria Barbosa Bardin Barkataki Barkstrom Barnes Barnum Barowski Barros Basdell Basili Baskette Bassman Basson Battaglia Bayan Beatriz Bechir Becker Beebe Behaviour Beidleman Beidler Beijing Bein Belcredi Belvoir Belz Benachour Bengel Berard Berardinelli Berecz Beretz Beringer Bernardi Bernd Berndt Berns Berrett Berthold Berzins Bever Beyene Bha Bharill Bhayat Biau BibNet BibTeX Bieman Binghamton Bj Bjorner Bl Blaine BlazeNet Blazquez Blockchain Bloem Blum Bo Bocchino Bodeau Boehm Boldyreff Boleng Bondeli Booch Booleans Bordin Bordis Borger Borkan Bossi Botella Botting Botton Boukili Bourdell Boyd Brach Braesicke Bramberger Brashear Brayan Bremmon Brent Brest Brett Briand Briggs Brintzenhoff Briot Broe Brookman Brookville Brosgol Brosse Broster Brueckner Bruekner Brukardt Brukhardt Brundelle Bruneliere Brunelle Brykczynski Bu Buchman Buhler Buhr Bundgaard Burke Burkhard Burkhardt Buxton Buzdalov Byrne C CA CAA CAC CACI CADA CAEDE CAG CAIS CAJ CAO CAQ CAS CASA CASWG CAU CAUWG CBA CBE CBMC CBSE CBV CCA CCC CCF CCL CCM CCO CCP CCR CCS CCSDS CCU CD CDA CDO CDP CDR CDROM CDS CDT CE CEA CECOM CED CEP CES CFA CFP CFR CGC CGN CH CHA CHL CI CIF CIFO CIM CIP CIR CIW CJC CL CLA CLF CLL CLM CMA CMM CMS CNA CNRS CNS CO COA CODASYL CODEN COF COM CORBA CP CPAD CPC CPI CPM CPN CPP CPS CPSs CPUs CQE CR CRA CRC CRM CRO CRP CRR CS CSA CSC CSD CSE CSF CSL CSR CSS CST CTA CTD CTM CTT CVA CVE CVM CVR CWE CWEs Caldwell Camara Camarillo Cameron Cammi Campbell Cancila Cantabria Carletto Carlisle Carlos Carlsson Carr Carrez Casimiro Casinghino Caspersen Cassel Casselman Castagna Castellano Catalogue Cavalcanti CbC CbyC Cec Celarier Celier Centeno Centre Centro Centrum Ceri Ceridian Cesare Chachkov ChairLetterJune Chaki Chalin Chamillard Chan Chandna Chapin Chapple Charlene Charlet Charrette Chelini Cheng Chi Choi Cholpanov Chong Chouteau Christensen Christiansen Christoph Christophe Chung Cicalese Cicchetti Cichelli Ciencies Clapp Claremont Clarson Classwide Clayton Clemmensen Cleophas Clough Co Cocco CodeContracts Cofer Col Colbert Cole Colin Colket Coll Collingbourne Collins Comar Commercializing Commun Compendex Compilable Composable Comput Computadores Computerised Condic Condliffe Constantinides Constantinos Contel Coombes Coq CorC Cormack Cornelia Cornhill Coroutines Correa Corvallis Costa Courseware Courtieu Craeynest Craigen Cranc Crespi CrespiReghizzi Crespo Creuse Criley Cristina Cristopher Crocker Crolard Cronin Cryptol Cs Curbow Currie Cyrille CytometyML D D'Ippolito DA DAA DAE DAF DAI DAINA DAL DAP DAR DARPA DAS DAT DAWG DAa DAb DB DBA DBMS DC DCA DCC DCCa DCCb DCD DCE DCO DCOM DCP DCR DCS DDA DDC DDE DDR DDS DDU DE DEB DEE DES DFD DFP DFR DFT DGG DGU DHACM DHCP DHO DHS DIA DICOM DIK DIO DIR DKA DL DLC DLL DLR DMC DMD DMU DNS DOD DOI DOO DP DPA DPD DPI DPL DPM DPP DPS DPU DPV DPW DRA DRC DRI DRLMS DRM DROOPI DRT DSA DSB DSC DSD DSL DSLs DSRS DSS DSU DTD DTF DTG DUC DUNs DVD DVM DVP DWE Dafny Dai Danberg Danesh Daniela Danielle Dapra Dar Dara Darren Daryl Das DataComm Dataflow Datagram Dausmann De DeFazioe DeLoach DeRoever DeVilbiss DeWeese Deallocation DeanHendrix Debest Defence Delange DelasHeras Delft Deller Delrio Demurjian Deng Denis Denise Deno Dereference Derniame Dev Dewayne Dhavy Dhrystone Di DiGrazia DiMaio Diaz Dik Dinh Dinning Dionisio Dirk Discriminants Dismukes Dissaux Distributable Div Dmitry DoD Dobbing Dobbins Dobbs Dominique Domitz Donaho Dong Donzeau Doran Dorchak Dousette Dowling Dowson Dragan Drasko Dritc Dritz Drossopoulou Druffel Drury Ducharme Duerinckx Duggan Dulli Dulman Dungrani Dupilka Dyke E EA EAA EAC EACM EAG EAL EAP EAS EAU EBC EBI EC ECK ECN ECP ECR ECS ECSEL ECTD EDA EDD EDF EDI EDS EDT EDU EEAa EEAb EEC EED EEDa EEDb EEE EEH EEP EEPROM EER EES EFC EFP EFR EGU EHA EHL EHR EIA EII EIR EISG EIW EKL EMB EMD EMH EMI EMM EMO EMS EMV ENA EOI EOO EP EPC EPE EPL EPM EPP EPT EPTs EPU EPW ERAM ERAM's ERI ERP ERT ESB ESC ESCA ESD ESE ESM ESP ESR ESS ESTSC ESW ETE ETM ETS ETSI ETT EUA EUROCAE EUS EVB Ebel Eckel Ecole Econ Edgerton Edmond Eduardo Efstathopoulos Eggers Ehrenfried Ehresman Ehsan Eiffel Eilers Eisenhauer Ekiba El Elab Electr Electrotechnical Elie Elli Elmar Elrad Elsom EnRoute Encino Endian Endianness Eng Engenharia Engl Eramo Eran Erhard Erlangen Esquinas Establ Ethernet Etienne Eudald Evangelista Eventoff Extendable F FAA FAA's FACETM FAE FAF FAX FB FC FCA FCM FCP FDD FDI FDU FEP FEP's FFA FFO FGR FHA FID FIS FIW FL FLF FLS FMA FMC FMD FMEA FMI FMS FMT FOSDEM FOSS FP FPA FPC FPGA FPGAs FPI FQA FRA FRC FRT FSA FSP FST FTA FTD FTS FUX FY Fa Faasch Fabien Fabrice Fac Fachhochschule Fagin Fairleigh Fairley Faisel Falcone Falis Falquet Fantechi Farkas Farmington Fassbender FaultTolerant Faura Favaro Faye Feasability Federale Federico Feiler Feldman Fernandez Ferreira Filipski Firesmith Firth Fleener Florescu Fnu Fofanov Fokker Foltzer Fong Forakis Forsyth Fortran Foy Fr Frakes FrameKit FrameWork Framington Francesco Franch Francl Frankel Frankowski Frantzen Freitas Freniche Fri Fridtjof Friedrich Frigo Frisberg Froelich Froggatt Ft Fujimaru Fujita Fukuoka Fukuyama Furun Fussichen Fuzion G GA GAC GACa GACb GAJa GAJb GAQ GAQa GAQb GASa GASb GBB GBBa GBBb GBE GBN GCA GCAa GCAb GCAc GCAd GCC GCDa GCDb GCF GCO GCP GDE GDS GDSa GDSb GDSc GEA GEI GEP GES GF GFF GFP GG GGA GGC GGK GGS GHM GHP GHPa GHPc GHS GHT GIA GIB GIC GIU GKB GKS GLA GLAa GLAb GLSa GLSb GLTa GLTb GLTc GMA GMCa GMCb GMG GNA GNATCOLL GNATProve GNATTest GNATprove GNATtest GNC GNCa GNCb GND GOR GP GPBa GPBb GPBc GPM GPP GPRbuild GPS GPU GPUs GRA GRCa GRCb GRCc GRS GRT GSC GSCa GSCb GSE GSL GSM GSS GSSa GSSb GSSc GSSd GSSe GSSf GSSg GSSh GSSi GSSj GSSk GSSl GSWa GSWb GTBa GTBb GTDa GTDb GTDc GTDd GTDe GTDf GTE GU GUA GUI GUIs GVA GWDa GWDb GWDc Gabriele Gacek Gaetan Gaffney Gaffney's Gage Gaithersburg Galeotti Gallina Gallo Galvin Gannon Gantsou Gao Garc Gardinier Garfinkel Gargaro Garion Garrido Gasarch Gasperoni Gatti Gaucher Gaudel Gaumer Gauthier Gedela Geert Geir Gen Genell Generics Genillard Geoff Georegistration Georg Gerhardt Gerken Gert Gicca Giddings Giering Gil Gilberto Gilchrist Gillen Gilroy Gilyeat Gindysh Gingold Giodano Gladesville Glendening Gluch Gochenouer Goddard Goddard's Goforth Goldenberg Goldfedder Goldsack Gonz Gonzalez GonzalezHarbour Goodenough Goos Gopal Gopalswamy Gordillo Gorski Goss Gostelow Goto Gov Gprbuild Gracia Gramact Grau Gregertsen Grein Grier Gripen Grosman Groucher Groupware GtkAda Guang Guardol Guerby Guerreiro Guido Guiti Guitton Guo Gupta Gusfield Gustaf Gustafsson Guti Gutierrez GutierrezGarcia Guyot H HAA HACMS HAI HAO HAPPL HBD HCA HDF HDLs HDRT HDY HEA HEE HHA HJA HLC HMA HMO HOLWG HPA HPC HRE HRG HRT HSB HSC HSL HTE HTEP HTML HTO HTTP HVC HW HWS Haarslev Haberlandt Haberman Haden Haertig Hagar Hagihara Hagos Hai Haiping Hait Hakan Hammons Hampson Harbaugh Harbour Haris Harkleroad Harmon Harte Hartstone Hassan Hassen Hatcliff Hategan Haveraaen Hayden Haymarket Hazem Heaney Heaton Heimbigner Heimdahl Heimerdinger Heinfeld Heker Helbold Helmbold Hemaspaandra Hendrix Henke Henley Henri Henrik Hensel Heras Herber Herlihy Herndon Herrera Heslington Hibbard Hierro Hild Hilfinger Hilliard Hirasuna Hirschfeldt Hisgen Hjortaes Hoare Hobart Hodgson Hoffmann Hollis Holzbacher Hongbiao Hongfeng Hosch Hoskins Hoskinston Houghton Hovater Hristian Hristov Hua Hucheon Huff Hugues Huguet Hui Huijsman Huiming Hulse Humphries Hutcheon Hutchison Hyerle Hyoseob HyoseobKim IA IAA IAC IAD IAE IAF IAH IAI IAM IAO IAP IAR IAS IAT IAV IBA IBC IC ICA ICCS ICL ICM ICR ICS ICT ICU IDE IDEF IDEFO IDEs IDF IDL IEA IEC IED IEH IEO IES IFS IHI IIA IIC IIT IJC IL IMC IMS INA INRIA INTECS INV IOA IOC IOM IONA IOO IOS IOT IP IPC IPCP IPL IPS IPv IQAa IQAb IRC IRM IRTAW ISA ISBN ISC ISD ISE ISI ISM ISO ISR ISS ISSN IST ITD ITE ITT ITU IUA IUI IUR IVL IVLs IVMS IWR Ian IceCube Ifill Ik Ilhan Ilia Illes Imad Imbruglia InProceedings Ina Ind Inf Inforce Initialisation Inspec Inst Instrum Int Intecs Intermetrics Internet Inverardi IoT Iona Ip Ippolito Irala Irwin Isabelle Isidro Ismail Isolette J JCT JFS JGNAT JIAWG JIT JNI JSF JSON JSR JTC JVM Jachowski Jackman Jalaj Jalil Jamieson Jansohn Janusz Jarc Jarzombek Java Javaing Javascript Javier Jayakrishnan Jeanette Jeanne Jeannette Jehuda Jemli Jerzy Jes Jesper Jha Jianhua Jianjun Jie Jin Jingde Joffrey Johan Johansson Johnsson Jolla Jordi Jorkeh Jos Jover Jpn Jub Jubanowsky Juergen Jul Julien Jun Juppeaux Jurgen K KAC KAF KAL KAPSE KAU KBS KC KCa KCb KG KIS KPP KS KSD KSE KSLOC KY Kaiser Kaisler Kallberg Kamenoff Kamrad Kanig Kann Karam Karel Kari Karlsruhe Karr Kartsakli Katwijk Katz Kaufman Kaya Kaye Kazuo Keeffe Kelk Kenward Kerboeuf Kermarrec Kernal Kerner Khaled Khalimov Khattab Khrabrov Kiasan Kiddle Kiem Kienzle Kimmet Kinect Kini Kinjo Kirchgassner Kirkham Kirtchev Kittelmann Kiu Kiyoshi Kjeld Kjell Kl Kleinke Klem Klemm Klock Klocwork Klumpp Kn Knapper Knut Koelmans Kok Kolb Konnov Konrad Kordon Kornman Korochkin Koskinen Kosmatov Kosmidis Kourie Koutny Kownacki Kozlov Krasner Krasnodebska Krieg Krishnam Krishnan Kristina Kristoffer Kruchten Kruesi Krzysztof Kuang Kuchinski Kung Kuo Kurbel Kurki Kwei Kwok Kyushu L LAC LALR LAR LAT LBT LBa LBb LCA LCB LCC LCCN LCS LDC LE LEGO LFA LFP LFS LGA LI LIC LII LINPACK LKM LLA LLL LLNL LLVM LM LMA LML LOA LOC LOGICS LOLITA LPE LPH LPI LPM LRM LRS LSC LSH LSJ LSP LSR LSS LSV LTP LVL LWT LaTeX Lacruz Ladden Lagemann Lahtinen Lainwala Lakshmi Lan Landman Landmass Lang Langetepe Lanham Larraz Laski Lasse Lathrop Latour Lau Laurent Lausanne Laval Lawlis LeCampion LeDoux Leake Leary Leavitt Leblang Lederman Ledru Leemon Leeson Lefebvre Lego Legrand Lehoczky Lei Leif Leino Lennart Leonidas Lescroart Lett Leveson Li Liang LibAdalang Libre Liebrenz Lifecycle Liisa Lillian Limoges Lin Lindley Lindquist Linux Linzhang Lisboa Liskov Lisowski Lite Littlefield Littleton Litvintchouk Liu Livermore Llamos Llamosi Lo Lockemann Loek Loeper Loftus Loggia Logicon Logozzo Loic Lomuto Lonnie Lookup Lopes Loral Lori Lortz Los Loseby Lou Loulergue Loureiro Lovengreen Lowe LowerLayer Loyola Lt Lu Luba Luc Luca Luckham Lui Luis Lundqvist Lupton Luqi Lustre Luton Ly M MAA MAB MACS MAE MAK MARTE MAS MBD MBS MC MCA MCI MCM MCO MCP MCR MCS MCa MCb MCc MCd MDA MDD MDE MDR MDT MEA MEE MER META METAH MF MGNAT MHK MHP MI MIF MIL MILSTD MIMD MINIX MIPS MIR MISRA MITRE MITRE's MLP MMA MMAIM MMC MME MN MNE MNF MO MOPping MOSI MP MPA MPF MPHF MPJ MPS MPU MRA MRT MSA MSC MSD MSDa MSDb MSI MSIL MSP MSS MST MTS MTV MULTOS MVME MWA MaRTE Maarek MacEwen MacLaren MacPherson MacanAirchinnigh MacanAirchinnign MachineChart MachineCharts Macos Macpherson Maddox Maderna Maes Magnavox Magne Mahani Mahmoud Mahshid Maia Maibor Maio Malik Mallorca Maloney Mamdouh Manag Manassas Manuel Marc Marcin Marco Mardis Marius Markow Markus Marmor Marquardt Marr Marsaglia Martignano Marymount Masahiro Masaya Masmano MassTech Matematiques Mathis Mathisen Matrixr Matsakis Matsumoto Matsuto Matt Matteo Matti Mattini Mauger Maurel Maurer Maurizio Maurya Maxted Maymir Mazzanti McAfee McCormick McDermid McEvilley McGraw McGregor McGugan McHugh McKinlay McMahon McMaster McNicholl McNickle Mckay Me'le'se Mearns Med Medina Megajoule Meiling Melby Melde Mellby Mendal Mentis Mer Merkle Mertens Mesler Meta Mezzetti Micallef Michel Michell Micka Mickael MicroVAX Microcontrollers Microsystems Middlemas Middlesex Mihael Miho Mikhail Mil Milieux Mindstorms Minei Ming Minoura Mitra Mitre Mixins Mller Mmap Modelling Moffett Mogilensky Mokri Molich Mon Monina Monmouth Monroeville Montanari Montangero Monti Moorestown Moran Mordechai Moreira Moreton Moretonhampstead Morrone Mortem Moshe Mosley Mosteo Mota Mounier Moy Moyano Mudge Mueller Mularz Multi Multiagent Multilanguage Multimax Multimedia Multimicroprocessor Munchen Munck Mundie Mungle Muns Murgle Murtagh Murugesan Musser Mutex Myro Myro's Mysior N NAA NAC NAF NAS NASREM NBR NCC NCSA NDA NDU NEC NFR NH NI NIAa NIAb NIEa NIEb NIF NIG NIKa NIKb NILa NILb NIST NISa NISb NJ NLF NMP NNSA NPD NPL NRC NRE NRG NSA NSM NSW NT NTT NTU NUMA NV NXT NY NYU Nacional Nadworny Naeser Nagarsenker Nagel Naijun Nair Nakama Nakao Naks Nam Nana Naoi Nara Narasimhan Narfelt Nassi Natali Navabi Naylor Neal Needham Neff Negin Nehman Neil Neri Nerima Neron NetRexx Nettleton Neubert Neumann Neva Neville NextGen Nico Nigam Nikolaj Nilsen Ninja Nishil Nissen Niz NodeJS Nogueira Nonnumerical Nonprocedural Nori Notkin Nov Numerics Nyberg Nyborg O O'Day O'Leary OA OAA OAB OAG OAH OAP OAS OBOSS OC OCLC OCO OCS OD ODA ODB ODI ODP OEA OGP OGR OIR OLE OLS OLeary OM OMG OMG's OMP OMS OO OOA OOC OOD OOE OOG OOM OOP OOR OORA OOWG OPA OPC OPM ORBs ORI ORK ORS ORT OSA OSATE OSD OSF OSJ OSM OSN OSP OSS OSX OTL OUO OUSDA OVE OVR Oberndorf ObjectAda Obry Obs Oceanogr Oceanologique Ochem Oct Offis Okuse Olavi Olm Omni Online Ont Onuegbe OpenMP OpenSSH Oper Operationalized Orberndorf Orbix Orca Orejas OrieNted Orono Ossian Owego Oxon P PAA PAC PAF PAG PAI PAISE PAIa PAIb PCA PCB PCC PCG PCI PCL PCP PCS PCs PD PDD PDF PDI PDL PDR PDW PED PFC PFP PFW PGA PGE PHD PHF PHS PIA PIB PIC PID PIF PIM PIR PIS PIW PIWG PKA PLF PLI PLL PLS PLV PMA PMD PMG PMI PMM PMP PMR PMS PNA POK POSIX POs PPA PPC PPI PPL PPU PPW PQCC PQE PR PRA PRC PRE PRP PRR PRT PS PSA PSB PSEs PSF PSG PSGa PSGb PSO PSP PSR PSS PSV PSa PSb PSc PSd PSe PTE PTHREADS PTR PTTa PTTb PTTc PTTd PTTe PTTf PTa PTb PV PVS PWG Pallada Palma Pammett Pandurangan Panlilo Panna Panunzio Paoli Paolo Papay Paprocki Paprzycki ParaSail Parameterization Parameterized Parnian Parsian Parsl Pascagoula Pati Patino Paulan Paulk Paulkovich Pautet Pavlos Pawel Payton Pazy Peart Pedersen Pekka Penedo Pentium Perc Pere Peris PermianBasin Persch Perseil Petren Pettersson Pettit Peyre Pfitzmann Ph Pham Philippe Philipson Phillip Phys Piatkowski Pico Pierpoint Pietsch Pinho Piotrowski Pisa Pisonero Pitlochry Plano Plantec Platek PlatypusCheddar Plessey Plinta Ploedereder Pneuli Podgorski Polak Politecnica Pollack Polti PolyORB Polymorphism Polytech Pontus Popov Porion Portsdown PostScript Potratz Poutanen PowerAda Powerpoint Practicalities Practising Pradat PragmAda Prashanth Pre Pren Preprocessor Pretti Preve Prieto Primality Prioritized Prioritizing Pritchett Privitera Proc Prolog Pronk Pruitt Pthreads Pucci Puente Puk Pukite Pulido Pullan Putnam Pyle Pyster QA QAT QPM QTE Qld Queensland Quentin Qui Quicksort Quiggle Quinot Quiros R RAA RAC RAD RAI RAL RAO RAR RAa RAb RBA RBB RBF RBR RC RCAa RCAb RCLAda RDA RDBMS RDC RDD RDEC RDI RDL RDP RDR RDS REA REG RFP RFT RGA RHA RHS RI RIA RISCAda RJF RL RLE RLS RLT RM RMA RMC RMD RMF RMI RMR RNC RNR ROA ROLM ROMs ROO ROS RP RPC RPD RPH RPI RPN RPP RPS RPSa RPSb RPT RRA RRD RRE RRI RRT RSA RSC RSCa RSCb RSCc RSCd RSCe RSF RSG RSL RSR RSS RST RSU RSa RSb RSc RSd RT RTA RTC RTCA RTE RTEMS RTF RTI RTJ RTL RTM RTP RTR RTS RTSJ RTT RUA RUP RWA RWC RWG RWW Ra Racine Radi Ragunathan Raiha Rajaa Rajiv Rajkumar Rajsbaum Rakesh Rami Randal Ransbottom Rao Rapporteur Ras Rathje Ratiu RavenSPARK Ravenscar Ravi Rayadurgam Rayford Raythcon Raytheon Razborov ReCombinatorics ReUSE ReUse Realtime Rebecca Reboul RedHat Reddo Redge Redman Redondo Redwine Reengineering Refactoring Refs Reghizzi Regpat Rehmer Rehost Rei Reibling Reifer Reimplementing Reino Reisner Reiter Rempe Rene Rennels Req Requeue Res Ressler Reston Retargeting Reusability Reznik Ricardo Riccardi Richa Ricky Riehle Rienzo Ripken Rita Rittersdorf Rivas Rivera Roark Robby Robinette Roby Rockhampton Rockville Roderick Rodr Rodrigo Rolf Romanovsky Romanowsky Romanski Romina Romsey Rosen Rosenberg Rosenblum Rosenfeld Rosenkrantz Roski Rossomando Roubine Rouleau Rowe Royuela Rubini Rudolf Ruiz Runge Runit Runtime Ruocco Rupp Rusanova Rustan Ryben Rybin Ryer Rymer Ryukyus S SA SAA SAB SAC SADT SAE SAFECode SAFEPROVER SAI SAIC SAIa SAIb SAL SAMATE SAN SAO SAR SAS SASII SAVI SBG SBM SBV SC SCA SCADA SCD SCE SCG SCI SCJ SCL SCR SCS SD SDA SDC SDE SDO SDP SDS SDSAWG SE SEATECS SECa SECb SED SEI SEL SEM SEMANOL SEP SER SES SETA SEU SFA SFD SFR SFV SGA SGN SHP SHell SI SIA SIB SIBa SIBb SIDPERS SIG SIGA SIGACT SIGADA SIGAda SIGCSE SIGNDM SIGPLAN SIGada SII SIMD SINODQ SIW SLA SLC SLE SLH SLIS SLL SLR SLS SMA SMDG SML SMP SMPs SMR SMS SMT SNCa SNCb SNOBOL SNOa SNOb SNS SOA SOM SP SPAIDS SPARC SPB SPC SPD SPE SPERBER SPG SPL SPP SPS SPSI SQA SQL SR SRA SRE SRI SRM SRN SRP SRS SRT SS SSA SSAD SSB SSC SSD SSF SSI SSL SSLa SSLb SSM SSN SSO SSP SSS SST SSU SSV STA STC STD STH STI STL STM STONEMAN STP STPA STS STT SV SVE SVP SWA SWC SWG SWGa SWGb SWGc SWH SWI SWS SWSC SWSa SWSb SY SYC Sa Saaltink Sabate SableCC Sacha Saeed Saez Safat SafeProver SafetyChip Sagar Saidi Salah Sallie Salwin Samadzadeh Sambasivam Sami Sammet San Sandeep Sanden Sando Sanjai Sankar Santander Santhanam Sarishma Sarkar Sasha Satisfiability Sautejeau Sch Schach Schacht Schaefer Schaetz Schedulability Schefstrom Schill Schilling Schiper Schiphol Schlotz Schmittner Schonberg Schorr Schranz Schuler Schwerdfeger Sci Scoy Seabrook Sebesta Sedghi Seidewitz Seidowitz Seiichi Selic Sende Sep Sequent Sergei Sergey Sergio Settembre Seung Sh Sha Shalls Shan Shatz Shaula Shaun Shayne Shen Sheppard Sheri Sherill Sherrill Shih Shindi Shing Shohei Shoreham Shuai Shumate Shunichi Sibert Sibley Siebert Siemens SigAda Signoles Silberberg Sim Sima SimpleGraphics Simson Simulink Sinaei Singh Singhoff Sinsuke Sintef Siram Sistemi Sj Sk Skavhaug Slind SlowSort Smalltalk Smeaton Snowden Sodhi Soffa SoftBench Softech Soifer Solaris Solderitsch Solovay's Solsi SonarQube Soricone Sotirovski Souripriya SpA Sparkel Spazio SpeAR Speci Spicer Spreadsheet Spurrier Sr Sriram Srivastava StDennis Stachour Stanislav Stateflow Std Stee Steelman Steen Steenari Stef Stepanov Stepehen Stephan Stephane Stephe Sterne Sterrett Stillwater Stojkovic Stoneman Stott Stoughton Stowe Str Strohmeier Strom Strooper Stu Su Suad Sublanguages Substitutability Suchan Sudbury Suitability Sumate Sundbyberg Sungwoon Suonio Supertyping Survivable Swaminathan Sward Swathi SweetAda Swen Swinburne Switz Sy Syiek SymExe Symm SysML Syst Systeam SystemAda SystemC Szab Szabo Szarek T T'Mod TAA TAC TACa TACb TAD TAI TAM TAS TASH TAT TB TCA TCC TCD TCF TCM TCN TCOL TCP TCPa TCPb TCR TCS TCT TDC TDN TDO TDP TDS TEC TER TEX TFMSDSB TFS TGA TGJ TGO TGT TGU THALES THD THe TIA TII TIR TIW TKD TLM TLS TM TMA TML TMP TMR TNI TNN TNP TOU TP TPS TPT TQL TQM TR TRA TRACON TRACONs TRASYS TRCa TRCb TRE TRF TRI TRP TRR TRT TRW TSC TSD TSL TSP TSS TST TSU TSV TTA TTC TTE TTF TTL TTS TUC TVD TVG TWC TX Tabea Taffs Taghia Tahr Tai Tak Takeo Tampere Tanaka Tapio Tardieu Tartan Tarzana Tasklets Tcl TeX Teaneck Teate Technion Technol Tecnologia Tedd Teddington Tel TeleGen TeleSoft Telecomunicacion Telegen Telesoft Temte Terawatt Teri Ternes Tero Terrasa Testbed Tetewsky Teutsch Tewodros Texel Thall Thames Thayer Theologitis Theriault Thirion Thiry Thu Tibbetts Tichy Tijero TimeBench Timm Tindell Tinelli Tischler Tk Toal Tobias Toetenel Tojo Tokar Tokeneer Tokuda Tomar Tomlinson Tonini Tonndorf Toole Toolset Toom Toshimi Tr Tracz Tran Transitioning Treff Trevor Tri TriAda Troiani Trondheim Trono Trub Trucy Tsao Tuang Tue Tull Tullio Turcaso TurtleGraphics Tzilla Tzruya U UA UAA UAC UAD UAG UAI UAL UAN UAP UAR UAS UAT UAV UCC UCI UCN UCS UDC UDD UDP UEA UEB UEC UFS UGA UGP UGR UI UII UIP UIR UIS UJA UK ULF UME UMI UML UMW UNITREP UOO UOT UPE UPMSat UPPAAL UPT UR URC URE URL URP URR URS USB USC USR USS UT UTC UTR UVL UVV UYK Ubnoske Ubuntu Ufuk Uhl Ujvary Ultracomputer Umphress UnCover Unisys Univ Uno Unorthogonalities UoD Upadhyay Upfront Uppsala Urbana Urquhart Urs Urue Uruena Usha Ushijima V VA VAD VADS VAI VANETs VAP VCB VCD VCS VHDL VIP VLS VLSI VLT VM VME VMS VND VNU VNs VRS VSI VSTTE VTT VV VVM Vadim Valero Vallario Valls VanNeste VanScoy VanVlierberghe Vandoeuvre Vanves Varanki Vardanega Vardanego Vardenaga Variabilities Vasilescu Vasiliy Vasily Vasques Vassilios Vazquez Veith Veloso Venet Ver Verdix Verena Verilog Verschelde Verun Vetronics Vic Vila Villaescusa Villefranche Vinod Virtualization Viswanathan Vitali Vittorio Vivek Vladavsky Vlierberghe Voelter Vogel Vojislav Voketaitis Volz Vrije W WA WADAS WAdaS WBR WCA WCB WCP WDD WDS WDV WDW WFD WG WGR WHI WI WIS WML WNS WOA WPR WRA WSA WSDL WSM WSN WSS WSU WTD WUARCHIVE WUC WUP WUS WUW WWMCCS WWW WYS Wa WadaS Waerden Wagreich Wagstaff Wai Walasek Waldecker Waldrop Waligora Wallenburg Wallis Wallnau Waltham Waroquiers Wasserman Waterhouse Waugh Wb WebAda Wedberg Wegner Weicker Weiderman Weidman Weiker Weker Welch Wellings Wengelin Wenglin Westley Westly Wetherell Whalen Whetstone Whilst Whitaker Whitehill Whittredge Wichmann Widder Wilde Wileden Willman Winkler Winterstein Wirtschaftsinformatic Wisehart Wiskunde Wisniewski Witwatersrand Wolfe Wolfram Wolverton Wong Woodbury Woodger Woodside Woolley Wouldn Wrege Writtein Wu X XA XAC XAda XEA XERIS XML XP Xianghua Xianzhong Xiaotian Xing XtratuM Xu Xuandong Y YAS Yadu Yakovlev Yamaski Yannick Yasushi Yavne Yehudai Yemini Yoav Yoelle Yu Yuan Yue Yuichi Yunwei Yusuf Yvon Z Zainalabedin Zalewski Zalila Zamorano Zaventem Zeenat Zeigler Zelkowitz Zensho Zerzelidis Zhan Zhang Zhao Zheng Zhenqiang Zhenyu Zhi Zhu Zhuozhao Ziabkin Ziegenbein Zimand Zineb Zoller Zou Zubia Zueff aWaypoint abbrev ack acknowledgement acm acsl ada adaTime adabooks adacore adagoop adahome adb adr adt affiliationaddress afinity aka al alan analysability analysable analysed analyses analytics analyz applet applets apr archetypes architected architecting ard ary asexual asplund aug authorised automata automation az b backend barnes beamlines beebe behaviour behavioural behaviours bibdate bibmods bibnames bibnet bibsort bibsource bitcoin blockchain booktitle booleans briey btypes bytecode byvolume c callbacks cancelled cbmc cc centres cfm chapman characterizations che checksum checksums cine classcodes co codebases codeplex codetable com combinations comm compilable compliable composability composable composibility computerised confdate conferenceyear conflocation confsponsor conftitle containerized coroutines corpsource countrypub courseware cpp cprover cpu criticised crossref crypto ctor cyber cyberattacks cyberphysical d d'Inf da dafny datacompression dataflow datatypes de deBondeli deallocated deallocation dec defence deferredly delaPuente dependences der dereferences dev devroom di didn digraphs dispatchable dl dobbing docstring doesn doi downloadable dramoletto dx e ed eds edu eecs eg elaboratable elefunt email emptable en endian enviroments equational er es europe ez fUML facto failover feb finalisation fjournal flowcharting focusses fparith frama freeware ftp functionalities g genericity generics georegister georegistration geospatial gnato gnatpro gnuada goto gov govtordernumber gprbuild gridlock groupware guez gui h hauer hexapod hle hler hoc hovater http https hyperscale hypervisor hypervisors i iMAX id ide ieee ih implementability implementor implementors infeasibilities integrators intensional interapplication interoperability interoperable interprocess interprocessor interprogram intertask intra invigorated ira irtaw isn j jan java jewl journalabr jul julia jun june jvm ki l laPuente laborintensive laptop laptops las ldstr le leakproof leif les levine lexer lez lezHarbour lifecycle lim linux lio liveness ll llberg ller loi lossless ltx m mailserv malware manycore marshalling mathison maxima mbeddr mechatronic meta metamodel metaphysician microcontroller microcontrollers microprogramming microservice microservices microsoft middleware mindset mindstorms minimising misbehaviour mispredictions mitigations mixins modelbased modelization modelling modifiability monoprocessor ms multi multiagent multicast multicore multilanguage multiprocess multiprotocol multistep multitask multithreaded multithreading n namespaces natively ndez ness nevaux nez nhfb nio nist nonalphanumeric nonbackward nonbinding nondeterministic nonexperts nonpolymorphic nontype nov numerics o oct octuple ois online onlywhen org organisation organisations orientedness ows parallelization parameterization parameterized pascal pdf phane php plc plresearch plugin polymorphism postcondition postconditions pp ppel pragma pragmas pre prebuilt precompilers preprocessing preprocessor preprocessors presenter's prioritized programme projets pthread pubcountry pvm qualifiable r ravenscar readme realtime recompilation reengineering ref refactored refactoring refactorings rehost rehosting reintegrating replicAda requeue retesting reusability reuseable rez rg rgensen rial ric rn rnfot roadmaps rome rrez rrezGarc rski runtime s samate sanden satisfiability sayers scalability schedulability schedulable se searchable sep ser shareware showtags shtml sigact sigada signalled snapshotable spaceport speci specialised spicer sponsororg sporadics spreadsheet spreadsheets ss st standalone standardisation standardised statechart stateful subsetting substitutability subtyping suitability suitable summarises superlinear supertyping sur synchronisation syntaxis t tasklet tasklets taxonomies telerobotic testbed testbeds tex th thenabort throughputs tice tnm tokeneer toolchain toolkits toolset toolsets toolsuite traceability tradeoffs transitioned transitioning trigonometric turing twocolumn tz u uence uka umich uniprocessor unmarshalling untrusted upfront useable utah utilizations uu v valo vanStee vanderLinden vangelista ve vertices videotex virtualization vol von vonHenke voor vs wc workaround workflow workflows workloads www x xii xiii xkcd xvi xxnote xxpages xxtitle xxvii y yat zefina zquez zsrm