The Community for Technology Leaders
2013 21st IEEE International Requirements Engineering Conference (RE) (1997)
Annapolis, MD
Jan. 5, 1997 to Jan. 8, 1997
ISSN: 1090-705X
ISBN: 0-8186-7740-6
TABLE OF CONTENTS

ProgramCommittee (PDF)

pp. xiv
Session 1: Keynote Address

What's the Use of Requirements Engineering? (PDF)

Anthony Hall , Praxis Critical Syst., U
pp. 2
Session 2A: Reuse

Ten Steps Towards Systematic Requirements Reuse (Abstract)

J.A. McDermid , University of York
A.J. Vickers , University of York
W. Lam , University of York
pp. 6

Analogical Reuse of Requirements Frameworks (Abstract)

Philippe Massonet , Universit? catholique de Louvain
Axel Van Lamsweerde , Universit? catholique de Louvain
pp. 26
Session 2B: Applications and Tools 1
Session 3A: Scenarios and Use Cases
Session 4A: Inconsistencies and Exceptions

Analyzing Inconsistent Specifications (Abstract)

Anthony Hunter , Imperial College
Bashar Nuseibeh , Imperial College
pp. 78
Session 4B: Panel
Session 5: Keynote Address

Requirements Models in Context (Abstract)

C. Potts , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 102
Session 6A: Foundations

Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations (Abstract)

Colin Potts , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
Wendy C. Newstetter , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 118

On the Use of a Formal R.E. Language - The Generalized Railroad Crossing Problem (Abstract)

Jean-Marc Zeippen , University of Namur
Eric Dubois , University of Namur
Philippe Du Bois , University of Namur
pp. 128
Session 6B: Applications and Tools 2
Session 7: Keynote Address
Session 8A: Case Studies

Integrated Safety Analysis of Requirements Specifications (Abstract)

Francesmary Modugno , University of Washington
Nancy G. Leveson , University of Washington
Jon D. Reese , University of Washington
Sean D. Sandys , University of Washington
Kurt Partridge , University of Washington
pp. 148

Formal Methods for V&V of Partial Specifications: An Experience RSeport (Abstract)

John Callahan , NASA/ West Virginia University Software IV&V Facility
Steve Easterbrook , NASA/ West Virginia University Software IV&V Facility
pp. 160
Session 8B: Workshop
Session 9: Keynote Address
Session 10A: Languages and Tools

Auditdraw: Generating Audits the FAST Way (Abstract)

Neeraj K. Gupta , Lucent Technologies
David M. Weiss , Software Production Research Dept.
Lalita Jategaonkar Jagadeesan , Bell Laboratories
pp. 188

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (Abstract)

Insup Lee , University of Pennsylvania
Young Si Kim , Electronics and Telecommunications Research Institute
Hanene Ben-Abdallah , University of Pennsylvania
pp. 198

Generating Code from Hierarchical State-Based Requirements (Abstract)

Mats P.E. Heimdahl , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
David J. Keenan , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 210
Session 10B: Workshop
Session 11A: Life-Cycle

A Logical Framework for Modeling and Reasoning About the Evolution of Requirements (Abstract)

Ray Offen , Joint Res. Centre for Adv. Syst. Eng., Macquarie Univ., North Ryde, NSW, Australia
Didar Zowghi , Joint Res. Centre for Adv. Syst. Eng., Macquarie Univ., North Ryde, NSW, Australia
pp. 247
Session 11B: Panel
Tutorials

Author Index (PDF)

pp. 267
92 ms
(Ver 3.3 (11022016))