CSDL - Proceedings I

Conference Organization (PDF)

pp. xxi

Sponsors and Supporters (PDF)

pp. xxix

Design and Specification of Distributed Systems

Composition Patterns: An Approach to Designing Reusable Aspects (Abstract)

Siobhán Clarke, Trinity College

Robert J. Walker, University of British Columbia

pp. 0005

PDF

MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML (Abstract)

Erkki Makinen, University of Tampere

Tarja Systa, Tampere University of Technology

pp. 0015

PDF

Analysis and Testing of Web Applications (Abstract)

Filippo Ricca, Centro per la Ricerca Scientifica e Tecnologica

Paolo Tonella, Centro per la Ricerca Scientifica e Tecnologica

pp. 0025

PDF

Static Analysis

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (Abstract)

Jamieson M. Cobleigh, University of Massachusetts Amherst

Lori A. Clarke, University of Massachusetts Amherst

Leon J. Osterweil, University of Massachusetts Amherst

pp. 0037

PDF

Static Checking of Interrupt-Driven Software (Abstract)

Dennis Brylow, Purdue University

Niels Damgaard, Purdue University

Jens Palsberg, Purdue University

pp. 0047

PDF

Lightweight Analysis of Operational Specifications Using Inference Graphs (Abstract)

Laura K. Dillon, Michigan State University

R. E. Kurt Stirewalt, Michigan State University

pp. 0057

PDF

Process Improvement for Multi-Site Environments

Commitment Development in Software Process Improvement: Critical Misconceptions (Abstract)

Pekka Abrahamsson, University of Oulu

pp. 0071

PDF

An Empirical Study of Global Software Development: Distance and Speed (Abstract)

James D. Herbsleb, Lucent Technologies

Audris Mockus, Lucent Technologies

Thomas A. Finholt, University of Michigan

Rebecca E. Grinter, Xerox PARC

pp. 0081

PDF

Software Product Lines: Organizational Alternatives (Abstract)

Jan Bosch, University of Groningen

pp. 0091

PDF

Design Recovery and Program Understanding

Supporting Program Comprehension Using Semantic and Structural Information (Abstract)

Jonathan I. Maletic, The University of Memphis

Andrian Marcus, The University of Memphis

pp. 0103

PDF

On the Syllogistic Structure of Object-Oriented Programming (Abstract)

Derek Rayside, University of Waterloo

Kostas Kontogiannis, University of Waterloo

pp. 0113

PDF

A Scenario-Driven Approach to Traceability (Abstract)

Alexander Egyed, Teknowledge Corporation

pp. 0123

PDF

Effective Uses of Inspections

Systematic Object-Oriented Inspection - An Empirical Study (Abstract)

Alastair Dunsmore, University of Strathclyde

Marc Roper, University of Strathclyde

Murray Wood, University of Strathclyde

pp. 0135

PDF

Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data From Two Inspection Cycles (Abstract)

Stefan Biffl, Vienna University of Technology

Wilfried Grossmann, University of Vienna

pp. 0145

PDF

Investigating the Cost-Effectiveness of Reinspections in Software Development (Abstract)

Stefan Biffl, Vienna University of Technology

Bernd Freimut, Fraunhofer Institute for Experimental Software Engineering

Oliver Laitenberger, Fraunhofer Institute for Experimental Software Engineering

pp. 0155

PDF

Building Formal Analysis Tools

A Component-Based Approach to Building Formal Analysis Tools (Abstract)

R. E. Kurt Stirewalt, Michigan State University

Laura K. Dillon, Michigan State University

pp. 0167

PDF

Tool-Supported Program Abstraction for Finite-State Verification (Abstract)

Matthew B. Dwyer, Kansas State University

John Hatcliff, Kansas State University

Roby Joehanes, Kansas State University

Shawn Laubach, Kansas State University

Corina S. Pasareanu, Kansas State University

Robby, Kansas State University

Hongjun Zheng, Kansas State University

Willem Visser, RIACS/NASA Ames Research Center

pp. 0177

PDF

A Workbench for Synthesising Behaviour Models from Scenarios (Abstract)

Sebastian Uchitel, Imperial College

Jeff Kramer, Imperial College

pp. 0188

PDF

Dynamic Analysis and Testing

