29. ICSE 2007: Minneapolis, MN, USA

Keynotes

• Steve Fisher:
  The Architecture of the Apex Platform, salesforce.com's Platform for Building On-Demand Applications. 3
  
• Deborah G. Johnson:
  Computer Professional Ethics in Theory and in Practice. 4-5
  
• Bev Littlewood:
  Limits to Dependability Assurance - A Controversy Revisited. 6
  

Most Influential Paper Award-ICSE 1997

• Antonio Carzaniga, Gian Pietro Picco, Giovanni Vigna:
  Is Code Still Moving Around? Looking Back at a Decade of Code Mobility. 9-20
  

Food for Thought

• Steven Fraser, Barry W. Boehm, Frederick P. Brooks Jr., Tom DeMarco, Tim Lister, Linda Rising, Edward Yourdon:
  Retrospectives on Peopleware. 21-24
  
• Mary Poppendieck:
  Agile Contracts. 25
  
• Andrew Watson:
  Modeling for Maintainability. 26
  

Impact Panels

• Lee Osterweil:
  Overview of the Impact Project. 29
  
• Wolfgang Emmerich, Mikio Aoyama:
  The Impact of Research on Middleware Technology. 30
  

Portraits in Practice

• Robyn R. Lutz:
  Portraits in Practice. 33-34
  

Co-located Event

• Richard W. Selby:
  Software Engineering: The Legacy of Barry W. Boehm. 37-38
  

Informal Research Demonstrations

• Alexander Egyed, Gernot Binder, Paul Grünbacher:
  STRADA: A Tool for Scenario-Based Feature-to-Code Trace Detection and Analysis. 41-42
  
• Praveen K. Jayaraman, Jon Whittle:
  UCSIM: A Tool for Simulating Use Case Scenarios. 43-44
  
• Shan Shan Huang, Yannis Smaragdakis:
  Building Scalable Libraries with cJ. 45-46
  
• Barthélémy Dagenais, Harold Ossher:
  Mismar: A New Approach to Developer Documentation. 47-48
  
• Josh Dehlinger, Meredith Humphrey, Lada Suvorov, Prasanna Padmanabhan, Robyn R. Lutz:
  DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees. 49-50
  
• Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel:
  Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. 51-52
  
• Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini:
  TAXI - A Tool for XML-Based Testing. 53-54
  
• Giovanni Denaro, Mauro Pezzè, Davide Tosi:
  SHIWS: A Self-Healing Integrator for Web Services. 55-56
  
• Daqing Hou:
  SCL: Static Enforcement and Exploration of Developer Intent in Source Code. 57-58
  
• Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J. Strother Moore:
  ACL2s: "The ACL2 Sedan". 59-60
  
• Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
  Trio2Promela: A Model Checker for Temporal Metric Specifications. 61-62
  
• Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf:
  Reliability Analysis of Concurrent Systems Using LTSA. 63-64
  
• Evan Martin, Suranjana Basu, Tao Xie:
  WebSob: A Tool for Robustness Testing of Web Services. 65-66
  
• Eric M. Dashofy, Hazeline U. Asuncion, Scott A. Hendrickson, Girish Suryanarayana, John C. Georgas, Richard N. Taylor:
  ArchStudio 4: An Architecture-Based Meta-Modeling Environment. 67-68
  
• Luciano Baresi, Sam Guinea:
  Dynamo and Self-Healing BPEL Compositions. 69-70
  

Doctoral Symposium

• Akbar Siami Namin, James H. Andrews:
  On Sufficiency of Mutants. 73-74
  
• Evan Martin:
  Testing and Analysis of Access Control Policies. 75-76
  
• Heng Lu:
  A Context-Oriented Framework for Software Testing in Pervasive Environment. 77-78
  
• Christopher Scaffidi:
  A Data Model to Support End User Software Engineering. 79-80
  
• Ali Mesbah:
  Ajaxifying Classic Web Applications. 81-82
  
• Yuriy Brun:
  A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks. 83-84
  
• Jing Liu:
  Handling Safety-Related Feature Interaction in Safety-Critical Product Lines. 85-86
  
• Yuanyuan Song:
  Adaptation Hiding Modularity for Self-Adaptive Systems. 87-88
  
• Sarah Smith Heckman:
  Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts. 89-90
  
• Yue Chen:
  Stakeholder Value Driven Threat Modeling for Off the Shelf Based Systems. 91-92
  
• Andrzej Wasylkowski:
  Mining Object Usage Models. 93-94
  
• Macneil Shonle:
  Modular-Like Transformations and Style Checking for Crosscutting Programming Concepts. 95-96
  
• Beat Fluri:
  Assessing Changeability by Investigating the Propagation of Change Types. 97-98
  
• Ali Taleghani:
  Using Software Model Checking for Software Component Certification. 99-100
  
• Miryung Kim:
  Understanding and Aiding Code Evolution by Inferring Change Patterns. 101-102
  
• Mazeiar Salehie, Ladan Tahvildari:
  A Quality-Driven Approach to Enable Decision-Making in Self-Adaptive Software. 103-104
  

Workshops

• Harald Gall, Michele Lanza, Thomas Zimmermann:
  4th International Workshop on Mining Software Repositories (MSR 2007). 107-108
  
