Technical Program

TUESDAY, MAY 20, 1997

8:30am-10:30am (Session 1)

(1A)

OPENING SESSION AND KEYNOTE ADDRESS

Chairs: W. Richards Adrion, Anthony I. Wasserman

Beyond Software Engineering, Ed Yourdon

10:30am-11:00am (Break)

Exhibits: Republic Exhibit Hall

Posters: Liberty C

Informal Research Demonstrations: Independence East

11:00am-12:30pm (Session 2)

(2A)

TECHNICAL PAPERS: ICSE/SSR Joint Session

Chair: Mehdi Harandi

• Reuse Library Interoperability and the World Wide Web: Shirley V. Browne (University of Tennessee, USA), James W. Moore (Mitre Corporation, USA)
• Reuse of Off-the-Shelf Components in C2-Style Architectures: Nenad Medvidovic, Peyman Oreizy, Richard N. Taylor (University of California, Irvine, USA)
• Configuring Designs for Reuse: Anssi Karhinen, Alexander Ran, Tapio Tallgren (Nokia Research Center, Finland)

(2B)

TECHNICAL PAPERS: Exploiting the Internet

Chair: Alexander Wolf

• An Architecture for WWW-based Hypercode Environments: Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang, Jack Jingshuang Yang (Columbia University, USA)
• Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development: James M. Perpich (Lucent Technologies, USA), Dewayne E. Perry (Bell Laboratories, USA), Adam A. Porter (University of Maryland, USA), Lawrence G. Votta, Jr. (Bell Laboratories, Lucent Technologies, USA), Michael W. Wade (Lucent Technologies, USA)
• Designing Distributed Applications with Mobile Code Paradigms: Antonio Carzaniga (Politecnico di Milano, Italy), Gian Pietro Picco (Politecnico di Torino, Italy), Giovanni Vigna (Politecnico di Milano, Italy)

(2C)

LESSONS FROM ORGANIZATIONS: Object Technology

Chair: Don Batory

• Leveraging a Large Banking Organization to Object Technology: Werner Karbach, Joerg Noack, Hans-Bernd Kittlaus (SIZ German Savings Banks Organization, Germany)
• Tailoring OMT for an Industry Software Project: Jeffrey Melanson (Siemens Medical Systems, USA), Robert L. Nord (Siemens Corporate Research, USA), Dilip Soni (Siemens Corporate Research, USA)

(2D)

STATE OF THE ART REPORT: CASE

Chair: Herm Fischer

• CASE: past, present, and future: David Notkin (University of Washington, USA)

(2E)

FORMAL RESEARCH DEMOS: Analysis

Chair: Laura K. Dillon

• Verification of Concurrent Software with FLAVERS: Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil (University of Massachusetts, Amherst, USA), Matthew B. Dwyer (Kansas State U., USA)
• Nitpick, A Tool for Interactive Design Analysis: Craig Damon (Carnegie Mellon U., USA)

12:30pm-2:00pm (Lunch Break)

Lunch: on your own

Exhibits: Republic Exhibit Hall

Posters: Liberty C

Informal Research Demonstrations: Independence East

2:00pm-3:30pm (Session 3)

(3A)

TECHNICAL PAPERS: Formal Specifications

Chair: Richard Kemmerer

• An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ: Shin Nakajima (NEC Corp., Japan), Kokichi Futatsugi (Japan Advanced Institute of Science & Technology, Japan)
• Formalizing and Integrating the Dynamic Model within OMT: Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng (Michigan State University, USA)
• Introducing Formal Specification Methods in Industrial Practice: Luciano Baresi, Alessandro Orso, Mauro Pezzè (Politecnico di Milano, Italy)

(3B)

TECHNICAL PAPERS: Reliability

Chair: Adam Porter

• Choosing a Testing Method to Deliver Reliability: Phyllis Frankl (Polytechnic University, U.K.), Dick Hamlet (Portland State University, USA), Bev Littlewood (City University, U.K.), Lorenzo Strigini (City University, U.K.)
• Re-estimation of Software Reliability After Maintenance: Andy Podgurski (Case Western Reserve Univ., USA), Elaine J. Weyuker (AT&T Research Labs, USA)
• A Study on the Failure Intensity of Different Software Faults: Kazuyuki Shima, Shingo Takada, Ken'ichi Matsumoto, Koji Torii (Nara Institute of Science and Technology, Japan)

(3C)

PANEL: Platforms for Software Execution: Databases vs. Operating Systems vs. Browsers

Chair: Richard W. Selby

Panelists:

Jeff Anders (Sun Microsystems, USA)

Larry Bernstein (Bell Labs, USA)

Randy Davis (MIT, USA)

Paul Dorsey (Dulcian, Inc., USA)

(3D)

INVITED PRESENTATIONS: Large Systems Experience I

