The Community for Technology Leaders
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. (2003)
Monterey Bay, California, USA
Sept. 8, 2003 to Sept. 12, 2003
ISSN: 1090-705X
ISBN: 0-7695-1980-6

Foreword (PDF)

pp. x

Call for Papers (PDF)

pp. xii

Requirements for the Internet (PDF)

Vinton G. Cerf , MCI Communications Corporation
pp. 3

Modern Systems Engineering: A Driving Force for Industrial Competitivity! (PDF)

Heinz Stoewer , Space Associates GmbH and International Council on Systems Engineering
pp. 6
Session P1: Requirements Evolution

Requirements Stability Assessment Using Scenarios (Abstract)

David Bush , UK National Air Traffic Services Ltd.
Anthony Finkelstein , University College London
pp. 23

Resolving Requirements Discovery in Testing and Operations (Abstract)

Robyn R. Lutz , Jet Propulsion Laboratory and Iowa State University
In?s Carmen Mikulski , Jet Propulsion Laboratory
pp. 33
Session P2: Requirements for Business Systems

Requirements Engineering for a Pervasive Health Care System (Abstract)

Jens B? J?rgensen , University of Aarhus
Claus Bossen , University of Aarhus
pp. 55

Monitoring Web Service Requirements (Abstract)

William N. Robinson , Georgia State University
pp. 65

DWARF: AN Approach for Requirements Definition and Management of Data Warehouse Systems (Abstract)

Fá Rilston Silva Paim , SERPRO-Recife and Universidade Federal de Pernambuco
Jaelson Freire Brelaz de Castro , Universidade Federal de Pernambuco
pp. 75
Session P3: Combining Formal and Informal Techniques

Acquiring and Incorporating State-Dependent Timing Requirements (Abstract)

Chi-Sheng Shih , University of Illinois at Urbana-Champaign
Jane W. S. Liu , Microsoft Corporation
pp. 87

Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (Abstract)

Bikram Sengupta , State University of New York at Stony Brook
Rance Cleaveland , State University of New York at Stony Brook
pp. 95

Specifying and Analyzing Early Requirements: Some Experimental Results (Abstract)

Ariel Fuxman , University of Toronto
Lin Liu , University of Toronto
Marco Pistore , University of Trento and ITC-IRST
Marco Roveri , ITC-IRST
John Mylopoulos , University of Toronto and University of Trento
pp. 105
Session P4: Goal-Driven Requirements

Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework (Abstract)

Bowen Hui , University of Toronto
Sotirios Liaskos , University of Toronto
John Mylopoulos , University of Toronto
pp. 117

Adding Hypermedia Requirements to Goal-Driven Analysis (Abstract)

Davide Bolchini , University of Lugano
Paolo Paolini , Politecnico di Milano
Giovanni Randazzo , University of Lugano
pp. 127

Improving Requirements Tracing via Information Retrieval (Abstract)

Jane Huffman Hayes , University of Kentucky
Alex Dekhtyar , University of Kentucky
James Osborne , University of Kentucky
pp. 138
Session P5: Requirements Elicitation (1)

Security and Privacy Requirements Analysis within a Social Setting (Abstract)

Lin Liu , University of Toronto
Eric Yu , University of Toronto
John Mylopoulos , University of Toronto
pp. 151

Formal Structure for Specifying the Content and Quality of the Electronic Health Record (Abstract)

H. Dominic Covvey , University of Waterloo
David Zitner , Dalhousie University
Daniel M. Berry , University of Waterloo
Donald D. Cowan , University of Waterloo
Michael Shepherd , Dalhousie University
pp. 162

Elicitation Technique Selection: How Do Experts Do It? (Abstract)

Ann M. Hickey , University of Colorado at Colorado Springs
Alan M. Davis , University of Colorado at Colorado Springs
pp. 169
Session P6: Making Formal Techniques Usable

A Reference Model for Requirements Engineering (Abstract)

Jon G. Hall , The Open University
Lucia Rapanotti , The Open University
pp. 181

Understanding and Comparing Model-Based Specification Notations (Abstract)

Jianwei Niu , University of Waterloo
Joanne M. Atlee , University of Waterloo
Nancy A. Day , University of Waterloo
pp. 188

Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models (Abstract)

Renaud De Landtsheer , Universit? Catholique de Louvain
Emmanuel Letier , Universit? Catholique de Louvain
Axel van Lamsweerde , Universit? Catholique de Louvain
pp. 200
Session P7: Requirements Elicitation (2)

Requirements Elicitation for the Design of Venue Operations for the Athens Olympic Games (Abstract)

P. Loucopoulos , University of Manchester Institute of Science and Technology
K. Zografos , Athens University of Economics and Business
N. Prekas , Athens2004
pp. 223

Teaching Requirements Engineering through Role Playing: Lessons Learnt (Abstract)

Didar Zowghi , University of Technology, Sydney
Suresh Paryani , University of Technology, Sydney
pp. 233
Session P8: Requirements Prioritizing and Negotiation

A Benchmarking Method for Information Systems (Abstract)

Lars Hagge , Deutsches Elektronen-Synchrotron
Jens Kreutzkamp , Deutsches Elektronen-Synchrotron
pp. 245

