23. ICSE 2001: Toronto, Ontario, Canada

Technical Papers

Design and Specification of Distributed Systems

Static Analysis

Process Improvement for Multi-Site Environments

Design Recovery and Program Understanding

Effective Uses of Inspections

Building Formal Analysis Tools

Dynamic Analysis and Testing

Construction of Component-Based Systems

Reengineering and Software Evolution

Analysis of Architectures

Improving the Testing Process

Reliability and Mobile Agents

Analysis of Requirements

Formal Frameworks

Architectures for Emerging Applications

Case Study Papers

Infrastructure Support

Applications of New Paradigms in Software Development

Software Evolution

Education Papers

Practical Software Engineering Education

Degree Programs for Software Engineering Education

Plenary Sessions

Challenges and Achievements in Software Engineering

Invited Industry Presentations

Frontiers of Software Practice

Panels

Tutorials

Workshops

Doctoral Symposium

David L. Parnas Symposium

New Software Engineering Faculty Symposium

Formal Research Demonstrations

Software Architecture

Reuse and Integration

Verification and Maintnenance