The Community for Technology Leaders
27th International Conference on Software Engineering (2005)
Saint Louis, MO, USA
May 15, 2005 to May 21, 2005
ISBN: 1-59593-963-2
TABLE OF CONTENTS

Transitions in programming models: 2 (Abstract)

L. Cardelli , Microsoft Research, Cambridge, United Kingdom
pp. 2

Global talent and innovation (Abstract)

R. Florida , George Mason University, Fairfax, Virginia
pp. 3

System challenges for ubiquitous&pervasive computing (Abstract)

T. Pering , Intel Research, Santa Clara, CA
pp. 9-14

Research challenges of autonomic computing (Abstract)

J.O. Kephart , IBM Thomas J. Watson Research Center, Hawthorne, NY
pp. 15-22

Beyond computer science (Abstract)

J.D. Herbsleb , Carnegie Mellon University, Pittsburgh, PA
pp. 23-27

Clinical requirements engineering (Abstract)

S. Fickas , University of Oregon, Eugene, OR
pp. 28-34

Silver bullet or fool's gold: supporting usability in open source software development (Abstract)

M. Twidale , University of Illinois at Urbana-Champaign, Urbana, Illinois
pp. 35

Moving from a plan driven culture to agile development (Abstract)

M. Hirsch , Zühlke Engineering AG, Schlieren
pp. 38

Journey of enlightenment: the evolution of development at Microsoft (Abstract)

E. Brechner , Microsoft Development Excellence, Redmond, WA
pp. 39-42

Software architecture in an open source world (Abstract)

R.T. Fielding , Day Software, Irvine, CA
pp. 43

Where do you go when you're through the turnstile? (Abstract)

P. Zave , AT&T Laboratories, Florham Park, NJ
pp. 44

Science of design (Abstract)

J. Magee , Imperial College, London, UK
pp. 46

Introduction to Research Papers (Abstract)

B. Nuseibeh , The Open University, UK
pp. 48

Aspect-oriented programming and modular reasoning (Abstract)

M. Mezini , Technische Universität Darmstadt, Darmstadt, Germany
pp. 49-58

Classpects: unifying aspect- and object-oriented language design (Abstract)

K.J. Sullivan , University of Virginia, Charlottesville, Virginia
pp. 59-68

Towards aspect weaving applications (Abstract)

A. Finkelstein , University College London, Adastral Park, Martlesham Heath, UK
pp. 69-77

Testing database transactions with AGENDA (Abstract)

P. Frankl , Polytechnic University, Brooklyn, NY
pp. 78-87

SQL DOM: compile time checking of dynamic SQL statements (Abstract)

I.H. Kruger , University of California, San Diego, La Jolla, CA
pp. 88-96

Helping users avoid bugs in GUI applications (Abstract)

Tao Xie , University of Washington, Seattle, WA
pp. 107-116

Using structural context to recommend source code examples (Abstract)

G.C. Murphy , University of British Columbia, Vancouver, BC, Canada
pp. 117-125

A framework of greedy methods for constructing interaction test suites (Abstract)

M.B. Cohen , University of Nebraska-Lincoln, Lincoln, NE
pp. 146-155

Demand-driven structural testing with dynamic instrumentation (Abstract)

M.L. Soffa , University of Virginia, Charlottesville, Virginia
pp. 156-165

An adaptive object model with dynamic role binding (Abstract)

N. Ubayashi , Kyushu Institute of Technology, Fukuoka, Japan
pp. 166-175

Data structure repair using goal-directed reasoning (Abstract)

M. Rinard , Massachusetts Institute of Technology, Cambridge, MA
pp. 176-185

Explicit assumptions enrich architectural models (Abstract)

H. van Vliet , Vrije Universiteit Amsterdam, The Netherlands
pp. 206-214

Predictors of customer perceived software quality (Abstract)

Ping Zhang , Avaya Research, Basking Ridge, NJ
pp. 225-233

Binary refactoring: improving code behind the scenes (Abstract)

Y. Smaragdakis , Georgia Institute of Technology, Atlanta, GA
pp. 264-273

Effort estimation of use cases for incremental large-scale software development (Abstract)

R. Conradi , Norwegian University of Science and Technology, Trondheim, Norway and Simula Research Laboratory, Lysaker, Norway
pp. 303-311

Automatic discovery of API-level exploits (Abstract)

R.E. Bryant , Carnegie Mellon University, Pittsburgh, PA
pp. 312-321

Sound methods and effective tools for model-based security engineering with UML (Abstract)

J. Jurjens , Competence Center for IT Security, SoftwareSystems Engineering, TU Munich, Germany
pp. 322-331