Chair: Jerry Fiddler

• How I Learned to Stop Worrying and Love the 5ESS!: Eric Sumner, Rebecca Grinter, Lawrence G. Votta, Jr. (Bell Laboratories, Lucent Technologies, USA)
• Architecting Families of Software-Intensive Products: Alexander Ran (Nokia Research Center, USA), Hamish Kellock, Peter Hjort (Nokia Telecommunications, Finland)

(3E)

FORMAL RESEARCH DEMOS: Software Evolution

Chair: William Griswold

• Endeavors: A Process System Infrastructure: Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. Taylor (University of California, Irvine, USA)
• Argo: A Design Environment for Evolving Software Architectures: Jason E. Robbins, David M. Hilbert, David F. Redmiles (University of California, Irvine, USA)

3:30pm-4:00pm (Break)

Exhibits: Republic Exhibit Hall

Posters: Liberty C

Informal Research Demonstrations: Independence East

4:00pm-6:00pm (Session 4)

(4A)

TECHNICAL PAPERS: Inspections and Reviews

Chair: Ross Jeffery

• An Empirical Study of Communication in Code Inspections: Carolyn B. Seaman, Victor R. Basili (University of Maryland, USA)
• A Case Study of Distributed, Asynchronous Software Inspection: Michael Stein, John Riedl (University of Minnesota, USA), Sören J. Harner (ICEM Systems, GmbH, Germany), Vahid Mashayekhi (DELL Computer Corp., USA)
• Assessing Software Review Meetings: A Controlled Experimental Study Using CSRS: Philip M. Johnson, Danu Tjahjono (University of Hawaii, USA)
• Understanding the Effects of Developer Activities on Inspection Interval: Adam A. Porter, Harvey P. Siy (University of Maryland, USA), Lawrence G. Votta, Jr. (Bell Laboratories, Lucent Technologies, USA)

(4B)

TECHNICAL PAPERS: User Interface and Specifications

Chair: Guillermo Arango

• Early Specification of User-Interfaces: Toward a Formal Approach: J.-P. Jacquot, D. Quesnot (Centre de Recherche en Informatique de Nancy, France)
• Automated Analysis of Requirement Specifications: William M. Wilson (Software Assurance Technology Center/GSFC, USA), Linda H. Rosenberg (Unisys Federal Systems/GSFC, USA), Lawrence E. Hyatt (NASA/GSFC, USA)
• Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces: T. C. Nicholas Graham, Tore Urnes (York University, Canada)
• A Meta-Model for Restructuring Stakeholder Requirements: William N. Robinson, Slav Volkov

(4C)

TECHNICAL PAPERS and EXPERIENCE REPORTS: Legacy Systems and Testing

Chair: Mary Jean Harold

• Manipulating Recovered Software Architecture Views: Alexander S. Yeh, David R. Harris, Melissa P. Chase (Mitre Corporation, USA)
• Experience Report: Lessons on Converting Batch Systems to Support Interaction Testing: Robert DeLine, Gregory Zelesnik, Mary Shaw (Carnegie Mellon University, USA)
• Experience Report: Applying Design of Experiments to Software Testing: I. S. Dunietz, W. K. Ehrlich, B. D. Szablak (AT&T NCS OTC, USA), C. L. Mallows (AT&T Laboratories, USA), A. Iannino (Pipeline Associates, USA)
• A Theory of Probabilistic Functional Testing: Gilles Bernot (Université d'Évry, France), Laurent Bouaziz (CERMICS-ENPC, France), Pascale LeGall (Université d'Évry, France)

(4D)

PANEL: Advantages of Maintaining a High CMM Level

Chair: Marie Silverthorn

Panelists:

Kelly Butler (Tinker AFB, USA)

Bill Curtis (TeraQuest Metrics and SEI, USA)

Mike Diaz (Motorola GED, USA)

Jeff Perdue (Inst. for Software Process Improvement, USA)

Gary Wolf (Raytheon, USA)

Alan Woody (Texas Instruments, USA)

(4E)

FORMAL RESEARCH DEMOS: Software Evolution and Maintenance

Chair: Aniello Cimitile

• Automatic Monitoring of Software Requirements: Don Cohen, Martin S. Feather, K. Narayanaswamy, Stephen S. Fickas (Computing Services Support Solutions, USA)
• Preventive Program Maintenance in Demeter/Java: Karl J. Lieberherr, Doug Orleans (Northeastern U., USA)

6:00pm-8:00pm (Conference Reception)

Reception and Exhibits: Republic Exhibit Hall

WEDNESDAY, MAY 21, 1997

8:30am-10:00am (Session 5)

(5A)

KEYNOTE ADDRESS

Chair: Richard N. Taylor

Java and the Evolution of Web Software, Guy Steele (Sun Microsystems, USA)