Evolutionary Requirements Analysis (Abstract)

Alistair Sutcliffe , University of Manchester Institute of Science and Technology
Wei-Chun Chang , University of Manchester Institute of Science and Technology
Richard Neville , University of Manchester Institute of Science and Technology
pp. 264
Industry Session 1: Requirements Analysis

Customer Requirements and User Requirements: Why the Discrepancies (PDF)

Mary Deraitus , Boeing Commercial Airplanes
Ann Miller , Boeing Commercial Airplanes
pp. 279

Evaluating the Quality of a UML Business Model (PDF)

Brian Berenbach , Siemens Corporate Research, Inc.
pp. 280
Industry Session 2: Requirements Gathering

Embracing Requirements Variety for e-Governments Based on Multiple Product-Lines Frameworks (PDF)

Mikio Aoyama , Nanzan University
Kenichiro Watanabe , Fujitsu Communication Systems Limited
Yu Nishio , Fujitsu Communication Systems Limited
Yasuyuki Moriwaki , Fujitsu Communication Systems Limited
pp. 285
Industry Session 3: Metrics & Measurement

RE in Flatness Measurement and Control Systems Development at ABB (PDF)

Nur Yilmazt? , ABB Automation Technology Products AB
pp. 293
Industry Session 4: State of Practice

Daily Challenges in Requirements Engineering (PDF)

Frank J. Salvatore , High Performance Technologies Inc.
Tom Alameda , High Performance Technologies Inc.
pp. 297

Practical Lessons from 40 System Integrating Projects (PDF)

Taichi Nakamura , Tokyo University of Technology
Shigeyuki Matsuda , NTT Data Corporation
pp. 298

Requirements Based Testing at HP Open View (PDF)

Gerald Heller , Hewlett-Packard
Peter Vollmer , Hewlett-Packard
pp. 299
Industry Session 5: Testing & Traceability

Requirement Tracking: A Streamlined Approach (PDF)

James E. Archer , Titan Systems Corporation and Bureau of Land Management
pp. 305

Ontology as a Requirements Engineering Product (Abstract)

Karen Koogan Breitman , Pontifícia Universidade Católica do Rio de Janeiro
Julio Cesar Sampaio do Prado Leite , Pontifícia Universidade Católica do Rio de Janeiro
pp. 309

Scenario-Based Requirements Engineering (Abstract)

Alistair Sutcliffe , University of Manchester Institute of Science and Technology
pp. 320

QFD for Customer-Focused Requirements Engineering (Abstract)

Georg Herzwurm , Stuttgart University
Sixten Schockert , University of Cologne
Wolfram Pietsch , Fachhochschule Aachen
pp. 330

Marketing Meets Requirements Engineering (PDF)

Matti Rossi , Helsinki School of Economics
Tuure Tuunanen , Helsinki School of Economics
pp. 341

NIMBUS: A Tool for Specification Centered Development (PDF)

Mats P.E. Heimdahl , University of Minnesota
Michael W. Whalen , University of Minnesota
Jeffrey M. Thompson , University of Minnesota
pp. 349

FAUST: Formal Analysis Using Specification Tools (PDF)

A. Rifaut , CETIC Research Center
P. Massonet , CETIC Research Center
J-F Molderez , CETIC Research Center
C. Ponsard , CETIC Research Center
P. Stadnik , CETIC Research Center
Axel van Lamsweerde , Université Catholique de Louvain
Tran Van Hung , Université Catholique de Louvain
pp. 350

SMaRT — Scenario Management and Requirements Tool (PDF)

William Stufflebeam , North Carolina State University
Annie I. Antón , North Carolina State University
Thomas A. Alspaugh , University of California at Irvine
pp. 351

Relating Practitioner Needs to Research Activities (PDF)

Martin S. Feather , California Institute of Technology
Tim Menzies , West Virginia University
Judith R. Connelly , NASA IV&V Facility
pp. 352
Poster Presentations

Contrasting Use Case, Goal, and Scenario Analysis of the Euronet System (PDF)

Thomas A. Alspaugh , University of California at Irvine
Annie I. Antón , North Carolina State University
pp. 355

Goal-Oriented Idea Generation Method for Requirements Elicitation (PDF)

Kazuya Oshiro , Tokyo Institute of Technology
Kenji Watahiki , Tokyo Institute of Technology
Motoshi Saeki , Tokyo Institute of Technology
pp. 363

Market Driven Requirements Elicitation via Critical Success Chains (PDF)

Tuure Tuunanen , Helsinki School of Economics
Matti Rossi , Helsinki School of Economics
pp. 367

Integrating RE Methods to Support Use Case Based Requirements Specification (PDF)

Neil Maiden , City University, London
Sara Jones , City University, London
Mary Flynn , Eurocontrol Experimental Centre
pp. 369

Introducing Abuse Frames for Analysing Security Requirements (PDF)

Luncheng Lin , The Open University
Bashar Nuseibeh , The Open University
Darrel Ince , The Open University
Michael Jackson , The Open University
Jonathan Moffett , University of York
pp. 371
Author Index

Author Index (PDF)

pp. 377
80 ms
(Ver 3.3 (11022016))