Vision Calendar Program Registration Hotel Boston Workshops Tutorials Organizers History Sponsors ICSE 98
ICSE 97:

Technical Program

Tuesday sessions 1, 2, 3, 4, Reception
Wednesday sessions 5, 6, 7, 8, 9, Reception
Thursday sessions 10, 11, 12, 13
Site Menu

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

(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)

2:15pm-3:45pm (Session 8)

(8A)
PLENARY AWARD SESSION
Chairs: W. Richards Adrion, Alfonso Fuggetta, Richard N. Taylor, Anthony I. Wasserman
  • ACM, ACM/SIGSOFT, IEEE Computer Society and IEEE-CS/TCSE awards
  • ICSE 9 paper award
    • Software Processes are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9: Leon J. Osterweil (University of Massachusetts, Amherst, USA)
    • Process Modelling - Where Next: M. M. Lehman (Imperial College, England)

3:45pm-4:15pm (Break)

Posters: Liberty C
Informal Research Demonstrations: Independence East

4:15pm-5:45pm (Session 9)

(9A)
TECHNICAL PAPERS: Reverse Engineering and Program Understanding
Chair: David Notkin
  • Lackwit: A Program Understanding Tool Based on Type Inference: Robert O'Callahan, Daniel Jackson (Carnegie Mellon University, USA)
  • Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis: Christian Lindig, Gregor Snelting (Technische Universitat at Braunschweig, Germany)
  • Visualizing Interactions in Program Executions: Dean F. Jerding, John T. Stasko (Georgia Institute of Technology, USA), Thomas Ball (Bell Laboratories, USA)

(9B)
EXPERIENCE REPORTS: Process Improvement
Chair: Jean-Claude Derniame
  • Measuring Requirements Testing: Theodore Hammer (NASA Goddard Space Flight Center, USA), Linda H. Rosenberg (Unisys Federal Systems, USA), Lenore Huffman (SATC, USA), Lawrence E. Hyatt (NASA Goddard Space Flight Center, USA),
  • Integrating Measurement with Improvement: An Action-Oriented Approach: Jo Ann Lane (Science Applications International Corporation, USA), David Zubrow (Carnegie Mellon University, USA)
  • Total Software Process Model Evolution in EPOS: Minh N. Nguyen, Alf Inge Wang, Reidar Conradi (Norwegian University of Science & Technology, Norway)
  • An Improved Process for the Development of PLC Software: Flavio Bonfatti (University of Modena, Italy), Gianni Gadda (Democenter Scrl, Italy), Paola Daniela Monari (University of Modena, Italy)

(9C)
LESSONS FROM ORGANIZATIONS: Management Issues
Chair: Michael Cusumano
  • Prioritizing Software Requirements in an Industrial Setting: Kevin Ryan (University of Limerick, Ireland), Joachim Karlsson (Focal Point FB, Sweden)
  • Lessons Learned with the Systems Security Engineering Capability Maturity Model: Rick Hefner (TRW, USA)
  • BOOTSTRAP: Four Years of Assessment Experience: Franz Engelmann, Ernst Lebsanft, Hans Stienen (YNSPACE AG, Switzerland)

(9D)
PANEL: Collaborative Software Engineering
Chair: Kanth Miriyala
Panelists:
Prasun Dewan (University of North Carolina, USA)
Philip Johnson (University of Hawaii, USA)
Remo Pareschi (Rank Xerox Research Centre, France)

(9E)
FORMAL RESEARCH DEMOS: Component Integration
Chair: Martin Wirsing
  • ADE - An Architecture Design Environment for Component-Based Software Engineering: Jim Q. Ning (Andersen Consulting, USA)
  • Package-Oriented Programming of Engineering Tools: Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit (University of Virginia, USA)

5:45pm-6:30pm (ACM/SIGSOFT Open Meeting)

A meeting for ACM/SIGSOFT members and other interested parties: Commonwealth Room

6:30pm-7:15pm (IEEE-CS/TCSE Open Meeting)

A meeting for IEEE-CS/TCSE members and other interested parties: Commonwealth Room

7:00pm-10:00pm (Conference Reception)

Reception: Top of the Hub, Prudential Building

THURSDAY, MAY 22, 1997

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

(10A)
KEYNOTE ADDRESS
Chair: Alfonso Fugetta
Software Engineering That Matters to People, Mark Weiser (Xerox PARC, USA)

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

Republic Foyer

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