10:00am-10:30am (Break)

Exhibits: Republic Exhibit Hall

Posters: Liberty C

Informal Research Demonstrations: Independence East

10:30am-12:00pm (Session 6)

(6A)

TECHNICAL PAPERS: Static Analysis

Chair: Paola Inverardi

• Analyzing Partially-Implemented Real-Time Systems: George S. Avrunin (University of Massachusetts, USA), James C. Corbett (University of Hawaii, USA), Laura K. Dillon (University of California, Santa Barbara, USA)
• Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models: Mauro Pezzè (Politecnico di Milano, Italy), Michal Young (Purdue University, USA)
• Software Deviation Analysis: Jon Damon Reese, Nancy G. Leveson (University of Washington, USA)

(6B)

TECHNICAL PAPERS: Metrics

Chair: Lawrence G. Votta

• A Predictive Metric Based on Discriminant Statistical Analysis: Maurizio Pighin, Roberto Zamolo (Universitá degli Studi di Udine, Italy)
• Communication Metrics for Software Development: Bernd Bruegge, Allen H. Dutoit (Carnegie Mellon University, USA)
• Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components: Victor R. Basili (University of Maryland, USA), Steven E. Condon (CSC, USA), Khaled El Eman (FIESE, Germany), Robert B. Hendrick, Walcelio Melo (Centre de Recherche Informatique de Montréal)

(6C)

STATE OF THE ART REPORT: Collaboration

Chair: Jeffrey Kramer

• Everything You NEED to Know About Collaboration and Collaboration Software: Mark S. Ackerman (University of California, Irvine, USA)

(6D)

PANEL: Java Development Environments

Chair: Anthony I. Wasserman

Panelists:

Jeff Anders (Sun Microsystems, USA)

Peter Kellogg-Smith (Asymetrix, USA)

Leo Lucas (Aimtech, USA)

Laurent Visconti (Metrowerks, USA)

(6E)

FORMAL RESEARCH DEMOS: Reverse Engineering and Maintenance

Chair: David Rosenblum

• Rigi: A Visualization Environment for Reverse Engineering: Margaret-Anne D. Storey, Kenny Wong, Hausi Müller (University of Victoria, Canada)
• An Object-Oriented Testing and Maintenance Environment: Pei Hsia, David Kung (University of Texas, Arlington, USA)

12:00pm-1:15pm (Lunch Break)

Lunch: on your own

Exhibits: Republic Exhibit Hall

Posters: Liberty C

Informal Research Demonstrations: Independence East

1:15pm-2:15pm (Session 7)

(7A)

TECHNICAL PAPERS and EXPERIENCE REPORTS: Process

Chair: Takuya Katayama

• A New Software Project Simulator Based on Generalized Stochastic Petri-net: Shinji Kusumoto, Osamu Mizuno, Tohru Kikuno, Yuji Hirayama (Osaka University, Japan), Yasunari Takagi, Keishi Sakamoto (OMRON Corporation, Japan)
• Experience Report: The Criticality of Modeling Formalisms in Software Design Method Comparison: Rodion M. Podorozhny, Leon J. Osterweil (University of Massachusetts, USA)

(7B)

TECHNICAL PAPERS: Hardware/Software Issues

Chair: Pankaj Jalote

• Specification of Software Controlling a Discrete-Continuous Environment: Viktor Friesen, Stefan Jähnichen, Matthias Weber (Technische Universität Berlin, Germany)
• Automatic Checking of Instruction Specifications: Mary Fernàndez (AT&T Research, USA), Norman Ramsey (University of Virginia, USA)

(7C)

LESSONS FROM ORGANIZATIONS: Architecture Recovery and Reverse Engineering

Chair: David Garlan

• Software Architecture Recovery of Embedded Software: Wolfgang Eixelsberger, Lasse Warholm (ABB Corporate Research, Norway), Rene Klösch, Harald Gall (Technical University of Vienna, Austria)
• Integrating Forward and Reverse Object-Oriented Software Engineering: Christoph Welsch (ABB Corporate Research, Germany), Alexander Schalk (Adtranz, Germany), Stefan Kramer (ABB Color Emag Schaltanlagen, Germany)

(7D)

LESSONS FROM ORGANIZATIONS: Large Systems Experience II

• Invited Presentation: Pragmatic Software Metrics for Iterative Development: Walker Royce (Rational Software)
• The Windows 95 User Interface: Iterative Design and Problem Tracking in Action: Kent Sullivan

(7E)

FORMAL RESEARCH DEMOS: Requirements

Chair: Sol Greenspan

• The SCR Method for Formally Specifying, Verifying, and Validating Software Requirements: Tool Support: Constance Heitmeyer, James Kirby, Jr., Bruce Labaw (Naval Research Lab, USA)
• GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering: Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde (University Louvain, Belgium)