Locating causes of program failures (Abstract)

A. Zeller , Saarland University, Saarbrücken, Germany
pp. 342-351

An empirical study of fault localization for end-user programmers (Abstract)

M. Burnett , Oregon State University, Corvallis, Oregon
pp. 352-361

Real-time specification patterns (Abstract)

B.H.C. Cheng , Michigan State University, East Lansing, Michigan
pp. 372-381

Monitoring and control in scenario-based requirements analysis (Abstract)

J. Kramer , Imperial College London and London Software Systemsm, London, UK
pp. 382-391

Is mutation an appropriate tool for testing experiments? (Abstract)

L.C. Briand , Carleton University, Ottawa, Canada
pp. 402-411

Check 'n' crash: combining static checking and testing (Abstract)

Y. Smaragdakis , Georgia Institute of Technology, Atlanta, GA
pp. 422-431

Efficient and precise dynamic impact analysis using execute-after sequences (Abstract)

A. Orso , Georgia Institute of Technology, Atlanta, Georgia
pp. 432-441

DynAlloy: upgrading alloy with actions (Abstract)

C.G. Lopez Pombo , Universidad de Buenos Aires, Argentina
pp. 442-451

Introduction to the experience reports track (Abstract)

K. Pohl , University of Duisburg-Essen, Germany
pp. 480

A cross-program investigation of students' perceptions of agile methods (Abstract)

F. Maurer , University of Calgary, Calgary, Alberta, Canada
pp. 481-488

Requirements interaction management in an eXtreme programming environment: a case study (Abstract)

D.M. Woit , Ryerson University, Toronto, Ontario, Canada
pp. 489-494

A multiple case study on the impact of pair programming on product quality (Abstract)

P. Abrahamsson , VTT Technical Research Centre of Finland, Oulu, Finland
pp. 495-504

Tool support for just-in-time architecture reconstruction and evaluation: an experience report (Abstract)

Liming Zhu , National ICT Australia and University of New South Wales
pp. 514-523

Five years of product line engineering in a small company (Abstract)

T. Kiesgen , MARKET MAKER Software AG, Kaiserslautern, Germany
pp. 534-543

requirements uncertainty: influencing factors and concrete improvements (Abstract)

J. De Man , Alcatel, Paris, France and Ghent University
pp. 553-560

Observations and lessons learned from automated testing (Abstract)

R.K. Keller , Zühlke Engineering AG, Switzerland
pp. 571-579

Introduction to education and training track (Abstract)

M. Jazayeri , University of Lugano&Technical University of Vienna
pp. 606

Deciding what to design: closing a gap in software engineering education (Abstract)

J. Herbsleb , Carnegie Mellon University, Pittsburgh, PA
pp. 607-608

How to teach software modeling (Abstract)

T. Tamai , University of Tokyo
pp. 609-610

The groupthink specification exercise (Abstract)

J. Chapin , Vanu, Inc. Cambridge, MA
pp. 617-618

Some myths of software engineering education (Abstract)

H. van Vliet , Vrije Universiteit Amsterdam, The Netherlands
pp. 621-622

Towards increasing the compatibility of student pair programmers (Abstract)

L. Williams , North Carolina State University, Raleigh, NC
pp. 625-626

Using peer reviews in teaching framework development (Abstract)

M. Elswidi , The American University in Cairo
pp. 627-628

Process issues in course projects (Abstract)

W.P. Paula , Federal University of Minas Gerais, Brazil
pp. 629-630

Towards an effective software engineering course project (Abstract)

Z. Alzamil , Riyadh College of Technology, Riyadh, Saudi Arabia
pp. 631-632

The challenges of software engineering education (Abstract)

D. Mandrioli , Politecnico di Milano, Milano, Italy
pp. 637-638

The role of a project-based capstone course (Abstract)

O. Hazzan , Technion -- Israel Institute of Technology
pp. 645-646

Teaching human aspects of software engineering (Abstract)

J. Tomayko , Carnegie Mellon University, Pittsburgh, PA
pp. 647-648

On the education of future software engineers (Abstract)

P. Ciancarini , University of Bologna, Italy
pp. 649-650

Agile software reuse recommender (Abstract)

M. Cinneide , University College Dublin, Dublin, Ireland
pp. 652

Emergent process design (Abstract)

O. Jaufman , DaimlerChrysler AG, Ulm
pp. 653

Empirical validation of pair programming (Abstract)

C.A. Visaggio , Univeristy of Sannio, Benevento, Italy
pp. 654

Self-healing web service compositions (Abstract)

S. Guinea , Politecnico di Milano, Milan, Italy
pp. 655

