FOURTH  IEEE INTERNATIONAL CONFERENCE ON 
REQUIREMENTS ENGINEERING (ICRE2000)
An IEEE Software Technology Transfer Conference
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 ADVANCED PROGRAM and

CALL FOR PARTICIPATION

(Advanced Registration extended to May 26, 2000)

ICRE2000 is the fourth in a biennial series of conferences aimed at bringing together practitioners and researchers to discuss software requirements-engineering-related problems and results. As a technology transfer conference, ICRE2000 is designed to provide (1) practitioners with an evaluation of promising requirements research and practice and (2) researchers with an exposure to real-world requirements problems.

ICRE2000 At-a-Glance

AM

Monday

Tuesday

Wednesday

Thursday

Friday

Pre-Conference Tutorials Post-Conference Tutorials
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		 Keynote I:
P. Neumann, SRI International, USA Requirements-Related Risks in Critical Systems  		Keynote II:
D. Parnas, McMaster Univ., Canada
Requirements Documentation: Why a Formal Basis is Essential 		Technical Session:

G. Reuse

T5: Writing and Evaluating Requirement Specifications
L. H. Rosenberg,
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
Technical Session:

A. Process and Modeling

 

 

V
E
N
D
O
R
S

E
X
H
I
B
I
T
S

 Technical Session:

D. Evolution

  

 

V
E
N
D
O
R
S

E
X
H
I
B
I
T
S

 Technical Session:

H. Best Papers
PM 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  		Technical Session:

B. Specifications & Poster Highlights

Technical Session:

E. Requirements Analysis and Management

Keynote III:
D.C. Gause, Savile Row, LLC, USA Requirements Engineering, June 22, 2000, What have we accomplished? Where are we now? Where are we going?		 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
C. Panel:
Certification & Licensing of Requirements Engineering Professionals  		F. Panel:
Why is it so difficult to introduce RE research results into mainstream RE practice?
Poster/Demo Session Conference Reception
Key Dates Author Registrations Due:
Advanced Registration/Tutorial Deadline:
Conference:		 Jan 30, 2000
May 19, 2000 (extended to May 26)
June 19-23, 2000
Corporate Sponsors rational1.gif (2468 bytes)

Corporations interested in sponsoring ICRE please contact Professor Carl K. Chang, Chair, ICRE Steering Committee, at ckchang@uic.edu, or (312) 996-4860

 

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

11:30-6:00

 

 

 

 

 

 

 

 

V
E
N
D
O
R
S

E
X
H
I
B
I
T
S
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, and 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 and 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, E.D. Dorchester, Texas Board of Professional Engineers, USA
5-6:00 Poster/Demo Session Posters/Demos 

 

Wednesday, June 21, 2000
9:30-10:30 AM  Keynote II, Chair: David Weiss, Bell Labs, USA  9:30-5:30

 

 

 

 

V
E
N
D
O
R
S

E
X
H
I
B
I
T
S
Requirements Documentation: Why a Formal Basis is Essential ,
David L. Parnas, McMaster Univ., Canada
10:30-11:00 Break
11:-00-12:30 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:30-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 Reqts: 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, Brazil, 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, B.R. Gaines, Univ. of Calgary, Canada
12:30-2:30 Conference Lunch  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 


 
 
 

GENERAL CHAIR
Pei Hsia,
Univ. of Texas at Arlington
(hsia@cse.uta.edu)

PROGRAM CO-CHAIRS:
Betty Cheng,
Michigan State Univ.
(chengb@cse.msu.edu)

David Weiss,
Bell Laboratories
(weiss@Bell-Labs.com)

TUTORIALS  CHAIR
Daniel Berry,
Univ. of Waterloo, CA
(dberry@cs.technion.ac.il)

PUBLICITY CHAIR 
Annie Antón,
N. Carolina State Univ.
(aianton@csc.ncsu.edu)

EXHIBITS CHAIR 
David Hottman,
Compliance Automation
(daveh@complianceautomation.com)

REGISTRATION CHAIR 
John Liu, Lucent Technologies.
(liuyong@lucent.com)

FINANCE CHAIR 
David Levine,
Univ. of Texas at Arlington 
(levine@cse.uta.edu)

LOCAL ARRANGEMENTS CHAIR
Carl Chang,
Univ. of Illinois-Chicago
(ckchang@uic.edu) 

PROGRAM COMMITTEE 
Annie I. Antón
Jo 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

STEERING COMMITTEE
Daniel Berry 
Carl Chang, Chair
Betty Cheng
Alan Davis
Merlin Dorfman
Pei Hsia
Brian Lawrence
Nancy Mead
Jawed Siddiqi 
David Weiss