(11A)
TECHNICAL PAPERS: Analysis of C & C++
Chair: Mauro Pezzè
  • An Investigation into Coupling Measures for C++: Lionel Briand (IESE, Germany), Prem Devanbu (AT&T Research, USA), Walcelio Melo (CRIM, Canada)
  • Incremental Analysis of Side Effects for C Software Systems: Jyh-Shiarn Yur, Barbara G. Ryder (Rutgers University, USA), William A. Landi (Siemens Corporate Research, USA), Phil Stocks (Rutgers University, USA)
  • Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing: Paolo Tonella, Giuliano Antoniol, Roberto Fiutem (IRST, Italy), Ettore Merlo (Ecole Polytechnique C.P., Canada)

(11B)
TECHNICAL PAPERS: Economic and Legal Issues
  • The Effect of Department Size on Developer Attitudes to Prototyping: J. M. Verner (City University of Hong Kong, Hong Kong), N. Cerpa (University of New South Wales, Australia)
  • Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case: Cristina Cifuentes (University of Queensland, Australia), Anne Fitzgerald (University of Tasmania, Australia)
  • On the Economics of Mass-Marketed Software: Richard J. Botting (California State University at San Bernadino, USA)

(11C)
STATE OF THE ART REPORT: Software Architecture
Chair: Richard N. Taylor
  • State of the Art: Software Architecture: Dewayne E. Perry

(11D)
MINI-TUTORIAL: An Introduction to CORBA
Speaker: Richard Soley (Object Management Group, USA)
Chair: Will Tracz

(11E)
FORMAL RESEARCH DEMOS: Environments
Chair: Barbara Lerner
  • Developing Graphical SE Tools with PROGRES: Andy Schürr, Andreas J. Winter (University Aachen, Germany)
  • TINA ACE: An Environment for Specifying, Developing and Generating TINA Services: Piergiorgio Bosco, Giovanni Martini, Corrado Moiso (CSELT, Italy)

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

Lunch: on your own

1:30pm-3:00pm (Session 12)

(12A)
TECHNICAL PAPERS: Object-Oriented Technology
Chair: John McHugh
  • Abstract Syntax from Concrete Syntax: David S. Wile (University of Southern California, USA)
  • Open Implementation Design Guidelines: Gregor Kiczales, John Lamping, Cristina Videira Lopes, Anurag Mendhekar (Xerox Palo Alto Research Center, USA), Gail Murphy (University of British Columbia, Canada)
  • Hooking into Object-Oriented Application Frameworks: Garry Froehlich, H. James Hoover, Ling Liu, Paul Sorenson (University of Alberta, Canada)

(12B)
TECHNICAL PAPERS and EXPERIENCE REPORTS: Testing & Analysis
Chair: Kokichi Futatsugi
  • Using Formal Methods to Reason about Architectural Standards: Kevin J. Sullivan (University of Virginia, USA), John Socha (Socha Computing Inc., USA), Mark Marchukov
  • Model-Checking of Real-Time Systems: A Telecommunications Application: Rajeev Alur, Lalita Jategaonkar Jagadeesan (Bell Laboratories, USA), Joseph J. Kott, James E. Von Olnhausen (Lucent Technologies, USA)
  • Experience Report: Specification-based Testing of Reactive Software: Tools and Experiments: Lalita Jategaonkar Jagadeesan (Bell Laboratories, USA), Adam A. Porter (University of Maryland at College Park, USA), Carlos Puchol (The University of Texas at Austin, USA), J. Christopher Ramming (AT&T Laboratories, USA), Lawrence G. Votta, Jr. (Bell Laboratories, Lucent Technologies, USA)

(12C)
LESSONS FROM ORGANIZATIONS: Process Issues
Chair: Elliot Chikofsky
  • Code Reviews Enhance Software Quality: Richard A. Baker, Jr. (Schneider Automation Inc., USA)
  • Implementing Cleanroom Software Engineering into Mature CMM-Based Software Organizations: Robert Oshana (Texas Instruments, USA), Frank P. Coyle (Southern Methodist University, USA)

(12D)
PANEL: Databases and the World-Wide Web
Chair: Anthony I. Wasserman
Panelists:
Larry Alston (Object Design, USA)
Tom George (Centura Software, USA)
Doron Sherman (NetDynamics, USA)

3:15pm-4:30pm (Session 13)

(13A)
PANEL: Closing Remarks

<icse-97-webmaster@ics.uci.edu>
1997 International Conference on Software Engineering
Last modified: 18 Jun 1997