The Specification and Testing of Quantified Progress Properties in Distributed Systems (Abstract)

Prakash Krishnamurthy, The Ohio State University

Paolo A.G. Sivilotti, The Ohio State University

pp. 0201

PDF

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (Abstract)

Antonia Bertolino, Istituto di Elaborazione dell'Informazione

Paola Inverardi, Universita dell'Aquila

Henry Muccini, Universita dell'Aquila

pp. 0211

PDF

Encoding Program Executions (Abstract)

Steven P. Reiss, Brown University

Manos Renieris, Brown University

pp. 0221

PDF

Construction of Component-Based Systems

Dynamic and Selective Combination of Extensions in Component-Based Applications (Abstract)

Bo Nørregaard Jørgensen, University of Southern Denmark

pp. 0233

PDF

Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project (Abstract)

Eric Wohlstadter, University of California

Stoney Jackson, University of California

Premkumar Devanbu, University of California

pp. 0243

PDF

Designing Components versus Objects: A Transformational Approach (Abstract)

David H. Lorenz, Northeastern University

John Vlissides, IBM T.J. Watson Research Center

pp. 0253

PDF

Reengineering and Software Evolution

Exploiting the Map Metaphor in a Tool for Software Evolution (Abstract)

William G. Griswold, University of California San Diego

Jimmy J. Yuan, University of California San Diego

Yoshikiyo Kato, University of Tokyo

pp. 0265

PDF

Separating Features in Source Code: An Exploratory Study (Abstract)

Gail C. Murphy, University of British Columbia

Albert Lai, University of British Columbia

Robert J. Walker, University of British Columbia

Martin P. Robillard, University of British Columbia

pp. 0275

PDF

Comparing Frameworks and Layered Refinement (Abstract)

Richard Cardone, University of Texas at Austin

Calvin Lin, University of Texas at Austin

pp. 0285

PDF

Analysis of Architectures

Quantifying the Costs and Benefits of Architectural Decisions (Abstract)

Rick Kazman, Carnegie Mellon University

Jai Asundi, Carnegie Mellon University

Mark Klein, Carnegie Mellon University

pp. 0297

PDF

Survivability Analysis of Networked Systems (Abstract)

Somesh Jha, University of Wisconsin

Jeannette M. Wing, Carnegie Mellon University

pp. 0307

PDF

Adaptive Feedback Scheduling of Incremental and Design-To-Time Tasks (Abstract)

Peter H. Feiler, Carnegie Mellon University

John J. Walker, Carnegie Mellon University

pp. 0318

PDF

Improving the Testing Process

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization (Abstract)

Sebastian Elbaum, University of Nebraska-Lincoln

Alexey Malishevsky, Oregon State University

Gregg Rothermel, Oregon State University

pp. 0329

PDF

Finding Failures by Cluster Analysis of Execution Profiles (Abstract)

William Dickinson, Case Western Reserve University

David Leon, Case Western Reserve University

Andy Podgurski, Case Western Reserve University

pp. 0339

PDF

Understanding IV&V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program (Abstract)

Marvin V. Zelkowitz, Fraunhofer Center for Experimental Software Engineering

Ioana Rus, Fraunhofer Center for Experimental Software Engineering

pp. 0349

PDF

Reliability and Mobile Agents

Theory of Software Reliability Based on Components (Abstract)

Dick Hamlet, Portland State University

Dave Mason, Ryerson Polytechnic University

Denise Woit, Ryerson Polytechnic University

pp. 0361

PDF

Engineering Mobile-Agent Applications via Context-Dependent Coordination (Abstract)

Giacomo Cabri, Universit? di Modena e Reggio Emilia

Letizia Leonardi, Universit? di Modena e Reggio Emilia

Franco Zambonelli, Universit? di Modena e Reggio Emilia

pp. 0371

PDF

Consistent Group Membership in Ad Hoc Networks (Abstract)

Gruia-Catalin Roman, Washington University

Qingfeng Huang, Washington University

Ali Hazemi, Washington University

pp. 0381

PDF

Analysis of Requirements

Fast Formal Analysis of Requirements via "Topoi Diagrams" (Abstract)

Tim Menzies, Univ. British Columbia

John Powell, Averstar Inc.

Michael E. Houle, IBM Japan

pp. 0391

