27. ICSE 2005: St Louis, Missouri, USA

Keynote talks

• Luca Cardelli:
  Transitions in programming models: 2. 2
  
• Richard Florida:
  Global talent and innovation. 3
  
• Erich Gamma:
  Agile, open source, distributed, and on-time: inside the eclipse development process. 4
  

State of the art

• Bev Littlewood:
  Dependability assessment of software-based systems: state of the art. 6-7
  
• Armando Fox:
  Addressing software dependability with statistical and machine learning techniques. 8
  
• Roy Want, Trevor Pering:
  System challenges for ubiquitous & pervasive computing. 9-14
  
• Jeffrey O. Kephart:
  Research challenges of autonomic computing. 15-22
  

Extending the discipline

• James D. Herbsleb:
  Beyond computer science. 23-27
  
• Stephen Fickas:
  Clinical requirements engineering. 28-34
  
• Michael Twidale:
  Silver bullet or fool's gold: supporting usability in open source software development. 35
  
• Peter Ayton:
  Extending the discipline: how software can help or hinder human decision making (and vice-versa). 36
  

State of the practice

• Jon Siegel:
  Why use the model driven architecture to design and build distributed applications? 37
  
• Michael Hirsch:
  Moving from a plan driven culture to agile development. 38
  
• Eric Brechner:
  Journey of enlightenment: the evolution of development at Microsoft. 39-42
  
• Roy T. Fielding:
  Software architecture in an open source world. 43
  

Most influential paper of ICSE 17

• Michael Jackson, Pamela Zave:
  Where do you go when you're through the turnstile? 44
  

Panel

• Kevin J. Sullivan, Jeff Magee:
  Science of design. 46
  

Research papers

• William G. Griswold, Bashar Nuseibeh:
  Introduction to Research Papers. 48
  

Aspect-oriented software development

• Gregor Kiczales, Mira Mezini:
  Aspect-oriented programming and modular reasoning. 49-58
  
• Hridesh Rajan, Kevin J. Sullivan:
  Classpects: unifying aspect- and object-oriented language design. 59-68
  
• Carine Courbis, Anthony Finkelstein:
  Towards aspect weaving applications. 69-77
  

Databases

• Yuetang Deng, Phyllis G. Frankl, David Chays:
  Testing database transactions with AGENDA. 78-87
  
• Russell A. McClure, Ingolf H. Krüger:
  SQL DOM: compile time checking of dynamic SQL statements. 88-96
  
• William R. Cook, Siddhartha Rai:
  Safe query objects: statically typed objects as remotely executable queries. 97-106
  

Tools & environments

• Amir Michail, Tao Xie:
  Helping users avoid bugs in GUI applications. 107-116
  
• Reid Holmes, Gail C. Murphy:
  Using structural context to recommend source code examples. 117-125
  
• Andrew Jensen Ko, Htet Htet Aung, Brad A. Myers:
  Eliciting design requirements for maintenance-oriented IDEs: a detailed study of corrective and perfective maintenance tasks. 126-135
  

Testing and analysis

• Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger:
  Automatic generation and maintenance of correct spreadsheets. 136-145
  
• Renée C. Bryce, Charles J. Colbourn, Myra B. Cohen:
  A framework of greedy methods for constructing interaction test suites. 146-155
  
• Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa:
  Demand-driven structural testing with dynamic instrumentation. 156-165
  

Programming languages

• Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama:
  An adaptive object model with dynamic role binding. 166-175
  
• Brian Demsky, Martin C. Rinard:
  Data structure repair using goal-directed reasoning. 176-185
  
• Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen:
  Verifying safety policies with size properties and alias controls. 186-195
  

Change management

• Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz:
  Verification and change-impact analysis of access-control policies. 196-205
  
• Patricia Lago, Hans van Vliet:
  Explicit assumptions enrich architectural models. 206-214
  
• Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao:
  An infrastructure for development of object-oriented, multi-level configuration management services. 215-224
  

Software quality and process

• Audris Mockus, Ping Zhang, Paul Luo Li:
  Predictors of customer perceived software quality. 225-233
  
• Luigi Lavazza, Giancarlo Barresi:
  Automated support for process-aware definition and execution of measurement plans. 234-243
  
• Tariq Al-Naeem, Ian Gorton, Muhammad Ali Babar, Fethi A. Rabhi, Boualem Benatallah:
  A quality-driven systematic approach for architecting distributed software applications. 244-253
  

