******************************************************************************************* * ADVANCED PROGRAM and CALL FOR PARTICIPATION * * * * * * FOURTH IEEE INTERNATIONAL CONFERENCE ON * * REQUIREMENTS ENGINEERING (ICRE2000) * * June 19-23, 2000 * * Hyatt Regency Woodfield * * (www.hyatt.com/usa/schaumburg/hotels/hotel_chiwr.html) * * Schaumburg, Illinois USA * * Sponsored by IEEE Computer Society Technical Council on Software Engineering * * http://www.cse.msu.edu /ICRE2000 * * * ******************************************************************************************* ICRE2000 PROGRAM-AT-A-GLANCE ================================================================================================ MONDAY Pre-Conference Tutorials AM: (parallel sessions) T1: Using Non-Functional Requirements to Improve the Software Development Process L. M. Cysneiros J.C.S. Leite, PUC-Rio, Brazil T2: System Safety and the Requirements Engineering Process J.A. McDermid, Univ. of York, UK ----------------------------------------------------------------------------------------------- PM: (parallel sessions) T3: Using Abstract State Machines in Requirements Engineering E. Boerger, Universita di Pisa, Pisa, Italy currently visiting Microsoft Research, Redmond, WA, USA T4: Writing Good Requirements OR The "How To" of Use Case I. Hooks, Compliance Automation, Inc., USA ================================================================================================ TUESDAY Keynote I: P. Neumann, SRI International, USA Requirements-Related Risks in Critical Systems Technical Session: A. Process and Modeling ----------------------------------------------------------------------------------------------- Technical Session: B. Specifications & Poster Highlights C. Panel: Certification & Licensing of Requirements Engineering Professionals Poster/Demo Session ================================================================================================ WEDNESDAY Keynote II: D. Parnas, McMaster Univ., Canada Requirements Documentation: Why a Formal Basis is Essential Technical Session: D. Evolution ----------------------------------------------------------------------------------------------- Technical Session: E. Requirements Analysis and Management F. Panel: Why is it so difficult to introduce RE research results into mainstream RE practice? Conference Reception ================================================================================================ THURSDAY Technical Session: G. Reuse Technical Session: H. Best Papers Keynote III (Conference Luncheon) : D. C. Gause, Savile Row, LLC, USA Requirements Engineering, June 22, 2000, What have we accomplished? Where are we now? Where are we going? ================================================================================================ FRIDAY Post-Conference Tutorials AM: (parallel sessions) T5: Writing and Evaluating Requirement Specifications L. H. Rosenberg and A. Gallo, Software Assurance Technology Center, NASA GSFC, USA T6: The Most Ignored Piece of Requirements Engineering: Requirements Triage A.M. Davis, Omni-Vista, Inc., USA ----------------------------------------------------------------------------------------------- PM: (parallel sessions) T7: User DRIVEN Design - The Luxury that has Become A Necessity D.C. Gause, Savile Row, LLC, USA T8: Commonality Analysis for Defining Software Product Lines M.A. Ardis, Bell Labs, USA ================================================================================================ KEY DATES ========= Adv. Registration/Tutorial Deadline: May 19, 2000 Conference: June 19-23, 2000 Corporate Sponsors: FUJITSU, LUCENT TECHNOLOGIES, and RATIONAL Corporations interested in sponsoring ICRE please contact Professor Carl K. Chang, Chair, ICRE Steering Committee, at ckchang@uic.edu, or (312) 996-4860 COMMITTEES: =========== GENERAL CHAIR : Pei Hsia, Univ. of Texas at Arlington PROGRAM CO-CHAIRS: Betty Cheng, Michigan State Univ David Weiss, Bell Laboratories TUTORIALS CHAIR : Daniel Berry, Univ. of Waterloo, CA PUBLICITY CHAIR : Annie Anto'n, N. Carolina State Univ EXHIBITS CHAIR : David Hottman, Compliance Automation REGISTRATION CHAIR : John Liu, Lucent Technologies FINANCE CHAIR : David Levine, Univ. of Texas at Arlington LOCAL ARRANGEMENTS : Carl Chang,Univ. of Ill.-Chicago STEERING COMMITTEE: Carl Chang, Chair, Daniel Berry, Betty Cheng, Alan Davis, Merlin Dorfman, Pei Hsia, Brian Lawrence, Nancy Mead, Jawed Siddiqi, David Weiss Conference questions: icre2000@cse.msu.edu PROGRAM COMMITTEE ================= Annie I. Anton Joanne Atlee John Boddie Karin Breitman Eric Byrne Jack Callahan Dwight Colby John Dobson Janet Drake Steve Easterbrook Martin Feather Marilyn Gaska Don Gause Paul Grabow Sol Greenspan Constance Heitmeyer Lalita Jagadeesan Robert Johnson Nader Kameli Robyn Lutz John Mylopoulos Bashar Nuseibeh Klaus Pohl Linda Rosenberg Kurt Stirewalt Axel van Lamsweerde Frank Weil Alan Yaung Greg Zelesnik Didar Zowghi ================================================================================================ Tuesday, June 20, 2000 8:30-9:00 Opening Remarks, Pei Hsia, General Chair; Betty Cheng and David Weiss, Program Co-Chairs 9:00-10:00 Keynote I, Chair: Daniel Berry, Univ. of Waterloo, Canada Requirements-Related Risks in Critical Systems, Peter G. Neumann, SRI International, USA 10:00-10:30 Break 10:30-12:00 Session A Process and Modeling, Chair: Steve Easterbrook, Univ. of Toronto, Canada A1: Process Modeling for Object Oriented Analysis using BORM Object Behavioral Analysis, R. P. Knott, Loughborough Univ., UK, V. Merunka, Czech Univ. of Agriculture, Czech Republic, J. Polak, Deloitte & Touche, Czech Republic A2: On the inherent challenges of business modeling in large-scale re-engineering projects, J. A. Gulla, Norwegian Univ. of Science and Technology, Norway A3: A Process Framework for Requirements Analysis and Specification, E. Garcia-Alcazar and A. Monzon, TCP Sistemas e Ingenieria, Spain ----------------------------------------------------------------------------------------------- 12:00-1:30 Lunch ----------------------------------------------------------------------------------------------- 1:30-3:00 Session B Specifications , Chair: Nader Kameli, Guidant Corp., USA B1: A Framework for Multi-Notation Requirements Specification and Analysis, N. Day, Oregon Graduate Institute and J. Joyce, Intrepid Critical Software, USA B2: A Lightweight Approach to Consistency of scenarios and class models, M. Glinz, Univ. of Zurich, Switzerland B3: Poster Session Highlights, Chairs: Martin Feather, NASA JPL, Jack Callahan, W. Virginia/NASA IV&V, USA Z Specifications Meet Mathematica for Exploratory Prototyping, L. Sherrell, Univ. of West Florida and W.H. Paulsen, Arkansas State Univ., USA Patterns and Aspects for Use Cases: Reuse Techniques for Use Case Descriptions, M. Saeki, Tokyo Institute of Technology, Japan The Requirement Set: The bigger picture and quality impact, P. Ferdinandi, Strategic Business Decisions, Inc., USA 3:00-3:30 Break 3:30-5:00 Panel C Chair: Bashar Nuseibeh, Imperial College, UK What do you mean I've been practicing without a license? Certification & Licensing of Requirements Engineering Professionals Moderators: A. Anton, North Carolina State Univ., USA and J. Atlee, Univ. of Waterloo, Canada Panelists: N. Mead, SEI, USA, P. Neumann, SRI International, USA, D.L. Parnas, McMaster Univ., Canada, M. Ardis, Bell Labs, USA, and E.D. Dorchester, Texas Board of Professional Engineers, USA ----------------------------------------------------------------------------------------------- 5-6:00 Poster/Demo Session Posters/Demos ================================================================================================ Wednesday, June 21, 2000 o Session Posters/Demos ================================================================================================ WEDNESDAY, June 21, 2000 9:00-10:00 AM Keynote II, Chair: David Weiss, Bell Labs, USA Requirements Documentation: Why a Formal Basis is Essential, David L. Parnas, McMaster Univ., Canada 10:00-10:30 Break 10:30-12:00 Session D Evolution, Chair: Didar Zowghi, Macquarie Univ., Australia D1: Prioritising Scenario Evolution, F. Moisiadis, Macquarie Univ., Australia D2: Scenario Evolution: A closer view on relationships, K. Breitman and J.C.S. Leite, PUC-Rio, Brazil D3: Enhancing Requirements and Change Management through Process Modeling and Measurement, L. Lavazza and G. Valetto, CEFRIEL and Politecnico di Milano, Italy ----------------------------------------------------------------------------------------------- 12:00-1:30 Lunch ----------------------------------------------------------------------------------------------- 1:30-3:00 Session E Requirements Analysis and Management, Chair: Klaus Pohl, Univ. of Essen, Germany E1: Scalable Mechanisms for Requirements Interaction Management, M. Feather, NASA Jet Propulsion Laboratory, USA E2: Essential and incidental complexity in Reqts Models, L. Nguyen and P. Swatman, Deakin Univ., Australia E3: Lightweight Validation of Natural Language Requirements: a case study, V. Gervasi, Universita di Pisa, Italy and B. Nuseibeh, Imperial College, UK 3:00-3:30 Break 3:30-5:00 Panel F Chair: Frank Weil, Motorola, USA Why is it so difficult to introduce RE research results into mainstream RE practice? Moderator: H. Kaindl, Siemens AG Austria Panelists: S. Greenspan, GTE Laboratories Inc., USA, C. Heitmeyer, Naval Research Laboratory, USA, J.C.S. Leite, Pontificia Universidade Catolica-Rio, BR, N. Mead, SEI, USA, and J. Siddiqi, Sheffield Hallam Univ., UK ----------------------------------------------------------------------------------------------- 5:30-8:00: Conference Reception ================================================================================================ THURSDAY, June 22, 2000 9:00-10:30 Session G Reuse, Chair: Dwight Colby, Secure Computing Corp., USA G1: Mapping Requirements to Reusable Components using Design Spaces, L. Baum, M. Becker, L. Geyer, and G. Molter, Univ. of Kaiserslautern, Germany G2: Establishing Reuse Measurement Practices in SAP Requirements Engineering, M. Daneva, Clearnet Communications Inc., Canada G3: An Assessment of the Relative Efficiency of a Facilitator-Driven Reqts Collection Process with respect to Conventional Interview Method, R. Hubbard, BEA Systems, C. N. Schroeder, Colorado Technical Univ., and N. Mead, SEI, USA 10:30-11:00 Break 11:00-12:30 Session H Best Papers, Chair: Lalita Jagadeesan, Bell Labs, USA H1: A Reference Model for Requirements and Specifications, C. Gunter, Univ. of Pennsylvania, E.L. Gunter, Bell Labs, M. Jackson, and P. Zave, AT&T Labs., USA H2: Requirements Validation of a Voice Communication System used in Air Traffic Control, J. Horl and B. Aichernig, Technical Univ. of Graz, Austria H3: The effects of communication media on group performance in RE, D.E.H. Damian, A. Eberlein, M.L.G. Shaw, and B.R. Gaines, Univ. of Calgary, Canada ----------------------------------------------------------------------------------------------- 12:30-2:30 Conference Lunch and Keynote III, Chair: Brian Lawrence, Coyote Valley Software, USA Requirements Engineering, June 22, 2000, What have we accomplished? Where are we now? Where are we going? Donald C. Gause, Savile Row, LLC, USA