| Message from the Chairs |
| Conference Organization |
| Sponsors and Supporters |
| Technical Papers |
| Design and Specification of Distributed Systems |
| Composition Patterns: An Approach to Designing Reusable Aspects / S. Clarke ; R. J. Walker |
| MAS--An Interactive Synthesizer to Support Behavioral Modeling in UML / E. Makinen ; T. Systa |
| Analysis and Testing of Web Applications / F. Ricca ; P. Tonella |
| Static Analysis |
| The Right Algorithm at the Right Time: Comparing Data Flow |
| Analysis Algorithms for Finite State Verification / J. M. Cobleigh ; L. A. Clarke ; L. J. Osterweil |
| Static Checking of Interrupt-Driven Software / D. Brylow ; N. Damgaard ; J. Palsberg |
| Lightweight Analysis of Operational Specifications Using Inference Graphs / L. K. Dillon ; R. E. K. Stirewalt |
| Process Improvement for Multi-Site Environments |
| Commitment Development in Software Process Improvement: Critical Misconceptions / P. Abrahamsson |
| An Empirical Study of Global Software Development: Distance and Speed / J. D. Herbsleb ; A. Mockus ; T. A. Finholt ; R. E. Grinter |
| Software Product Lines: Organizational Alternatives / J. Bosch |
| Design Recovery and Program Understanding |
| Supporting Program Comprehension Using Semantic and Structural Information / J. I. Maletic ; A. Marcus |
| On the Syllogistic Structure of Object-Oriented Programming / D. Rayside ; K. Kontogiannis |
| A Scenario-Driven Approach to Traceability / A. Egyed |
| Effective Uses of Inspections |
| Systematic Object-Oriented Inspection--An Empirical Study / A. Dunsmore ; M. Roper ; M. Wood |
| Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles / S. Biffl ; W. Grossmann |
| Investigating the Cost-Effectiveness of Reinspections in Software Development / B. Freimut ; O. Laitenberger |
| Building Formal Analysis Tools |
| A Component-Based Approach to Building Formal Analysis Tools |
| Tool-Supported Program Abstraction for Finite-State Verification / M. B. Dwyer ; J. Hatcliff ; R. Joehanes ; S. Laubach ; C. S. Pasareanu ; Robby ; H. Zheng ; W. Visser |
| A Workbench for Synthesising Behaviour Models from Scenarios / S. Uchitel ; J. Kramer |
| Dynamic Analysis and Testing |
| The Specification and Testing of Quantified Progress Properties in Distributed Systems / P. Krishnamurthy ; P. A. G. Sivilotti |
| An Explorative Journey from Architectural Tests Definition downto Code Tests Execution / A. Bertolino ; P. Inverardi ; H. Muccini |
| Encoding Program Executions / S. P. Reiss ; M. Renieris |
| Construction of Component-Based Systems |
| Dynamic and Selective Combination of Extensions in Component-Based Applications / E. Truyen ; B. Vanhaute ; W. Joosen ; P. Verbaeten ; B. Norregaard Jorgensen |
| Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project / E. Wohlstadter ; S. Jackson ; P. Devanbu |
| Designing Components versus Objects: A Transformational Approach / D. H. Lorenz ; J. Vlissides |
| Reengineering and Software Evolution |
| Exploiting the Map Metaphor in a Tool for Software Evolution / W. G. Griswold ; J. J. Yuan ; Y. Kato |
| Separating Features in Source Code: An Exploratory Study / G. C. Murphy ; A. Lai ; M. P. Robillard |
| Comparing Frameworks and Layered Refinement / R. Cardone ; C. Lin |
| Analysis of Architectures |
| Quantifying the Costs and Benefits of Architectural Decisions / R. Kazman ; J. Asundi ; M. Klein |
| Survivability Analysis of Networked Systems / S. Jha ; J. M. Wing |
| Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks / P. H. Feiler ; J. J. Walker |
| Improving the Testing Process |
| Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization / S. Elbaum ; A. Malishevsky ; G. Rothermel |
| Finding Failures by Cluster Analysis of Execution Profiles / W. Dickinson ; D. Leon ; A. Podgurski |
| Understanding IV and V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program / M. V. Zelkowitz ; I. Rus |
| Reliability and Mobile Agents |
| Theory of Software Reliability Based on Components / D. Hamlet ; D. Mason ; D. Woit |
| Engineering Mobile-Agent Applications via Context-Dependent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli |
| Consistent Group Membership in Ad Hoc Networks / G.-C. Roman ; Q. Huang ; A. Hazemi |
| Analysis of Requirements |
| Fast Formal Analysis of Requirements via "Topoi Diagrams" / T. Menzies ; J. Powell ; M. E. Houle |
| Conceptual Modeling through Linguistic Analysis Using LIDA / S. P. Overmyer ; B. Lavoie ; O. Rambow |
| A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints / S. Easterbrook ; M. Chechik |
| Functional Paleontology: System Evolution as the User Sees It / A. I. Anton ; C. Potts |
| Formal Frameworks |
| A General Framework for Formalizing UML with Formal Languages / W. E. McUmber ; B. H. C. Cheng |
| Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams / A. Campailla ; S. Chaki ; E. Clarke ; H. Veith |
| A Scalable Formal Method for Design and Automatic Checking of User Interfaces / J. Berstel ; S. Crespi Reghizzi ; G. Roussel ; P. San Pietro |
| Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering / A. M. Haeberer ; T. S. E. Maibaum |
| Architectures for Emerging Applications |
| An Architecture for Heterogeneous Groupware Applications / I. Marsic |
| A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry / K. Sullivan ; A. Saxena |
| XAS: A System for Accessing Componentized, Virtual XML Documents / M.-L. Lo ; S.-K. Chen ; S. Padmanabhan ; J.-Y. Chung |
| Case Study Papers |
| Infrastructure Support |
| Using the Web for Document Versioning: An Implementation Report for Delta V / J. J. Hunt ; J. Reuter |
| Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study / S. Tilley ; S. Huang |
| A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library / A. Aoki ; K. Hayashi ; K. Kishida ; K. Nakakoji ; Y. Nishinaka ; B. Reeves ; A. Takashima ; Y. Yamamoto |
| Applications of New Paradigms in Software Development |
| Case Study: Extreme Programming in a University Environment / M. M. Muller ; W. F. Tichy |
| Improving Validation Activities in a Global Software Development / C. Ebert ; C. H. Parro ; R. Suttels ; H. Kolarczyk |
| Applying WinWin to Quality Requirements: A Case Study / H. In ; B. Boehm ; T. Rodgers ; M. Deutsch |
| Software Evolution |
| Tigra--An Architectural Style for Enterprise Application Integration / W. Emmerich ; E. Ellmer ; H. Fieglein |
| Reengineering Analysis of Object-Oriented Systems via Duplication Analysis / F. Fioravanti ; G. Migliarese ; P. Nesi |
| Education Papers |
| Practical Software Engineering Education |
| Educating Software Engineering Students to Manage Risk / D. Port |
| A Formal Approach to Component-Based Software Engineering: Education and Evaluation / M. Sitaraman ; T. J. Long ; B. W. Weide ; E. J. Harner ; L. Wang |
| Corrective Maintenance Maturity Model (CM[superscript 3]): Maintainer's Education and Training / M. Kajko-Mattsson ; S. Forssander ; U. Olsson |
| Degree Programs for Software Engineering Education |
| An Efficient Set of Software Degree Programs for One Domain / T. Shepard |
| The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education / J. D. Tvedt ; R. Tesoriero ; K. A. Gary |
| Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs / K. L. Modesitt ; D. Bagert ; L. Werth |
| Plenary Sessions |
| Software Engineering and the Internet / D. Sabbah |
| The Coming-of-Age of Software Architecture Research / M. Shaw |
| "Tolerating Inconsistency" Revisited / R. Balzer |
| Software Engineering Challenges: A CIO's Perspective / B. Voigt |
| Reuse That Pays / L. M. Northrop |
| Challenges and Achievements in Software Engineering / G. Engels ; W. Schafer |
| Process-Centered Software Engineering Environments: Academic and Industrial Perspectives / V. Gruhn |
| Specification and Modeling: An Academic Perspective / M. Broy |
| Specification and Modeling: An Industrial Perspective / B. Selic |
| Invited Industry Presentations / F. Coallier ; D. Perry |
| Global Software Development: The Bell Labs Collaboratory / D. Atkins ; M. Handel ; J. Herbsleb ; G. Wills |
| Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck / M. Cheng |
| Software Engineering in a Startup / A. Ricciardi |
| Technology Drivers and Research Challenges of Future e-Business / S. Feldman |
| Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems / Y. Hanai ; M. Aoyama |
| Web Services and Software Engineering: Challenges and Opportunities / S. Weerawarana |
| Enterprise Methodology =/= Software Development Methdology / J. Q. Ning |
| Mining Selected Components: The Options Analysis for Reengineering (OAR) / D. Smith ; L. O'Brien ; J. Bergey |
| Achieving Usability through Software Architecture / L. Bass ; B. E. John |
| Frontiers of Software Practice / H. Muller |
| Enabling Technologies for the Future of Voice-Based Web Access / S. Woods |
| Jini Network Technology: Devices, Desires, and Designs |
| Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET / J. Hamilton |
| Collaborative Software Engineering / A. Brown |
| AntiPatterns in Software Architecture / T. Mobray |
| Dependability of Embedded Systems / J. Knight |
| Simple Object Access Protocol (SOAP) and Web Services / A. Ryman |
| Auditing Legacy Systems for Security and Survivability / T. Longstaff |
| Panels |
| Software Engineering Body of Knowledge (Swebok) |
| Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice |
| Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? |
| Panel: Perspectives on Software Engineering |
| Tutorials |
| UML for Software Engineers / R. France ; C. Kobryn |
| The Intertwining between Risk and Project Management / K. Fruhauf |
| Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience / K. Wallnau |
| From Use Cases to Code--Rigorous Software Development with UML / A. Zundorf |
| OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition / H. Younessi ; B. Henderson-Sellers |
| Describing Software Architecture with UML / P. Kruchten ; W. Kozazynski |
| Software Product Lines and Software Architecture Design |
| How to Do Inspections When There is No Time / D. Kelly |
| EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation / P. Grunbacher ; R. O. Briggs |
| Tutorial on Fundamental Concepts for Practical Software Architecture / A. Ran |
| An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things / J. White |
| Improving Software Inspections by Using Reading Techniques / F. Shull ; I. Russ ; V. Basili |
| Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method |
| Hyper/J: Multi-Dimensional Separation of Concerns for Java / P. Tarr ; H. Ossher |
| Enterprise JavaBean Architecture and Design Issues |
| State, Event, Time and Diagram in System Modeling / J. S. Dong |
| From UML to Java, Building a 3-Tier Architecture: Case Study / T. Korson |
| Designing Concurrent, Distributed, and Real-Time Applications with UML / H. Gomaa |
| Using Transformation Systems for Software Maintenance and Reengineering / I. D. Baxter |
| Effective Software Architecture Design: From Global Analysis to UML Descriptions / R. L. Nord ; D. J. Paulish ; D. Soni ; C. Hofmeister |
| Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) / D. Amyot ; G. Mussbacher |
| Introduction to the Attribute Driven Design Method / F. Bachmann |
| Workshops |
| 2nd International Workshop on Living with Inconsistency |
| 4th ICSE Workshop on "Software Engineering over the Internet" / F. Maurer |
| Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications / P. Knauber ; G. Succi |
| The Second International Workshop on Automated Program Analysis, Testing and Verification / N. Tracey ; J. Penix ; W. C. Visser |
| Workshop on Software Engineering and Mobility / G. P. Picco |
| ICSE Workshop on Software Visualization / W. De Pauw ; J. T. Stasko |
| Generative Techniques for Product Lines / G. Butler ; D. Batory ; K. Czarnecki ; U. Eisenecker |
| SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms / M. Harman ; B. Jones |
| From Software Requirements to Architectures / J. Castro |
| 3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web / J. Jahnke ; E. Stroulia ; K. Wong |
| Workshop to Consider Global Aspects of Software Engineering Professionalism / J. B. Thompson ; H. M. Edwards |
| Third International Workshop on Economics-Driven Software Engineering Research / D. Notkin ; W. Harrison |
| 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction / I. Crnkovic ; H. Schmidt ; J. Stafford |
| SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries / A. van der Hoek |
| XML Technologies and Software Engineering / C. Mascolo ; A. Finkelstein |
| Workshop on Advanced Separation of Concerns in Software Engineering / W. Kozaczynski ; G. Larsen |
| 1st Workshop on Open Source Software Engineering / J. Feller ; B. Fitzgerald |
| Doctoral Symposium |
| Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams / L. A. Campbell |
| Modeling and Controlling the Software Test Process / J. W. Cangussu |
| Using Software Component Generators to Construct a Meta-Weaver Framework / J. Gray |
| Supporting the Deployment of Object-Oriented Frameworks / D. Hou |
| Model Checking Distributed Objects Design / N. Kaveh |
| Web Engineering Device Independent Web Services / E. Kirda |
| Evolving Legacy Systems using Feature Engineering and CBSE / A. Mehta |
| Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management / D. Smolko |
| Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process / R. P. Diaz Redondo ; J. J. Pazos Arias |
| Traceability for System Families / D. Streitferdt |
| David L. Parnas Symposium / D. Hoffman ; D. Weiss |
| New Software Engineering Faculty Symposium / L. Osterweil ; G. Silberman |
| Formal Research Demonstrations |
| Software Architecture |
| Model Processing Tools in UML / J. Koskinen ; J. Peltonen ; P. Selonen ; K. Koskimies |
| Architecture-Oriented Programming Using FRED / M. Hakala ; J. Hautamaki ; J. Paakki ; A. Viljamaa ; J. Viljamaa |
| Reuse and Integration |
| CodeWeb: Data Mining Library Reuse Patterns / A. Michail |
| Holmes: An Intelligent System to Support Software Product Line Development / J. Yip ; W. Pedrycz |
| Babel: Representing Business Rules in XML for Application Integration / H. Zhang |
| Verification and Maintenance |
| Jmocha: A Model Checking Tool that Exploits Design Structure / R. Alur ; L. de Alfaro ; R. Grosu ; T. A. Henzinger ; M. Kang ; C. M. Kirsch ; R. Majumdar ; F. Mang ; B. Y. Wang |
| Maintenance Support Tools for Java programs: CCFinder and JAAT / T. Kamiya ; F. Ohata ; K. Kondou ; S. Kusumoto ; K. Inoue |
| Using OCL-Queries for Debugging C++ / C. Hobatr ; B. A. Malloy |
| Author Index |