Software evolution

• Atanas Rountev, Beth Harkness Connell:
  Object naming analysis for reverse-engineered sequence diagrams. 254-263
  
• Eli Tilevich, Yannis Smaragdakis:
  Binary refactoring: improving code behind the scenes. 264-273
  
• Johannes Henkel, Amer Diwan:
  CatchUp!: capturing and replaying refactorings to support API evolution. 274-283
  

Empirical software engineering

• Nachiappan Nagappan, Thomas Ball:
  Use of relative code churn measures to predict system defect density. 284-292
  
• Cemal Yilmaz, Arvind S. Krishna, Atif M. Memon, Adam A. Porter, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan:
  Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems. 293-302
  
• Parastoo Mohagheghi, Bente Anda, Reidar Conradi:
  Effort estimation of use cases for incremental large-scale software development. 303-311
  

Security

• Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant:
  Automatic discovery of API-level exploits. 312-321
  
• Jan Jürjens:
  Sound methods and effective tools for model-based security engineering with UML. 322-331
  
• Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam:
  Improving software security with a C pointer analysis. 332-341
  

Fault localization

• Holger Cleve, Andreas Zeller:
  Locating causes of program failures. 342-351
  
• Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rothermel:
  An empirical study of fault localization for end-user programmers. 352-361
  

Requirements and specifications

• Jane Cleland-Huang, Raffaella Settimi, Oussama Ben Khadra, Eugenia Berezhanskaya, Selvia Christina:
  Goal-centric traceability for managing non-functional requirements. 362-371
  
• Sascha Konrad, Betty H. C. Cheng:
  Real-time specification patterns. 372-381
  
• Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
  Monitoring and control in scenario-based requirements analysis. 382-391
  

Empirical evaluation of testing

• Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, Thomas Stauner:
  One evaluation of model-based testing and its automation. 392-401
  
• James H. Andrews, Lionel C. Briand, Yvan Labiche:
  Is mutation an appropriate tool for testing experiments? 402-411
  
• David Leon, Wes Masri, Andy Podgurski:
  An empirical evaluation of test case filtering techniques based on exercising complex information flows. 412-421
  

Static and dynamic analysis

• Christoph Csallner, Yannis Smaragdakis:
  Check 'n' crash: combining static checking and testing. 422-431
  
• Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
  Efficient and precise dynamic impact analysis using execute-after sequences. 432-441
  
• Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre:
  DynAlloy: upgrading alloy with actions. 442-451
  

Empirical studies

• Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek:
  Beyond templates: a study of clones in the STL and some general implications. 451-459
  
• Elspeth Golden, Bonnie E. John, Len Bass:
  The value of a usability-supporting architectural pattern in software architecture design: a controlled experiment. 460-469
  
• Martin Höst, Claes Wohlin, Thomas Thelin:
  Experimental context classification: incentives and experience of subjects. 470-478
  

Experience reports

• Constance L. Heitmeyer, Klaus Pohl:
  Introduction to the experience reports track. 480
  

Agile methods

• Grigori Melnik, Frank Maurer:
  A cross-program investigation of students' perceptions of agile methods. 481-488
  
• Denise M. Woit:
  Requirements interaction management in an eXtreme programming environment: a case study. 489-494
  
• Hanna Hulkko, Pekka Abrahamsson:
  A multiple case study on the impact of pair programming on product quality. 495-504
  

Software architectures

• Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang:
  Re-engineering software architecture of home service robots: a case study. 505-513
  
• Ian Gorton, Liming Zhu:
  Tool support for just-in-time architecture reconstruction and evaluation: an experience report. 514-523
  

Product lines & processes

• James D. Herbsleb, Daniel J. Paulish, Matthew Bass:
  Global software development at siemens: experience from nine projects. 524-533
  
• Martin Verlage, Thomas Kiesgen:
  Five years of product line engineering in a small company. 534-543
  
• Klaus Schmid, Isabel John, Ronny Kolb, Gerald Meier:
  Introducing the puLSE approach to an embedded system population at testo AG. 544-552
  

Requirements & testing

• Christof Ebert, Jozef De Man:
  requirements uncertainty: influencing factors and concrete improvements. 553-560
  
• Neil A. M. Maiden, Suzanne Robertson:
  Developing use cases and scenarios in the requirements process. 561-570
  
• Stefan Berner, Roland Weber, Rudolf K. Keller:
  Observations and lessons learned from automated testing. 571-579
  