PDF

Conceptual Modeling through Linguistic Analysis Using LIDA (Abstract)

Scott P. Overmyer, Massey University - Albany

Benoit Lavoie, CoGenTex, Inc.

Owen Rambow, ATT Labs-Research

pp. 0401

PDF

A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (Abstract)

Steve Easterbrook, University of Toronto

Marsha Chechik, University of Toronto

pp. 0411

PDF

Functional Paleontology: System Evolution as the User Sees It (Abstract)

Annie I. Antón, North Carolina State University

Colin Potts, Georgia Institute of Technology

pp. 0421

PDF

Formal Frameworks

A General Framework for Formalizing UML with Formal Languages (Abstract)

William E. McUmber, Michigan State University

Betty H.C. Cheng, Michigan State University

pp. 0433

PDF

Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams (Abstract)

Alexis Campailla, Microsoft Corporation

Sagar Chaki, Carnegie Mellon University

Edmund Clarke, Carnegie Mellon University

Somesh Jha, University of Wisconsin

Helmut Veith, TU Vienna

pp. 0443

PDF

A Scalable Formal Method for Design and Automatic Checking of User Interfaces (Abstract)

Jean Berstel, Politecnico di Milano

Gilles Roussel, Politecnico di Milano

Stefano Crespi Reghizzi, Institut Gaspard Monge

Pierluigi San Pietro, Institut Gaspard Monge

pp. 0453

PDF

Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering (Abstract)

Am Haeberer, University of Lisbon

Tse Maibaum, King's College London

pp. 0463

PDF

Architectures for Emerging Applications

An Architecture for Heterogeneous Groupware Applications (Abstract)

Ivan Marsic, Rutgers---The State University of New Jersey

pp. 0475

PDF

A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry (Abstract)

Kevin Sullivan, Thornton Hall University of Virginia

Avneesh Saxena, Thornton Hall University of Virginia

pp. 0485

PDF

XAS: A System for Accessing Componentized, Virtual XML Documents (Abstract)

Ming-Ling Lo, IBM Thomas J. Watson Research Center

Shyh-Kwei Chen, IBM Thomas J. Watson Research Center

Sriram Padmanabhan, IBM Thomas J. Watson Research Center

Jen-Yao Chung, IBM Thomas J. Watson Research Center

pp. 0493

PDF

Infrastructure Support

Using the Web for Document Versioning: An Implementation Report for Delta V (Abstract)

James J. Hunt, Forschungszentrum Informatik

Jürgen Reuter, Universit?t Karlsruhe

pp. 0507

PDF

Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study (Abstract)

Scott Tilley, University of California, Riverside

Shihong Huang, University of California, Riverside

pp. 0514

PDF

A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library (Abstract)

Atsushi Aoki, SRA Key Technology Laboratory Inc.

Kaoru Hayashi, SRA Key Technology Laboratory Inc.

Kouichi Kishida, SRA Key Technology Laboratory Inc.

Yoshiyuki Nishinaki, SRA Key Technology Laboratory Inc.

Kumiyo Nakakoji, SRA Key Technology Laboratory Inc. and Nara Institute of Science and Technology

Brent Reeves, TwinBear Research

pp. 0524

PDF

Applications of New Paradigms in Software Development

Case Study: Extreme Programming in a University Environment (Abstract)

Matthias M. Müller, Universit?t Karlsruhe

Walter F. Tichy, Universit?t Karlsruhe

pp. 0537

PDF

Improving Validation Activities in a Global Software Development (Abstract)

Christof Ebert, Alcatel, Switching and Routing Division

Casimiro Hernandez Parro, Alcatel, Switching and Routing Division

Roland Suttels, Alcatel, Switching and Routing Division

Harald Kolarczyk, Alcatel, Switching and Routing Division

pp. 0545

PDF

Applying WinWin to Quality Requirements: A Case Study (Abstract)

Hoh In, Texas A&M University

Thomas Rodgers, Texas A&M University

Michael Deutsch, Texas A&M University

Barry Boehm, University of Southern California

pp. 0555

PDF

Software Evolution

TIGRA- An Architectural Style for Enterprise Application Integration (Abstract)

Wolfgang Emmerich, University College London

Ernst Ellmer, Z?hlke Engineering GmbH

