CSDL - Proceedings R

Foreword by the Program Chair (PDF)

pp. X

Organizing Committee (PDF)

pp. xiii

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)

W. Lam, University of York

J.A. McDermid, University of York

A.J. Vickers, University of York

pp. 6

PDF

Reusing Operational Requirements: A Process-Oriented Approach (Abstract)

R. Darimont

J. Souquikres

pp. 16

PDF

Analogical Reuse of Requirements Frameworks (Abstract)

Philippe Massonet, Universit? catholique de Louvain

Axel Van Lamsweerde, Universit? catholique de Louvain

pp. 26

PDF

Session 2B: Applications and Tools 1

Groupware-Assisted Requirements Assessment (PDF)

A. Salo

pp. 40a

Lessons Learned from Applying the Spiral Model in the Software Requirements Analysis Phase (PDF)

C. Viravan

pp. 40b

Industrial Workshop on Requirements for R&D in Requirements Engineering (PDF)

pp. 41a

SOFL: A Formal Engineering Methodology for Industrial Applications (PDF)

S. Liu

pp. 41b

Julio Cesar Sampaio do Prado Leite

Session 3A: Scenarios and Use Cases

Enhancing a Requirements Baseline with Scenarios (Abstract)

pp. 44

PDF

An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications (Abstract)

Benedicte Dano, TELIS / IRIN

Henri Briand, IRIN / IRESTE

Franck Barbier, IRIN

pp. 54

PDF

A Technique Combination Approach to Requirements Engineering (Abstract)

Alistair Sutcliffe, City University

pp. 65

PDF

Session 4A: Inconsistencies and Exceptions

Analyzing Inconsistent Specifications (Abstract)

Anthony Hunter, Imperial College

Bashar Nuseibeh, Imperial College

pp. 78

PDF

A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements (Abstract)

John Yen

W. Amos Tiao

pp. 87

PDF

Session 4B: Panel

The Impact of Environment Evolution on Requirements Changes (PDF)

pp. 98

Session 5: Keynote Address

Requirements Models in Context (Abstract)

C. Potts, Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA

pp. 102

PDF

Session 6A: Foundations

Requirements for Telecommunications Services: An Attack on Complexity (Abstract)

Pamela Zave, AT&T Laboratories

Michael Jackson, AT&T Laboratories

pp. 106

PDF

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

PDF

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

Philippe Du Bois, University of Namur

Eric Dubois, University of Namur

Jean-Marc Zeippen, University of Namur

pp. 128

PDF

GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout (PDF)

Session 6B: Applications and Tools 2

pp. 140

Requirements Metrics - Value Added (PDF)

pp. 141a

Eliciting Requirements: Beyond the Blank Sheet of Paper (PDF)

pp. 141b

Session 7: Keynote Address

Calculating with Requirements (PDF)

pp. 144

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

Kurt Partridge, University of Washington

Sean D. Sandys, University of Washington

pp. 148

PDF

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

Steve Easterbrook, NASA/ West Virginia University Software IV\&V Facility

John Callahan, NASA/ West Virginia University Software IV\&V Facility

pp. 160

PDF

Extended Requirements Traceability: Results of an Industrial Case Study (Abstract)

Orlena Gotel

Anthony Finkelstein

pp. 169

PDF

Session 8B: Workshop

Exploring Scenarios in Requirements Engineering (Abstract)

pp. 180

PDF

Session 9: Keynote Address

Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Abstract)

David Harel, Weizmann Inst. of Sci., Rehovot, Israel

pp. 184

PDF

Session 10A: Languages and Tools

Auditdraw: Generating Audits the FAST Way (Abstract)

Neeraj K. Gupta, Lucent Technologies

Lalita Jategaonkar Jagadeesan, Bell Laboratories

Eleftherios E. Koutsofios, AT&T Labs

David M. Weiss, Software Production Research Dept.

pp. 188

PDF

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

Hanene Ben-Abdallah, University of Pennsylvania

Insup Lee, University of Pennsylvania

Young Si Kim, Electronics and Telecommunications Research Institute

pp. 198

PDF

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

PDF

Session 10B: Workshop

Software on Demand: Issues for RE (PDF)

pp. 222

Session 11A: Life-Cycle

Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering (Abstract)

Eric S. K. Yu, University of Toronto

pp. 226

PDF

Decision Making Methodology in Support of the Business Rules Lifecycle (Abstract)

pp. 236

PDF

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

Didar Zowghi, Joint Res. Centre for Adv. Syst. Eng., Macquarie Univ., North Ryde, NSW, Australia

Ray Offen, Joint Res. Centre for Adv. Syst. Eng., Macquarie Univ., North Ryde, NSW, Australia

pp. 247

PDF

How Can Requirements Engineering Research Become Requirements Engineering Practice? (PDF)

Session 11B: Panel

pp. 260

Tutorials

Making Requirements Measurable (PDF)

pp. 262

The SCR Approach to Requirements Specification and Analysis (PDF)

pp. 263

Software Requirements Specification and System Safety (PDF)

pp. 264

Requirements Traceability (PDF)

pp. 265

Advanced (Object-Oriented Requirements Specification Methods (PDF)

R. Wiering

pp. 266

Author Index (PDF)

pp. 267