• Paris Avgeriou, Philippe Kruchten, Patricia Lago, Paul Grisham, Dewayne E. Perry:
  Sharig and Reusing Architectural Knowledge - Architecture, Rationale, and Design Intent. 109-110
  
• Danilo Bruschi, Bart De Win, Seok-Won Lee, Mattia Monga:
  The 3rd International Workshop on Software Engineering for Secure Systems SESS07 - Dependable and Secure. 111-112
  
• Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler:
  Modeling in Software Engineering. 113-114
  
• Akif Günes Koru, Dongsong Zhang, Hongfang Liu:
  Modeling the Effect of Size on Defect Proneness for Open-Source Software. 115-124
  
• Kevin Sullivan:
  First Workshop on the Economics of Software and Computation. 125-126
  
• Ruzanna Chitchyan, Awais Rashid, Ana Moreira, João Araújo, Paul C. Clements, Elisa L. A. Baniassad, Bedir Tekinerdogan:
  Early Aspects at ICSE 2007: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design. 127-128
  
• Wolfgang Grieskamp, Nicolas Kicillof:
  6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). 129-130
  
• Barry W. Boehm, Sunita Chulani, June M. Verner, Bernard Wong:
  Fifth Workshop on Software Quality. 131-132
  
• Kostas Kontogiannis, Grace A. Lewis, Dennis B. Smith, Marin Litoiu, Stefan Schuster:
  SDSOA 2007: International Workshop on Systems Development in SOA Environments. 133-134
  
• Andrea Capiluppi, Joseph Feller, Brian Fitzgerald, Scott A. Hissam, Karim Lakhani, Gregorio Robles, Walt Scacchi:
  First International Workshop on Emerging Trends in FLOSS Research and Development. 135-136
  
• David Budgen, Barbara Kitchenham, Pearl Brereton, Mark Turner:
  2nd International Workshop on Realising Evidence-Based Software Engineering (REBSE-2). 137-138
  
• Alessandro Orso, Andreas Zeller:
  Fifth International Workshop on Dynamic Analysis (WODA 2007). 139
  
• Richard P. Gabriel, Rick Kazman, Linda M. Northrop, Douglas C. Schmidt, Kevin Sullivan:
  Workshop on Software Technologies for Ultra-Large Scale Systems. 140-141
  
• Alexander Egyed, Hausi A. Müller, Dewayne E. Perry, Dennis B. Smith, Scott R. Tilley:
  Summery of the 2^nd International Workshop on Incorporating COTS Software into Software Systems (IWICSS): Tools and Techniques. 142-143
  
• Alessandro Garcia, Elisa L. A. Baniassad, Cristina Videira Lopes, Christa Schwanninger, Jianjun Zhao:
  1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07). 144-145
  
• Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner:
  4th International ICSE Workshop on Software Engineering for Automotive Systems. 146
  
• Jeffrey C. Carver:
  Third International Workshop on Software Engineering for High Performance Computing (HPC) Applications. 147
  
• Anand Tripathi, Roy H. Campbell, Liviu Iftode, Paolo Bellavista:
  Workshop Summary - ICSE Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE). 148-149
  
• Hong Zhu, W. Eric Wong, Amit M. Paradkar:
  Automation of Software Test - Report on the Second Interional Workshop AST 2007. 150-151
  
• Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
  SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. 152-153
  

Tutorials

• Ivica Crnkovic, Lars Grunske:
  Evaluating Dependability Attributes of Component-Based Specifications. 157-158
  
• Deb Jacobs:
  Requirements Engineering so Things Don't Get Ugly. 159-160
  
• Paul A. Strooper, Luke Wildman:
  Testing Concurrent Java Components. 161-162
  
• Walter F. Tichy, Frank Padberg:
  Empirical Methods in Software Engineering Research. 163-164
  
• Mary Poppendieck:
  Lean Software Development. 165-166
  
• Victor R. Basili, Frank Bomarius, Raimund L. Feldmann:
  Get Your Experience Factory Ready for the Next Decade - Ten Years after "How to Build and Run One". 167-168
  
• Donald Firesmith:
  Engineering Safety and Security Related Requirements for Software Intensive Systems. 169
  
• Muhammad Ali Babar, Ian Gorton:
  Architecture Knowledge Management: Challenges, Approaches, and Tools. 170-171
  
• Tao Xie, Jian Pei, Ahmed E. Hassan:
  Mining Software Engineering Data. 172-173
  
• Dennis B. Smith:
  Migration of Legacy Assets to Service-Oriented Architecture Environments. 174-175
  
• Frank Maurer, Grigori Melnik:
  Agile Methods: Crossing the Chasm. 176-177
  
• Hakan Erdogmus:
  Cost-Benefit Analysis of Software Development Techniques and Practices. 178-179
  
• Benjamin M. Brosgol:
  Languages for Safety-Critical Software: Issues and Assessment. 180-181
  
• Jan Jürjens:
  Developing Secure Embedded Systems: Pitfalls and How to Avoid Them. 182-183
  
• Dean Wampler:
  Aspect-Oriented Design in Java/AspectJ and Ruby. 184-185
  
• Andreas Metzger, Klaus Pohl:
  Variability Management in Software Product Line Engineering. 186-187
  
• Jens H. Weber-Jahnke, Morgan Price:
  Engineering Medical Information Systems: Architecture, Data and Usability & Security. 188-189