Henry Fieglein, DG Bank

pp. 0567

PDF

Reengineering Analysis of Object-Oriented Systems via Duplication Analysis (Abstract)

F. Fioravanti, University of Florence

G. Migliarese, University of Florence

P. Nesi, University of Florence

pp. 0577

PDF

Practical Software Engineering Education

Educating Software Engineering Students to Manage Risk (Abstract)

Barry Boehm, University of Southern California

Daniel Port, University of Southern California

pp. 0591

PDF

A Formal Approach to Component-Based Software Engineering: Education and Evaluation (Abstract)

Murali Sitaraman, Clemson University

Timothy J. Long, The Ohio State University

Bruce W. Weide, The Ohio State University

E. James Harner, West Virginia University

Liquing Wang, West Virginia University

pp. 0601

PDF

Mira Kajko-Mattsson Corrective Maintenance Maturity Model (CM3): Maintainer's Education and Training (Abstract)

Mira Kajko-Mattsson, Stockholm University/Royal Institute of Technology

Stefan Forssander, ABB Robotics AB

Ulf Olsson, ABB Automation Products

pp. 0610

PDF

Degree Programs for Software Engineering Education

An Efficient Set of Software Degree Programs for One Domain (Abstract)

Terry Shepard, Royal Military College of Canada

pp. 0623

PDF

The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education (Abstract)

John D. Tvedt, The Catholic University of America (CUA)

Roseanne Tesoriero, The Catholic University of America (CUA) and Fraunhofer Center for Experimental Software Engineering

Kevin A. Gary, UNICON, Inc.

pp. 0633

PDF

Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs (Abstract)

Kenneth L. Modesitt, University of Michigan-Dearborn

Don Bagert, Texas Tech University

Laurie Werth, University of Texas

pp. 0643

PDF

Plenary Sessions

Software Engineering and the Internet (PDF)

D. Sabbah

pp. 0655

The Coming-of-Age of Software Architecture Research (PDF)

M. Shaw

pp. 0656

"Tolerating Inconsistency" Revisited (PDF)

R. Balzer

pp. 0665

Software Engineering Challenges: A CIO's Perspective (PDF)

B. Voigt

pp. 0666

Reuse That Pays (PDF)

L. M. Northrop

pp. 0667

Challenges and Achievements in Software Engineering

Challenges and Achievements in Software Engineering (PDF)

pp. 0671

Process-Centered Software Engineering Environments: Academic and Industrial Perspectives (PDF)

pp. 0671b

Specification and Modeling: An Academic Perspective (PDF)

M. Broy

pp. 0673

Specification and Modeling: An Industrial Perspective (PDF)

B. Selic

pp. 0676

Invited Industry Presentations

Invited Industry Presentations (PDF)

pp. 0681

Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck (PDF)

Global Software Development: The Bell Labs Collaboratory (PDF)

pp. 0681b

M. Cheng

pp. 0682

Software Engineering in a Startup (PDF)

A. Ricciardi

pp. 0682b

Technology Drivers and Research Challenges of Future e-Business (PDF)

S. Feldman

pp. 0683

Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems (PDF)

pp. 0683b

Web Services and Software Engineering: Challenges and Opportunities (PDF)

S. Weerawarana

pp. 0683c

Enterprise Methodology =/= Software Development Methodology (PDF)

J. Q. Ning

pp. 0683d

Mining Selected Components: The Options Analysis for Reengineering (OAR) (PDF)

pp. 0684

Achieving Usability through Software Architecture (PDF)

L. Bass

B. E. John

pp. 0684b

Frontiers of Software Practice

(PDF)

pp. 0687

Enabling Technologies for the Future of Voice-Based Web Access (PDF)

S. Woods

pp. 0687b

Jini(tm) Network Technology: Devices, Desires, and Designs (PDF)

A. Ricciardi

pp. 0687c

Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET (PDF)

J. Hamilton

pp. 0688

Collaborative Software Engineering (PDF)

A. Brown

pp. 0688b

AntiPatterns in Software Architecture (PDF)

T. Mobray

pp. 0688c

Dependability of Embedded Systems (PDF)

J. Knight

pp. 0688d

Simple Object Access Protocol (SOAP) and Web Services (PDF)

A. Ryman

pp. 0689

