ICSE-17 Conference, Thursday, April 27

Plenary Session 5: Keynote Talk (9:00-10:30)

Microsoft: Rethinking the Process of Software Development by Michael Cusumano, MIT Sloan School of Management, USA

Session 6A: Concurrency (11:00-12:30)

A Compact Petri Net Representation for Concurrent Programs by Matthew B. Dwyer, Lori A. Clarke and Kari A. Nies (U. Massachusetts-Amherst)

A Framework for Evaluating Specification Methods for Reactive Systems by Mark A. Ardis, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas and James Von Olnhausen (AT&T Bell Laboratories)

PARTS--A Temporal Logic-Based Real-Time Software Specification and Verification Method Supporting Multiple Viewpoints by Kyo C. Kang and Gwang-Il. Ko (Pohang University of Science and Technology)

Session 6B: Architecture (11:00-12:30)

Architectural Mismatch, or Why It's Hard to Build Systems out of Existing Parts by David Garlan, Robert Allen and John Ockerbloom (Carnegie Mellon U.)

Reverse Engineering to the Architectural Level by David R. Harris, Howard B. Reubenstein and Alex S. Yeh (MITRE)

Software Architecture in Industrial Applications by Dilip Soni, Robert L. Nord and Christine Hofmeister (Siemens Corporate Research)

Session 6C (11:00-12:30)

Session on Shrink-Wrap Software

Plenary Session 7: Awards (2:00-3:00)

ACM SIGSOFT Distinguished Service Award
IEEE Computer Society Award for Software Process Achievement
Other IEEE Computer Society Awards
Award for the Best Paper of ICSE-7

Session 8A: Development (3:30-5:00)

 Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator by Jacqueline Floch (SINTEF Delab)

A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies by Craig Chambers, Jeffrey Dean and David Grove (U. Washington)

Towards a Formal Semantics of Parnas Tables by Ryszard Janicki (McMaster U.)

Session 8B: Process (3:30-5:00)

Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach by Barry Boehm, Prasanta Bose, Ellis Horowitz and Ming June Lee (U. Southern California)

Decentralised Process Modelling in a Multi-Perspective Development Environment by Ulf Leonhardt, Anthony Finkelstein, Jeff Kramer and Bashar Nuseibeh (Imperial College)

How to Deal with Deviations During Process Model Enactment by Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi and Massimiliano Mantione (Politecnico di Milano)

Session 8C (3:30-5:00)

State-of-the-Art presentation on Empirical Studies by Lawrence G. Votta (AT&T Bell Laboratories)

dsr

This information last updated Tue 10 Jan 1995