AAC AAH AAI AAR AAS AAT ACB ACC ACL ADF ADR ADT ADTEST ADV AEC AEE AEN AEP AET AETG AFE AFI AGL AGP AGS AGT AHC AHP AHR AI AIN AIS AMT AMV AOS AP APC API APU ARA ARO ARS ASA ASC ASD ASN ASR AST ASU ASV ATC ATD ATM ATN ATW AVL AVM AWC Aagaard Abadi Abd Abdel Abdelzaher Abran Achour Agarwal Agrawala Agresti Aguera Ahmad Ahuja Akella Akyildiz Alberg Albrecht Algres Alur Alvisi Amalou Amat Amdahl Ammann Ammarguellat Ampo Anagnostou Angelaccio Antonelli Antonellis Antoy Arakawa Arazi Ardis Arlat Armitage Arora Ashrafi Atif Atlee Audenaert Aue Augeraud Augustin Avalon Avritzer Avrunin Azuma B BAC BAE BCT BDL BEM BKT BMP BSL Babin Badrinath Bae Bagrodia Bal Balabanovic Balasubramanian Balbo Banawan Bandinelli Banerjee Banlassad Barbosa Barcucci Barua Basili Bastani Bastos Batini Batory Battista Battiston Beame Beetem Belli Benander Benitez Beounes Berger Berman Berthomieu Bertolazzi Bertolino Berzins Bezuidenhoudt Bhandari Bhansali Bharadwaj Bhattacharya Bi Bicarregui Bieman Bimbo Binkley Biswas Bochmann Boehm Boies Bolliger Bonin Borchering Borges Borgida Botting Boucherie Bourdeau Boussinot Bouziane Bowdidge Boyer Braccini Bradac Brasili Breitbart Breu Briand Brocklehurst Bruegge Bruns Bucci Buchholz Buhr Burh Buttazzo Byung C CAA CAE CAI CBA CBD CBP CCB CCD CCF CCH CCR CDF CDM CDP CDS CEA CEP CES CFE CFI CFN CFP CFS CFT CGO CHA CHD CIC CID CIP CIS CKM CLC CLD CMA CMB CMC CME CMI CMM CMP CMS CMW CNC COBE CODEN COE COS CP CPB CPC CPH CPN CPR CPS CPV CRA CRB CRC CRP CSC CSCW CSD CSDL CSF CSI CSP CSPL CSR CSS CST CTF CTL CUM CVR CVS CVT Cabaniss Cabrera Cacace Caccamo Caching Caglayan Camarinopoulos Camilleri Campanai Campodonico Campos Canfora Cardelli Cardenas Carle Carlini Carreira Carrington Casavant Caspi Catarci Cavalieri Ceri Cha Chaar Chan Chandersekaran Chandra Chandran Changqing Chaves Cheng Chernak Cherniavsky Chetali Cheung Chidamber Chillarege Chintamaneni Chiola Chmura Choi Chong Chu Chulani Chun Chung Churcher Ciancarini Ciardo Ciciani Ciminiera Cimitile Cindio Clemencon Cochrane Coen Colom Comerford Compartmented Conradi Consel Conte Corbett Cordy Costagliola Counsell Courtiat Covington Cowan Craigen Cremers Crespi Crespo Crimi Cristian Crouzet Cugola Cui Cyclomatic Cytron D DAO DAS DBMS DCA DCT DDG DDI DDP DDR DES DFC DFP DFS DIA DLB DLS DMA DMF DMT DOI DPD DRD DSA DSC DSH DSI DSL DSP DSPNs DSS DTR DU DVC DVM Daeche Dalal Daly Dar Darcy Darimont Das Daskalantonakis Dathan Datta Davison De DeAntonellis DeLine DeMarco DeMillo DeNicola DePaoli DeVries Deavours Debray Dedene Degl Degl'Innocenti DeglInnocenti DelBimbo Delis Denning Deo Deok Desharnais Deswarte Deubler Devanbu Dhar Dharap Di DiFelice Dias Diaz Dimitrov Doane Dogac Doi Dolev Domingue Donatelli Donatiello Dotan Dromey Dsouza Dubois Dubrow Duran Dutertre Dutoit Dutta Dwyer Dyck Dzida E EAB EAC EAE EAF EAI EAS EAV EBA EBM ECB ECE ECR ECS EDA EDD EDE EDF EDK EDR EEA EEC EEK EEM EEP EER EES EEV EEW EFE EFP EHF EIE ELE EME EML EMM EMN EMS ENF EOB EOS EPF EPH EPOS EPP EPS EQE EQL ERF ERO ESA ESD ESE ESML ESP ESR ESS ETB ETM EUL EUW Easterbrook Ebert Ebrahimi Eckhardt Eich Eick Eisenstadt El Elvang Emmerich Engberts Engler Erdogmus Ergodicity Estimeetings Etessami Evanco F FAF FAS FAX FBA FCL FDC FDP FDR FDS FER FES FFA FFI FFL FID FII FMM FMP FMR FNN FOA FPA FPE FPP FPS FRA FRH FSA FSB FSC FSD FSI FSL FSO FST FVA FVC FVF FVL Fabre Falkowski Faloutsos Fam Faulk Faulring Fei Felder Feldman Feng Fenton Ferrante Ferrari Ferreira Ferrency Ferrucci Ferscha Fetzer Fiadeiro Fickas FieldBus Finelli Finkelstein Finney Fiuczynski Flatebo Focardi Fong Foo Fornes Frakes Franceschinis Franki Frankl Frans Frappier Fredman Freitag Fuggetta Fujimoto Fujita Fujiwara G GEC GEI GFC GGM GIP GMS GQN GR GRT GSP GSPNs GTC GUI Gabbay Gaeta Gagne Gahlot Gallimore Gallivan Ganesan Gannon Gansner Garard Garlan Gaudiot GenVoca Genuchten Georgakopoulos Georgiopoulos Geraci Gerhart Gerrard Ghafoor Ghedamsi Ghezzi Ghosal Ghosh Gifford Girault Girgensohn Girgis Gligor Godefroid Goldschlag Golin Gopalakrishnan Goradia Goransson Gorla Gorrieri Gouda Govindarajan Goyal Graefe Granda Grandi Grassi Gregorio Greif Gries Griswold Grosspietsch Grundy Guaspari Guercio Guo Gupta Gutjahr Guttag Gyu H HDC HES HFE HFM HIC HKR HMA HMB HPS HRG HSA HSS HTM Haban Hafiz Hailpern Halbwachs Halici Halliday Hamacher Hamid Hamidzadeh Harandi Harbour Harel Hariri Harrold Hatono Hatton Haumer Hausman Heckman Heering Heileman Heimdahl Heindl Heintze Heiss Heitmeyer Helander Helary Hellerstein Helman Hemmendinger Henke Henschen Henzinger Heonshik Herath Hetmanski Heydon Higashino Hilderman Hildreth Hildum Hirakawa Hitz Hogg Hollingsworth Holtzblatt Holzmann Honiden Hookway Horebeek Horning Hosking Houstics Howden Howes Hrischuk Hsi Hsin Hsiung Hsu Hu Hua Huang Huberman Hudgins Hufschmidt Huitt Hura Hurfin Hypercharts Hyun IAA IAB IAT IAU IBV IC ICD ICS IDC IDR IDU IDW IEE IEEE IEP IESEDJ IFP IFR IGP IHM IIT ILP IMC IMM IOH IOO IPO IPS IQR IRF IRL IRM ISD ISI ISP ISS ISSN IST ITD Iazeolla Ibaraki Ichikawa Ieong Iglewski Ilgun Indiresan Ing Inhwan Innocenti Internet Interprocedural Interprocess Inverardi Irani Isakowitz Itai Itoh Iyer J Jaccheri Jacoby Jaffe Jagadeesan Jahanian Jain Jalby Jalote Jang Jarke Jarvelin Jarzabek Jayaprakash Jayasumana Jazayeri Jedrzejowicz Jeffery Jen Jeng Jennhwa Jia Jian Jianan Jiang Jie Jin Jodis Jong Jonsson Jorgensen Joshi Juanole Jungnitz K KAT KBA KKA KKL KLAIM KRR KSP Kaaniche Kaashoek Kailar Kalbarczyk Kalet Kalpakis Kameda Kang Kanoun Kao Karam Karamanolis Karger Karunanithi Katcher Kato Katoh Kaudel Kauffman Kaufmann Kearns Keck Keefe Kekre Kellner Kemerer Kemmerer Kemper Kenney Kentaro Kephart Khalil Khedri Khendek Khoshgoftaar Khosla Ki Kinsley Kiskis Kitchenham Klarlund Kleinrock Klimovitski Klint Knoche Koenemann Koestler Kolev Korel Koutsofios Kouvatsos Kozaczynski Krauser Krishnamurthy Krishnan Krogh Krueger Kshemkalyani Kuan Kuehn Kulkarni Kumar Kume Kunsoo Kunz Kuo Kurki Kuruma Kutten Kwon Kyoo L LAA LBA LBC LBN LBP LCA LCB LDA LDP LFC LIL LISPACK LL LMS LMT LOTOS LRU LSP LUSTRE LUZ Laamanen Labaw Lachover Ladd Lagnier Lakshmanan Lakshmi Lalanda Lamport Lamsweerde Landi Lanubile Laprie Laranjeira Larus Lavazza Le LeMetayer Lecerof Lederer Leeser Lehoczky Leite Lejter Leong Letier Leung Levendel Leveson Lewi Li Liang Liao Lichter Lieberherr Liepins Likas Lim Lindell Lindemann Liotta Litecky Littlewood Litwin Liu Logres Loi Longley Lor Lorge Lortz Lu Lucena Luckham Lunn Lunt Luo Lupu Luqi Lustman Lutz Lyul Lyyttinen M MCF MCG MCL MCM MCN MCP MCS MCT MDL MDS MED MEM MFC MFIa MFIb MHD MII ML MLA MLD MLP MMR MMS MNF MOS MPC MPI MPL MPM MRI MRM MRT MSC MSD MSL MSO MSP MSR MST MTE MTI MUS MVC MVD MVS MVT Maarek Madey Madhavji Maffeo Magee Magill Mahajan Mahony Maimone Mainkar Maisie Majumdar Makowsky Malaiya Malhotra Malloy Malony Mandrioli Mannino Manolopoulos Marchukov Marinuzzi Markowitz Marlet Marre Marsan Martins Marzullo Masiero Masuda Mataga Mateti Mathur Matson Matsumoto Matsuura Mauri Mawl Mayrhauser McAllister McCann McCartney McCluskey McHugh McLellan McNamee Medvidovic Mehra Melhart Mellichamp Melo Menasce Merks Mesrobian Messinger Metayer Micallef Mickish Milewski Mili Millo Ming Minocha Mirabella Miriyala Miro Mishra Misra Mittermeir Miyoshi Mizuno Modechart Modugno Moebus Mok Montangero Montazeri Montuschi Mook Moorsel Morasca Morell Morgenthaler Moriconi Morignot Mortazavi Morzenti Moser Moskowitz Motta Mouhamed Mugridge Muhanna Mukherjee Mukhopadhyay Mullin Multiversion Munson Muntz Muppala Murata Murrill Musser Mutka Mutlu Mylopoulos Myrtveit N NAM NAS NAV NIA NIS NMR NRV NSI NSS NST NUMA Naamad Nakajo Nakakoji Nakata Nam Narasimhan Narayana Natkin Needham Neilson Nesi Netzer Neufeld Ng Nicholl Nicol Nicola Nicollin Niemi Nies Ning Nishida Nishimoto Nishimura Nithi Nitto Noonan Norcio Nordahl Nota Notkin Notomi Novak Ntafos Nuseibeh O OAS OCC OCF ODC ODR OLP OLT OMI OMR OOF OOS OSC OSD OSI OSS OTD OTP Obaid Objectcharts Offutt Ohba Ohlsson Oivo Olender Oliveira Olnhausen Olovsson Olsson Orca Orefice Oreizy Ortalo Ossher Osterbye Osterweil Ostrolenk Ott Owre P PAC PAISLey PAU PBM PCF PCI PCO PCR PCT PDF PDW PES PFG PFP PGD PIB PID PIR PIS PLB PLS PMI PMM PMP PMR PMS PMT PMV PNA PNL PNT PPA PPE PPL PPR PPS PQL PRA PRF PRT PSA PSD PSH PSP PSR PSS PST PTD PTV PVR PVS PWS Pacini Palma Palsberg Pande Paoli Papelis Parnas Patel Paterno Paulo Paulson Pawlowski Pei Pekergin Peled Peng Petrenko Petri Petriu Petrov Pezze Pfleeger Pfleger Picciotto Picco Pickard Pilaud Pillai Pinzani Pnueli Podgurski Poels Pohl Polak Politi Porisini Porras Prakash Prasad Pre Prechelt Prolog Protsko Pucci Puchol Pugliese Puketza Purtilo Q QAP QBD QBE QDA QES QGQ QIU QME QMS QON Qadah Qian Qin Qing Qureshi R RAA RAL RBD RBP RCF RCP RCT RDS RES RFE RGE RGM RIS RISC RL RM RMA RNM RNS ROS RPB RPC RPR RRT RSA RSE RSF RSI RSP RSR RTB RTS RTSS RTU RVC RVT RVV Radivojevic Raghavan Raghavendra Rainer Rajan Rajlich Ralston Ramamoorthy Ramanathan Ramesh Rangan Rangarajan Rao Rapide Rask Ratel Rattner Ravishankar Ravn Raynal Recalibrating RecentIssue Redmiles Reghizzi Rego Reiss Reiter Rekers Reubenstein Reusability Rhee Riemenschneider Ries Ripoll Rischel Ritchie Robillard Roesler Rolia Rolland Roma Rommen Ronan Roome Roscoe Rosenbaum Rosenblum Rossi Rosson Rothermel Roussopoulos Rubin Runeson Rushby Rusinkiewicz Rutenbar Rwo Ryu S SAH SAI SAR SAS SBC SBE SBI SBM SBS SCA SCE SCP SCR SCS SCW SDC SDE SDL SDP SDR SDT SED SEM SES SFA SFE SFT SFV SGM SGR SI SIM SIMD SL SLK SMN SMO SMR SOFL SOFTW SPC SPD SPE SPM SPR SPT SPiCE SQL SQM SQP SRA SRE SRM SRS SRT SSA SSB SSC SSD SSI SSL SSM SSP SSR SSS STA STATEMATE STB STC STS STV SVC SVD SVM SVR SVS SVU SWE SWSL Saavedra Sahinoglu Saksena Sankar Sanping Santucci Sarkar Sarper Sassa Satyanarayanan Saxena Sayrs Scalas Scamell Schaefer Schafer Schell Scheurich Schlossberg Schlumberger Schneidewind Schnorr Schofield Schurmann Schwan Schwartzbach Schwarz Scudder SeaView Seesoft Seidman Seiter Selby Seliger Sellis Sen Sengupta Seok Seongsoo Serazzi Sereno Sethuraman Setia Setliff Sevcik Shankar Shaoying Shatz Shekhar Shen Shepperd Shieh Shih Shima Shimeall Shing Shiratori Shivaratri Shneiderman Shoval Shtull Shu Shull Shyamasundar Sibert Siewiorek Sifakis Siff Silberschatz Silva Simone Singh Singhal Singpurwalla Sinha Sitaraman Siu Siy Skrzypek Sloman Sluizer Smalltalk Snoeck Socha Sockut Soffa Sohn Solheim Sommerville Soo Sorensen Sorenson Southworth Souveyet Souza Sowmya Spanje Spezialetti Spinuzzi Srimani Srinivasan Sriram Stafylopatis Stamos Stanczyk Stanojevic Staskauskas Statecharts Stavely Stavridou Steece Steegmans Stefano Steffen Stensrud Stiemerling Stoller Stornetta Stoyen Stoyenko Strigini Strom Strooper Strosnider Sukumaran Sundareshan Suonio Suri Sutcliffe Sutcu Suwunboriruksa Swaminathan Sztrik T TAA TAF TAS TBA TBC TBL TCE TCP TDA TDD TDE TDI TDP TDS TEB TFB TFS THC TII TLA TLB TMN TP TPL TPM TRANS TRI TROPICO TRP TRT TSB TSC TSE TSK TSP TSS TUI TVM Tada Tae Taff Tai Taizan Takada Takamatsu Tamura Tanaka Tanca Tanenbaum Tani Tarver Tate Teck Tel Tewari Thibault Thomasian Thomason Thu Tian Tichy Tindell Tisato Tobin Toh Tohma Tolksdorf Toman Tomek Torii Tortora Towsley Tradeoffs Trakhtenbrot Trauring Tremblay Triantafillou Trie Tripathi Trivedi Tsai Tsang Tsoukalas Tucci TuringTool Turini Tygar Tyrrell Tzen Tzeng U UAM UAP UCD UCI UCM UCS UCT UFC UFE UHL UIP ULS UNC UPC UPL UPO URL USC USM UTM UTN UTO UTR UTS Uchihira Ukelson Ural Usuda V VAP VCS VDI VDM VGS VKE VLC VLS VMM VOO VTC Vaishnavi Valenzano Vander VanderWiel Varvarigou Venkatesan Venkatesh Verner Vessey Vicario Vigna Viller Visaggio Vitali Vitiello Vo Voas Volovik Volpe Von VonMayrhauser Vose Votta Vouk Vranes Vries W WCR WDO WPO WSH WSL WST WWW Wadge Wah Waheed Waldinger Waldspurger Wassenhove Weerahandi Weide Weidenhaupt Weigert Weihl Welling Wellings Wermelinger Werth Weyuker Whang Whitley Whittaker Wicinski Wieand Wiel Wijshoff Wilde Wileden Willemet Willson Winkler Winstanley Wohlin Wohlwend Wojcik Wolfson Wolfstahl Woodbury Woodside WorkBench Wp Wust Wybranietz Wyllie X XTE XWR Xception Xiao Xiaodong Xiaolei Xiping Xu Y YGP Yabo Yadav Yamagata Yamano Yamashita Yan Yao Yasumatsu Yazia Yee Yehudai Yellin Yemini Yesha Yih Ying Yong Yoo Younis Yovine Yow Yu Yun Z Zahedi Zaks Zaremski Zave Zelesnik Zelkowitz Zhang Zhao Zhen Zhou Zhu Zonta Zullighoven Zurko Zuse Zweben Zweig ack acknowledgement acm adabooks adr analyses apr arnumber aug automata automation beebe bibdate bibmods bibnames bibnet bibsource bifunctional bottlenecking caching cf checkpointing combinators connectionist d dataflow dataset datasets dataspace david de dec decompositional def dependences dijkstra doi e edsger edu elicitation feb fjournal foolproofing franca g hopCP http https hypergeometric hypermedia ieee ieeetranssoftweng ieeexplore indices infeasibility inlining interoperation interprocedural intralevel j jan jsp jul jun litprog liveness lumpable m meta metadatabase metaprogramming modularization multiagent multicast multicomputer multiframe multigraph multimedia multiparadigm multiperspective multitolerant multiversion nhfb nondeterministic nonmasking nonrandomness nonregenerative nontraditional nov oct online org parallelization pathwise pipelined possibilistic postconditions pre prng punumber queueing reachability realtime reusability s schedulability schemas selectivities semijoins sep showtags specificational statecharts stateful stepsize subdomain subtransport subtree subtyping tex toolset tradeoffs twocolumn typestate uniprocessor unix updatable utah v vanGenuchten vanLamsweerde vol von vonMayrhauser vs w www x xpl y