Auditing Legacy Systems for Security and Survivability (PDF)

T. Longstaff

pp. 0689b

Panels

Software Engineering Body of Knowledge (SWEBOK) (PDF)

Chair: P. A. Freeman

pp. 0693

Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice (PDF)

Chair: L. Osterweil

pp. 0697

Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? (PDF)

Chair: D. Rombach

pp. 0698

Panel: Perspectives on Software Engineering (PDF)

Chair: D. Notkin

pp. 0699

Tutorials

UML for Software Engineers (Abstract)

Cris Kobryn, Telelogic

pp. 0705

PDF

The Intertwining between Risk and Project Management (Abstract)

Karol Frühauf, INFOGEM AG

pp. 0707

PDF

Methods of Component-Based Software Engineering Essential Concepts and Classroom Experience (Abstract)

Kurt Wallnau, Software Engineering Institute, Carnegie Mellon University

pp. 0709

PDF

From Use Cases to Code-Rigorous Software Development with UML (Abstract)

Albert Zündorf, University of Paderborn

pp. 0711

PDF

OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition (PDF)

pp. 0713

Describing Software Architecture with UML (Abstract)

Philippe Kruchten, Rational Software

Bran Selic, Rational Software

Wojtek Kozaczynski, Rational Software

pp. 0715

PDF

Software Product Lines and Software Architecture Design (PDF)

J. Bosch

pp. 0717

How to Do Inspections When There is No Time (Abstract)

Terry Shepard, Royal Military College of Canada

Diane Kelly, Royal Military College of Canada

pp. 0718

PDF

EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation (Abstract)

Barry Boehm, University of Southern California

Paul Grünbacher, Johannes Kepler University Linz

Robert O. Briggs, Group Systems.com

pp. 0720

PDF

Tutorial on Fundamental Concepts for Practical Software Architecture (PDF)

A. Ran

pp. 0722

An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things (Abstract)

James White, Catapult Technologies, Inc.

pp. 0724

PDF

Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method (PDF)

Improving Software Inspections by Using Reading Techniques (PDF)

I. Russ

pp. 0726

pp. 0728

Hyper/J(tm): Multi-Dimensional Separation of Concerns for Java(tm) (PDF)

P. Tarr

H. Ossher

pp. 0729

Enterprise JavaBean Architecture and Design Issues (PDF)

J. White

pp. 0731

State, Event, Time and Diagram in System Modeling (PDF)

J. S. Dong

pp. 0733

From UML to Java, Building a 3-Tier Architecture: Case Study (PDF)

T. Korson

pp. 0735

Designing Concurrent, Distributed, and Real-Time Applications with UML (PDF)

H. Gomaa

pp. 0737

Using Transformation Systems for Software Maintenance and Reengineering (PDF)

I. D. Baxter

pp. 0739

Effective Software Architecture Design: From Global Analysis to UML Descriptions (PDF)

D. Soni

pp. 0741

Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) (Abstract)

Daniel Amyot, Mitel Corporation

Gunter Mussbacher, Mitel Corporation

pp. 0743

PDF

Introduction to the Attribute Driven Design Method (PDF)

F. Bachmann

L. Bass

pp. 0745

Workshops

2nd International Workshop on Living with Inconsistency (PDF)

pp. 0749

4th ICSE Workshop on "Software Engineering over the Internet" (PDF)

F. Maurer

pp. 0751

Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications (PDF)

pp. 0753

The Second International Workshop on Automated Program Analysis, Testing and Verification (PDF)

pp. 0755

Workshop on Software Engineering and Mobility (PDF)

pp. 0756

ICSE Workshop on Software Visualization (PDF)

pp. 0758

Generative Techniques for Product Lines (PDF)

pp. 0760

SEMINAL: Software Engineering using Metaheuristic Innovative Algorithms (PDF)

pp. 0762

From Software Requirements to Architectures (PDF)

pp. 0764

3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web (PDF)

K. Wong

pp. 0766

Workshop to Consider Global Aspects of Software Engineering Professionalism (PDF)

pp. 0768

Third International Workshop on Economics-Driven Software Engineering Research (PDF)

M. Shaw

pp. 0770

4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (PDF)

pp. 0771

SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries (PDF)

A. Van der Hoek

pp. 0773