Prediction & verification

• Nachiappan Nagappan, Thomas Ball:
  Static analysis tools as early indicators of pre-release defect density. 580-586
  
• Tim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn, Sherry Stukes:
  Validation methods for calibrating software effort models. 587-595
  
• Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
  A case study on the automated verification of groupware protocols. 596-603
  

Education & training track

• Paola Inverardi, Mehdi Jazayeri:
  Introduction to education and training track. 606
  
• Mary Shaw, James D. Herbsleb, Ipek Ozkaya:
  Deciding what to design: closing a gap in software engineering education. 607-608
  
• Tetsuo Tamai:
  How to teach software modeling. 609-610
  
• Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante:
  Software test program: a software residency experience. 611-612
  
• Chang Liu:
  Enriching software engineering courses with service-learning projects and the open-source approach. 613-614
  
• Ken Blaha, Alvaro E. Monge, Dean Sanders, Beth Simon, Tammy VanDeGrift:
  Do students recognize ambiguity in software design? a multi-national, multi-institutional report. 615-616
  
• Michael D. Ernst, John Chapin:
  The groupthink specification exercise. 617-618
  
• Linda B. Sherrell, Sajjan G. Shiva:
  Will earlier projects plus a disciplined process enforce SE principles throughout the CS curriculum? 619-620
  
• Hans van Vliet:
  Some myths of software engineering education. 621-622
  
• Joanne M. Atlee, Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson:
  Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering. 623-624
  
• Neha Katira, Laurie A. Williams, Jason Osborne:
  Towards increasing the compatibility of student pair programmers. 625-626
  
• Amir Zeid, Moemen Elswidi:
  Using peer reviews in teaching framework development. 627-628
  
• Wilson P. Paula Filho:
  Process issues in course projects. 629-630
  
• Zakarya Alzamil:
  Towards an effective software engineering course project. 631-632
  
• Akinola S. Olalekan:
  Conducting empirical software engineering research in Nigeria: the posing problems. 633-634
  
• Clemens A. Szyperski:
  The making of a software engineer challenges for the educator. 635-636
  
• Carlo Ghezzi, Dino Mandrioli:
  The challenges of software engineering education. 637-638
  
• Victor Pankratius, Wolffried Stucky:
  Information systems development at the virtual global university: an experience report. 639-640
  
• André van der Hoek, David G. Kay, Debra J. Richardson:
  A B.S. degree in informatics: contextualizing software engineering education. 641-642
  
• Matthew J. Hawthorne, Dewayne E. Perry:
  Software engineering education in the era of outsourcing, distributed development, and open source software: challenges and opportunities. 643-644
  
• Yael Dubinsky, Orit Hazzan:
  The role of a project-based capstone course. 645-646
  
• Orit Hazzan, James E. Tomayko:
  Teaching human aspects of software engineering. 647-648
  
• Paolo Ciancarini:
  On the education of future software engineers. 649-650
  

Doctoral symposium oral presentations

• Frank McCarey, Mel Ó Cinnéide:
  Agile software reuse recommender. 652
  
• Olga Jaufman:
  Emergent process design. 653
  
• Corrado Aaron Visaggio:
  Empirical validation of pair programming. 654
  
• Sam Guinea:
  Self-healing web service compositions. 655
  
• David Saff, Michael D. Ernst:
  Test factoring: focusing test suites for the task at hand. 656
  
• Sascha Konrad:
  Assurance patterns for distributed real-time embedded systems. 657
  
• John C. Georgas:
  Knowledge-based architectural adaptation management for self-adaptive systems. 658
  
• Guozheng Ge, E. James Whitehead Jr.:
  Automatic generation of rule-based software configuration management systems. 659
  
• Zhenchang Xing:
  Design mentoring based on design evolution analysis. 660
  

Research demonstrations

• Steven P. Reiss, Manos Renieris:
  Demonstration of JIVE and JOVE: Java as it happens. 662-663
  
• Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip:
  Chianti: a change impact analysis tool for java programs. 664-665
  
• William Chung, William H. Harrison, Vincent J. Kruskal, Harold Ossher, Stanley M. Sutton Jr., Peri L. Tarr, Matthew Chapman, Andrew Clement, Helen Hawkins, Sian January:
  The concern manipulation environment. 666-667
  
• David Saff, Michael D. Ernst:
  Continuous testing in eclipse. 668-669
  
• Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy:
  The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. 670-671
  
• Michele Lanza, Stéphane Ducasse, Harald Gall, Martin Pinzger:
  CodeCrawler: an information visualization tool for program comprehension. 672-673
  
• Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
  Fluent-based web animation: exploring goals for requirements validation. 674-675
  
• Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng:
  Modeling and implementing software architecture with acme and archJava. 676-677
  

Workshops

• Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore:
  Workshop on advances in model-based software testing. 680
  
• Danilo Bruschi, Bart De Win, Mattia Monga:
  Software engineering for secure systems. 681
  
• Alessandro F. Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini:
  Software engineering for large-scale multi-agent systems - SELMAS'05. 682
  
• Philip M. Johnson:
  Second international workshop on software engineering for high performance computing system applications. 683
  
• Kevin Sullivan:
  7th international workshop on economics-driven software engineering research. 684
  
• Martin P. Robillard, Peri L. Tarr:
  First international workshop on the modeling and analysis of concerns in software (MACS 2005). 685
  
• Michael John, Frank Maurer, Bjørnar Tessem:
  Human and social factors of software engineering. 686
  
• David Budgen, Pearl Brereton, Barbara Kitchenham, Stephen G. Linkman:
  International workshop on realising evidence-based software engineering. 687
  
• Bernard Wong, June M. Verner, Sunita Chulani, Barry W. Boehm:
  Third workshop on software quality. 688-689
  
• Ahmed E. Hassan, Richard C. Holt, Stephan Diehl:
  MSR 2005 international workshop on mining software repositories. 690
  
• Rogério de Lemos, Alexander B. Romanovsky:
  Workshop on architecting dependable systems (WADS 2005). 691
  
• Jelber Sayyad-Shirabad, Tim Menzies:
  Predictor models in software engineering (PROMISE). 692
  
• James Andrews, Lori L. Pollock:
  Third international workshop on dynamic analysis(WODA 2005). 693
  
• Joseph Feller, Karim Lakhani, Brian Fitzgerald, Walt Scacchi, Scott A. Hissam:
  Open source application spaces: the 5th workshop on open source software engineering. 694
  
• Chris Salzmann, Thomas Stauner, Alexander Pretschner:
  2nd international workshop on software engineering for automotive systems. 695
  
• Lawrence Chung, Xavier Franch, Neil A. M. Maiden:
  Models and processes for the evaluation of off-the-shelf components -- MPEC'05. 696
  
• Yves Bontemps, Alexander Egyed:
  4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05). 697
  
• Gregg Rothermel, Sebastian G. Elbaum:
  The first workshop on end-user software engineering. 698
  
• David Garlan, John Mylopoulos, Marin Litoiu, Dennis B. Smith, Hausi A. Müller, Kenny Wong:
  DEAS 2005: workshop on the design and evolution of autonomic application software. 699
  

Tutorials

• Holger Peine:
  Rules of thumb for secure software engineering. 702-703
  
• Leon Sterling, Thomas Juan:
  The software engineering of agent-based intelligent adaptive systems. 704-705
  
• Barry W. Boehm, A. Winsor Brown, Richard Turner:
  Spiral development of software-intensive systems of systems. 706-707
  
• Howard B. Rockman, Vladimir Khodosh:
  The software engineer and the development, management and use of intellectual property. 708-709
  
• Jane Cleland-Huang, Mark Denne:
  Financially informed requirements prioritization. 710-711
  
• Ivica Crnkovic:
  Component-based software engineering for embedded systems. 712-713
  
• Albert Zündorf:
  Story driven modeling: a practical guide to model driven software development. 714-715
  
• Thomas Kühne:
  Understanding metamodeling. 716-717
  
• Stephan Diehl:
  Software visualization. 718-719
  
• Donald Firesmith:
  Engineering safety-related requirements for software-intensive systems. 720-721
  
• Alexander Pretschner:
  Model-based testing. 722-723
  
• Paolo Tonella:
  Reverse engineering of object oriented code. 724-725
  
• Ian Gorton, Anna Liu:
  An architects guide to enterprise application integration with J2EE and .NET. 726-727
  
• Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
  Transformations of software models into performance models. 728-729
  
• Gregor Kiczales:
  Aspect-oriented programming. 730
  
• Frank Maurer, Grigori Melnik:
  What you always wanted to know about agile methods but did not dare to ask. 731-732