Dear Colleague, We are writing to urge you to attend SIGSOFT'96: The Fourth Symposium on the Foundations of Software Engineering (FSE4), which will be held Oct 14-18 in downtown San Francisco. This year's symposium promises to be one of the best in recent years, and we hope to see you there. Highlights of the conference include: - - Presentation of significant new research ideas Sessions on software modeling, analysis, testing, architecture, reuse, evolution, and evaluation. - - Keynotes Michael Jackson - Problems, Methods, and Structures Henry Petroski - Engineering Bridges: From Concept to Reality Eberhardt Rechtin - Software Systems Architecting - - Panels What Can Programming Languages Contribute to Software Engineering, and Vice Versa? Industrial Priorities for Software Engineering Research - - Tutorials Design Patterns - John Vlissides Integration Mechanisms : OLE and CORBA - Michael Stal Views & Frames for Problem Analysis - Daniel Jackson & Michael Jackson Theorem Proving and Model Checking for Software - John Rushby Software Design and Implementation with Generic Components - Mehdi Jazayeri & Georg Trausmuth Details about the conference program and registration are included below, or can be found on-line through the conference web site http://www.csl.sri.com/sigsoft96/ The attached description is divided into three parts: (1) General information (2) The FSE4 Advance Program, (3) Registration Forms. David Garlan - Program Chair Mark Moriconi - General Chair =========================GENERAL INFORMATION========================= ACM SIGSOFT '96 Fourth Symposium on the Foundations of Software Engineering (FSE4) San Francisco, California USA 14-18 October 1996 http://www.csl.sri.com/sigsoft96/ The Fourth Symposium on the Foundations of Software Engineering will provide a forum for discussion of innovative research results contributing to an engineering discipline for software systems. SIGSOFT '96 includes a strong educational thread of tutorials, workshops, panels, and invited speakers, supporting this year's theme of software architecture and design. SIGSOFT '96 is being held at the Holiday Inn Union Square, located in the heart of downtown San Francisco, close to shopping, galleries, theaters, and many of the best restaurants. The Powell Street Cable Car Line runs directly outside the hotel door, providing convenient access to Chinatown, Fisherman's Wharf, and other parts of the city. =======================THE FSE4 PROGRAM=========================== - - TUTORIALS (Monday, Tuesday --- October 14, 15) An Introduction to Design Patterns --- John Vlissides (IBM T. J. Watson Research Center). This tutorial will introduce the concepts of design patterns as they have emerged within the object-oriented design community. Patterns reflect idioms used to solve common design problems in software development. Patterns will be related to and distinguished from other important design concepts, specifically frameworks and architectures. Integration Mechanisms for Distributed Computing: OLE and CORBA --- Michael Stal (Siemens AG). This tutorial will provide an overview of integration mechanisms used in distributed computing. Specifically, the two technologies of OLE and CORBA will be described and compared. Views and Frames for Problem Analysis --- Daniel Jackson (Carnegie Mellon University) and Michael Jackson (MAJ Consulting Ltd and AT&T Research). This tutorial provides useful insights into the practice of software development, especially the requirements and specification activities. A central theme is the need to analyze and structure the problem itself, not just the system that will solve it. A problem frame is used to represent a particular class of problems; complex problems can be simplified by means of views. Examples will include both toy problems and glimpses of large systems. Theorem Proving and Model Checking for Software --- John Rushby (SRI International). This tutorial will help participants understand the state-of-the-art in theorem proving and model checking, with a special emphasis on their use in reasoning about software and specifications. Software Design and Implementation with Generic C++ Components --- Mehdi Jazayeri and Georg Trausmuth (Technical University of Vienna). This tutorial will teach experienced software designers the principles of component programming, a new, multiparadigm approach to software design and implementation using generic components. The emphasis will be on architectural issues, using concrete examples in C++. - - WORKSHOPS (Monday, Tuesday --- October 14, 15) Second International Software Architecture Workshop (ISAW-2). This workshop brings together practitioners and researchers for two days of discussion and work in the emerging discipline of Software Architecture. BY INVITATION ONLY: Participants have been contacted directly. (Organized by Alex Wolf, alw@cs.colorado.edu.) Viewpoints in Software Development Workshop. This workshop focuses on issues associated with integrating the different perspectives (or views) that inevitably arise when multiple, possibly competing, concerns are involved in the development of a complex software system. BY INVITATION ONLY Participants have been contacted directly. (Organized by Anthony Finkelstein,acwf@soi.city.ac.uk.) - - SYMPOSIUM PROGRAM Wednesday, October 16 8:00 - 8:45 Continental Breakfast 8:45 - 9:00 Opening Remarks: Mark Moriconi and David Garlan 9:00 - 10:15 Keynote: Michael Jackson 10:15 - 10:45 Coffee Break 10:45 - 12:15 Session 1: SOFTWARE ARCHITECTURE Dynamic Structure in Software Architectures Jeff Magee, Jeff Kramer Software Architecture Styles as Graph Grammars Daniel Le Me'tayer Using Object-Oriented Typing to Support Architectural Design in the C2 Style Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor 12:15 - 1:45 Luncheon 1:45 - 3:15 Session 2: EVOLUTION Tool Support for Planning theRestructuring of Data Abstractions in Large Systems William G. Griswold, Morison I. Chen, Robert W. Bowdidge J. David Morgenthaler Evolution of Object Behavior Using Context Relations Linda Seiter, Jens Palsberg, Karl Lieberherr Decoupling Change from Design Michael VanHilst, David Notkin 3:15 - 3:45 Coffee Break 3:45 - 5:00 Panel: What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Moderator: Gregor Kiczales) 6:30 - 8:30 Reception (hors doeuvres, cash bar) Thursday, October 17 8:00 - 8:45 Continental Breakfast 8:45 - 10:00 Keynote: Henry Petroski 10:00 - 10:30 Coffee Break 10:30 - 12:00 Session 3: ANALYSIS I Checking Relational Specifications With Binary Decision Diagrams Craig A. Damon, Daniel Jackson, Somesh Jha Verification of Communication Protocols Using Data Flow Analysis Gleb N. Naumovich, Lori A. Clarke, Leon J. Osterweil 12:00 - 1:30 Luncheon 1:30 - 3:00 Session 4: TESTING Generating Oracles from Your Favorite Temporal Logic Specifications L. K. Dillon, Y. S. Ramakrishna Predicting the Cost-Effectiveness of Regression Testing Strategies David S. Rosenblum, Elaine J. Weyuker Specification-based Testing of Synchronous Software Ioannis Parissis, Farid Ouabdesselam 3:00 - 4:00 Session 5: REUSE AND INTEROPERABILITY Program Generalization for Software Reuse: From C to C++ Michael Siff, Thomas Reps Automated Support for Seamless Interoperability in Polylingual Software Systems Daniel J. Barrett, Alan Kaplan, Jack C. Wileden 4:00 - 4:30 Coffee Break 4:30 - 5:45 Panel: Industrial Priorities for Software Engineering Research (Moderator: Barry Boehm) 8:00 - 10:00 Special Session: Novel Notions, Wild Ideas, and Fun Flames (Coordinator: David Notkin) Friday, October 18 8:00 - 9:00 Continental Breakfast 9:00 - 10:15 Keynote: Eberhardt Rechtin 10:15 - 10:45 Coffee Break 10:45 - 12:15 Session 6: ANALYSIS II Model Checking Large Software Specifications Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon D. Reese Abstracting Dependencies Between Software Configuration Items Carl A. Gunter Formal Refinement Patterns for Goal-Driven Requirements Elaboration Robert Darimont, Axel van Lamsweerde 12:15 - 12:30 Closing Remarks - - ABOUT THE KEYNOTE PRESENTATIONS PROBLEMS, METHODS, AND STRUCTURES, Michael Jackson (MAJ Consulting Ltd and AT&T Research, Murray Hill NJ). Software engineering has traditionally focused on solutions and their properties, paying far less attention to problem analysis and classification. A stronger focus on problems, exploiting the notion of a problem frame, can lead to better understanding of development methods in general and of problem decomposition in particular. Mr. Jackson devised the widely used JSP and JSD software methods, which he describes in "Principles of Program Design" (Academic Press 1975) and "System Development" (Prentice-Hall 1983). His latest book is "Software Requirements & Specifications" (Addison-Wesley 1995). ENGINEERING BRIDGES: FROM CONCEPT TO REALITY, Henry Petroski (Duke University). The conceptual design of a bridge can come fully formed to an engineer's mind, but the success or failure of the project depends upon numerous technical and nontechnical details. Examples drawn from the history of American bridges will be employed in this lecture on the nature of engineering design and construction. Dr. Petroski has written and lectured widely on engineering design and failure. His most recent books are "Engineers of Dreams: Great Bridge Builders and the Spanning of America" (Alfred A. Knopf 1995) and "Invention by Design: How Engineers Get from Thought to Thing" (Harvard University Press, forthcoming). SOFTWARE SYSTEMS ARCHITECTING, Eberhardt Rechtin (President and CEO Emeritus, The Aerospace Corporation). Software architectures are increasingly recognized as a source of software effectiveness and as a center of real-time, software-intensive systems design. Less understood, perhaps, are the foundations and tools of the architecting process itself, the subject of this address. Dr. Rechtin has been the Director of the Defense Advanced Research Projects Agency (DARPA), an Assistant Secretary of Defense (Telecommunications), and the chief engineer of Hewlett-Packard. He is author of two books, "Systems Architecting: Creating and Building Complex Systems" (Prentice Hall Inc. 1991), and "The Art of Systems Architecting" (CRC Press, Inc. 1996). - - ABOUT THE PANELS WHAT CAN PROGRAMMING LANGUAGES CONTRIBUTE TO SOFTWARE ENGINEERING, AND VICE VERSA? (Moderator: Gregor Kiczales, Xerox PARC). Many would argue that programming languages are essentially irrelvant to software engineers: the real problems are not in the way we code our implementations but the processes, environments, and methods that we use to carry out system development throughout the lifecycle. On the other hand, a number of programming languages and systems have recently been developed with specific problems of software engineering in mind, by including advanced modularization capabilities, support for dynamic system composition, and the ability to create new applications from widely distributed componentry. This panel examines the extent to which such new language capabilities are likely to affect the practice of software engineering. INDUSTRIAL PRIORITIES FOR SOFTWARE ENGINEERING RESEARCH, (Moderator: Barry Boehm, University of Southern California). Solutions to problems studied in the research community often do not meet the real needs of industry. Leaders in the commercial software marketplace will provide insight into the most critical software engineering problems that research should be addressing. - - ABOUT THE SPECIAL SESSION NOVEL NOTIONS, WILD IDEAS, AND FUN FLAMES. This evening session will provide conference attendees with an opportunity to present their (possibly half-baked) viewpoints about the past, present, and future of software engineering research and practice in an informal and fun setting. The only constraint on what can be presented is the strictly imposed 6.28 minute limit --- and your imagination. Sign-up at the conference, or send email in advance to David Notkin at notkin@cs.washington.edu. - - PROGRAM COMMITTEE: Barry Boehm, University of Southern California Marie-Claude Gaudel, Universite' de Paris--Sud John Gannon, University of Maryland David Garlan (chair), Carnegie Mellon University Carlo Ghezzi, Politecnico di Milano Anthony Hall, Praxis Systems Mary Jean Harrold, Ohio State University Daniel Jackson, Carnegie Mellon University Mehdi Jazayeri, Technical University of Vienna Kevin Jeffay, University of North Carolina Ralph Johnson, University of Illinois Gregor Kiczales, Xerox PARC Jeff Kramer, Imperial College, London Axel van Lamsweerde, Universite' Catholique de Louvain Oscar Nierstrasz, Universitaet Bern Dewayne Perry, Bell Laboratories Fred Schneider, Cornell University - - GENERAL CHAIR: Mark Moriconi (SRI) - - TUTORIALS CHAIR: Gregory Abowd (Georgia Inst. of Technology) =======================REGISTRATION=========================== - - REGISTRATION INFORMATION AND FEES o To qualify for reduced rates, registration must be faxed or postmarked bySeptember 13, 1996 o Registration forms must be accompanied by full payment in order to be processed. o Cancellations and changes made in writing and faxed or postmarked by September 27, 1996 will be accepted subject to a $50 processing fee. Your registration can be transferred by giving a colleague a written authorization. What Your Registration Includes SYMPOSIUM REGISTRATION: includes admission to the technical sessions, three continental breakfasts, two luncheons, coffee breaks, reception (except student registrants), and proceedings. TUTORIAL REGISTRATION includes admission to selected half-day tutorial, one copy of tutorial notes for that session, and one coffee break. You do not have to register for the symposium in order to attend tutorials. WORKSHOP REGISTRATION includes admission to the selected two-day workshop, one copy of the proceedings for that session, two continental breakfasts, two luncheons, and coffee breaks. You do not have to register for the symposium in order to attend a workshop. Fee Table member non-member student by 9/13 after 9/13 by 9/13 after 9/13 by 9/13 after 9/13 Symposium $350 $425 $425 $500 $150 $150 Each Tutorial 175 225 225 275 75 100 Each Workshop 225 275 275 325 100 125 Discounts o Subtract $50 (non-student) or $25 (student) from the total registration fee if registering for the Symposium and at least one tutorial or workshop. o Subtract $175 (non-student) or $75 (student) from the total registration fee if registering for four half-day tutorials. For ACM SIGSOFT members who register by September 13, this discount offers four tutorials for the price of three. o The maximum possible discount is $225 (members) or $100 (students). ============================ CONFERENCE REGISTRATION FORM ============================ *By Mail* *By Fax* SIGSOFT '96 c/o Mark Moriconi (415) 859-2844 SRI International 333 Ravenswood Avenue Menlo Park, CA 94025 USA Name:______________________________________________________________________ Affiliation:_______________________________________________________________ Address:___________________________________________________________________ ___________________________________________________________________ Phone:_____________________________________________________________________ Fax:_______________________________________________________________________ E-mail:____________________________________________________________________ Special dietary needs:_____________________________________________________ Method of payment? [ ] Check or money order (U.S. bank only) payable to "SIGSOFT '96" [ ] Visa [ ] MasterCard [ ] American Express Credit card number:________________________ Expiration date:_______________ Name (exactly as it appears on credit card):_______________________________ Signature:_________________________________________________________________ ACM/SIGSOFT membership number:____________________ TUTORIALS AND WORKSHOPS [ ] T1 -- Monday morning: Design Patterns [ ] T2 -- Monday afternoon: OLE and CORBA [ ] T3 -- Tuesday morning: Views and Frames [ ] T4 -- Tuesday afternoon: Theorem Proving and Model Checking [ ] T5 -- Tuesday afternoon: Design and Implementation w/ Generic Components [ ] W1 -- Monday and Tuesday: Int'l Software Architecture Workshop (ISAW-2) [ ] W2 -- Monday and Tuesday: Viewpoints in Software Development Workshop FEE COMPUTATION Symposium fee...................................................... $______ Tutorial fee: ______ tutorials x $______ per tutorial ............. $______ Workshop fee: ______ workshops x $______ per workshop ............. $______ Discount for symposium + workshop/tutorial ($50/$25) ............. ($______) Discount for four tutorials ($175/$75) ........................... ($______) SIGSOFT membership fee ($50) ..................................... $______ (qualifies for member rates) *Total Due* $______ ====================== HOTEL RESERVATION FORM ====================== Be sure to indicate that you are attending SIGSOFT '96 to obtain the special conference rates. The room block will be held until *September 13, 1996*. *By Mail* *By Phone* Holiday Inn Union Square toll-free: (800) 243-1135 480 Sutter Street direct: (415) 398-8900 San Francisco, CA 94108 fax: (415) 989-8823 [ ] Single $135 (+ tax) [ ] Double $150 (+ tax) [ ] Non-smoking room requested Extra person charge will be $20 per guest Name:______________________________________________________________________ Affiliation:_______________________________________________________________ Address:___________________________________________________________________ ___________________________________________________________________ Phone:_______________ Fax:_______________ E-mail:__________________________ Arrival date:_______________ Number of nights:______ Special needs:_____________________________________________________________ Guarantee room by credit card? [ ] Visa [ ] MasterCard [ ] AmEx Credit card number:_________________________ Expiration date: _____________ Name (exactly as it appears on credit card): ______________________________ Signature:_________________________________________________________________ AIRPORT TO HOTEL TRANSPORTATION San Francisco International Airport (SFO) is located approximately 15 miles from the Holiday Inn Union Square. Airport to hotel transportation is provided by the Super Shuttle, a small blue van located at the airport upper level, and the SFO Airporter, a large bus located at the airport lower level. Reservations are not needed. Departures occur approximately at 20 minute intervals. The one-way fare is $10 per person. To catch one of these services, proceed outside and go to the center island. A taxi to the hotel costs approximately $25 one way.