Assurance patterns for distributed real-time embedded systems (Abstract)

S. Konrad , Michigan State University, East Lansing, MI
pp. 657

Knowledge-based architectural adaptation management for self-adaptive systems (Abstract)

J.C. Georgas , University of California, Irvine, Irvine, CA
pp. 658

Design mentoring based on design evolution analysis (Abstract)

Zhenchang Xing , University of Alberta, Edmonton, AB, Canada
pp. 660

Demonstration of JIVE and JOVE: Java as it happens (Abstract)

M. Renieris , Brown University, Providence, RI
pp. 662-663

Continuous testing in eclipse (Abstract)

M.D. Ernst , MIT Computer Science and Artificial Intelligence Lab, Cambridge, MA
pp. 668-669

Workshop on advances in model-based software testing (Abstract)

A. Jain , Telcordia Technologies, Piscataway, NJ
pp. 680

Software engineering for secure systems (Abstract)

M. Monga , Università degli Studi di Milano, Milan, Italy
pp. 681

7th international workshop on economics-driven software engineering research (Abstract)

K. Sullivan , University of Virginia, Charlottesville, VA
pp. 684

Human and social factors of software engineering (Abstract)

B. Tessem , University of Bergen, Bergen, Norway
pp. 686

Third workshop on software quality (Abstract)

J. Verner , National ICT Australia, Australia
pp. 688-689

MSR 2005 international workshop on mining software repositories (Abstract)

R.C. Holt , University of Waterloo, Waterloo, Canada
pp. 690

Workshop on architecting dependable systems (WADS 2005) (Abstract)

A. Romanovsky , University of Newcastle, Newcastle upon Tyne, UK
pp. 691

Third international workshop on dynamic analysis(WODA 2005) (Abstract)

L. Pollock , University of Delaware, Newark, DE
pp. 693

The first workshop on end-user software engineering (Abstract)

S. Elbaum , University of Nebraska-Lincoln
pp. 698

Rules of thumb for secure software engineering (Abstract)

H. Peine , Fraunhofer IESE, Kaiserslautern, Germany
pp. 702-703

The software engineering of agent-based intelligent adaptive systems (Abstract)

T. Juan , University of Melbourne, Victoria, Australia
pp. 704-705

Spiral development of software-intensive systems of systems (Abstract)

R. Turner , George Washington University, Washington DC
pp. 706-707

Financially informed requirements prioritization (Abstract)

M. Denne , Veritas Software Corporation, Mountain View, CA
pp. 710-711

Component-based software engineering for embedded systems (Abstract)

I. Crnkovic , Mälardalen University, Västerås, Sweden
pp. 712-713

Understanding metamodeling (Abstract)

T. Kuhne , Darmstadt University of Technology, Darmstadt, Germany
pp. 716-717

Software visualization (Abstract)

S. Diehl , Catholic University Eichstätt, Eichstätt, Germany
pp. 718-719

Engineering safety-related requirements for software-intensive systems (Abstract)

D.G. Firesmith , Carnegie Mellon University, Pittsburgh, PA
pp. 720-721

Model-based testing (Abstract)

A. Pretschner , ETH Zürich, Zürich, Switzerland
pp. 722-723

Reverse engineering of object oriented code (Abstract)

P. Tonella , ITC-irst, Povo (Trento), Italy
pp. 724-725

An architects guide to enterprise application integration with J2EE and .NET (Abstract)

A. Liu , Microsoft Australia, North Ryde, Australia
pp. 726-727

Transformations of software models into performance models (Abstract)

P. Inverardi , Universita' dell'Aquila, Coppito, L'Aquila, Italy
pp. 728-729

Aspect-oriented programming (Abstract)

G. Kiczales , University of British Columbia, Vancouver, BC, Canada
pp. 730

What you always wanted to know about agile methods but did not dare to ask (Abstract)

G. Melnik , University of Calgary, Calgary, AB, Canada
pp. 731-732

[Breaker page] (PDF)

pp. 701

Component-based software engineering for embedded systems (Abstract)

I. Crnkovic , Dept. of Comput. Sci. & Electron., Malardalen Univ., Vasteras, Sweden
pp. 712-713

Understanding metamodeling (Abstract)

pp. 716-717

Software visualization (Abstract)

pp. 718-719

Model-based testing (Abstract)

pp. 722-723

Author index (PDF)

pp. 733-735

[Breaker page] (PDF)

pp. 736

[Breaker page] (PDF)

pp. 737

[Breaker page] (PDF)

pp. 738

[Back cover] (PDF)

pp. 739
95 ms
(Ver 3.3 (11022016))