XML Technologies and Software Engineering (PDF)

pp. 0775

Describing Software Architecture with UML (PDF)

pp. 0777

Workshop on Advanced Separation of Concerns in Software Engineering (PDF)

P. Tarr, IBM T. J. Watson Research Center

H. Ossher, IBM T. J. Watson Research Center

pp. 0778

1st Workshop on Open Source Software Engineering (PDF)

J. Feller, University College Cork

B. Fitzgerald, University College Cork

A. Van der Hoek, UC Irvine

pp. 0780

Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams (PDF)

Doctoral Symposium

L. A. Campbell, Michigan State University

pp. 0785

Modeling and Controlling the Software Test Process (PDF)

J. W. Cangussu, Purdue University

pp. 0787

Using Software Component Generators to Construct a Meta-Weaver Framework (PDF)

J. Gray, Vanderbilt University

pp. 0789

Supporting the Deployment of Object-Oriented Frameworks (PDF)

D. Hou, University of Alberta

pp. 0791

Model Checking Distributed Objects Design (PDF)

N. Kaveh, University College London

pp. 0793

Web Engineering Device Independent Web Services (PDF)

E. Kirda, Technical University of Vienna

pp. 0795

Evolving Legacy Systems using Feature Engineering and CBSE (PDF)

A. Mehta, American Financial Systems, Inc.

pp. 0797

Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management (PDF)

D. Smolko, University College London

pp. 0799

Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process (PDF)

Rebeca P. Díaz Redondo, University of Vigo

José J. Pazos Arias, University of Vigo

pp. 0801

Traceability for System Families (PDF)

D. Streitferdt, Ilmenau Technical University

pp. 0803

David L. Parnas Symposium

David L. Parnas Symposium (PDF)

D. Hoffman, University of Victoria

D. Weiss, Avaya Laboratories

pp. 0807

New Software Engineering Faculty Symposium

New Software Engineering Faculty Symposium (PDF)

L. Osterweil, University of Massachusetts

G. Silberman, Centre for Advanced Studies

K. Wong, University of Alberta

pp. 0813

Software Architecture

Model Processing Tools in UML (PDF)

Johannes Koskinen, Tampere University of Technology

K. Koskimies, Tampere University of Technology

Jari Peltonen, Tampere University of Technology

Petri Selonen, Tampere University of Technology

Tarja Systä, Tampere University of Technology

Kai Koskimies, Tampere University of Technology

pp. 0819

Hyper/J(tm): Multi-Dimensional Separation of Concerns for Java(tm) (PDF)

H. Ossher, IBM T. J. Watson Research Center

P. Tarr, IBM T. J. Watson Research Center

pp. 0821

Architecture-Oriented Programming Using FRED (PDF)

M. Hakal, Tampere University of Technology

J. Hautamäki, Tampere University of Technology

J. Viljamaa, University of Helsinki

K. Koskimies, Tampere University of Technology

J. Paakki, University of Helsinki

A. Viljamaa, University of Helsinki

pp. 0823

Reuse and Integration

CodeWeb: Data Mining Library Reuse Patterns (PDF)

A. Michail, University of New South Wales

pp. 0827

Holmes: An Intelligent System to Support Software Product Line Development (Abstract)

Giancarlo Succi, University of Alberta

Jason Yip, University of Alberta

Witold Pedrycz, University of Alberta

pp. 0829

PDF

Babel: Representing Business Rules in XML for Application Integration (PDF)

H. Zhang, University of Alberta

E. Stroulia, University of Alberta

pp. 0831

Verification and Maintenance

JMOCHA: A Model Checking Tool that Exploits Design Structure (PDF)

R. Alur, University of Pennsylvania

L. de Alfaro, University of California, Berkeley

R. Grosu, State University of New York, Stony Brook

T. A. Henzinger, University of California, Berkeley

M. Kang, University of Pennsylvania

C. M. Kirsch, University of California, Berkeley

R. Majumdar, University of California, Berkeley

F. Mang, University of California, Berkeley

B. Y. Wang, University of Pennsylvania

pp. 0835

Maintenance Support Tools for JAVA programs: CCFinder and JAAT (PDF)

pp. 0837

Using OCL-Queries for Debugging C++ (PDF)

pp. 0839

Author Index (PDF)

pp. 0841