CSDL - Proceedings R

Call for Papers (PDF)

pp. xii

Organizing Committee (PDF)

pp. xiii

Program Committee (PDF)

pp. xiv

Additional Reviewers (PDF)

pp. xv

KEYNOTE ADDRESSES

Requirements for the Internet (PDF)

Vinton G. Cerf, MCI Communications Corporation

pp. 3

The Journey Toward Secure Systems: Achieving Assurance (PDF)

Steve Lipner, Microsoft Corporation

pp. 5

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

Heinz Stoewer, Space Associates GmbH and International Council on Systems Engineering

pp. 6

In Situ Requirements Analysis: A Deeper Examination of the Relationship between Requirements Determination and Project Selection (Abstract)

Session P1: Requirements Evolution

Mark Bergman, University of California at Irvine

Gloria Mark, University of California at Irvine

pp. 11

PDF

Requirements Stability Assessment Using Scenarios (Abstract)

David Bush, UK National Air Traffic Services Ltd.

Anthony Finkelstein, University College London

pp. 23

PDF

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

PDF

Session P2: Requirements for Business Systems

Lessons Learnt from Five Years of Experience in ERP Requirements Engineering (Abstract)

Maya Daneva, TELUS Mobility

pp. 45

PDF

Requirements Engineering for a Pervasive Health Care System (Abstract)

Jens B? J?rgensen, University of Aarhus

Claus Bossen, University of Aarhus

pp. 55

PDF

Monitoring Web Service Requirements (Abstract)

William N. Robinson, Georgia State University

pp. 65

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Session P7: Requirements Elicitation (2)

Determining Socio-Technical Systems Requirements: Experiences with Generating and Walking through Scenarios (Abstract)

Alistair Mavin, Praxis Critical Systems Ltd.

Neil Maiden, City University

pp. 213

PDF

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

PDF

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

Didar Zowghi, University of Technology, Sydney

Suresh Paryani, University of Technology, Sydney

pp. 233

PDF

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

PDF

An Analytical Model for Requirements Selection Quality Evaluation in Product Software Development (Abstract)

Bj? Regnell, Lund University

Lena Karlsson, Lund University

Martin H?, Lund University

pp. 254

PDF

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

PDF

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

Using Convergent Design Processes to Surface Hidden Ambiguity and Conflict in Requirements (PDF)

Raymond J. Barnes, St. Elizabeth's Medical Center

pp. 281

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

Industry Session 2: Requirements Gathering

Mikio Aoyama, Nanzan University

Kenichiro Watanabe, Fujitsu Communication Systems Limited

Yu Nishio, Fujitsu Communication Systems Limited

Yasuyuki Moriwaki, Fujitsu Communication Systems Limited

pp. 285

From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality (PDF)

Erik Simmons, Intel Corporation

pp. 286

The Automated Extraction of Requirements from UML Models (PDF)

Brian Berenbach, Siemens Corporate Research, Inc.

pp. 287

Measuring Requirements Traceability from Multiple Angels at Multiple Lifecycle Entry Points (PDF)

Industry Session 3: Metrics & Measurement

Doron Becker, Security and Privacy Professional Services, EDS

pp. 291

One Approach to the Metric Baselining Imperative for Requirements Processes (PDF)

Roy Chardon, Cisco Systems

Merlin Dorfman, Cisco Systems

pp. 292

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

Testing with Partial Traced Requirements: A Necessary Step Towards Higher Quality System Level Verification (PDF)

Industry Session 5: Testing & Traceability

Serban Catrava, Guidant Corporation

pp. 303

Requirements, Configuration Management and Traceability for Safety Critical Software (PDF)

George Romanski, Verocel Inc.

pp. 304

Requirement Tracking: A Streamlined Approach (PDF)

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

pp. 305

MINI-TUTORIALS

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

PDF

Scenario-Based Requirements Engineering (Abstract)

Alistair Sutcliffe, University of Manchester Institute of Science and Technology

pp. 320

PDF

QFD for Customer-Focused Requirements Engineering (Abstract)

Georg Herzwurm, Stuttgart University

Sixten Schockert, University of Cologne

Wolfram Pietsch, Fachhochschule Aachen

pp. 330

PDF

PANEL SESSIONS

Marketing Meets Requirements Engineering (PDF)

Matti Rossi, Helsinki School of Economics

Tuure Tuunanen, Helsinki School of Economics

pp. 341

Requirements Engineering in Practice: Making the Business Case for Requirements Engineering (PDF)

Nancy R. Mead, Software Engineering Institute

Nader Kameli, Guidant Corporation

pp. 342

Demos

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

Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application (PDF)

Haruhiko Kaiya, Shinshu University

Kouta Sasaki, Shinshu University

Yasunori Maebashi, Shinshu University

Kenji Kaijiri, Shinshu University

pp. 357

Bringing Usability to the Early Stages of Software Development (PDF)

Luiz Marcio Cysneiros, York University

Andre Kushniruk, York University

pp. 359

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

Software Requirements for Architectured Systems (PDF)

Elena Navarro, UCLM

Isidro Ramos, UPV

Jennifer P?rez, UPV

pp. 365

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

An Approach to Visualise and Reconcile Use Case Descriptions from Multiple Viewpoints (PDF)

Debbie Richards, Macquarie University

Anne-Britt Fure, Macquarie University

Oscar Aguilera, Macquarie University

pp. 373

Media-Assisted Product and Process Requirements Traceability in Supply Chains (PDF)

Matthias Jarke, RWTH Aachen

Oliver Fritzen, RWTH Aachen

Michalis Miatidis, RWTH Aachen

Marcus Schl?, RWTH Aachen

pp. 375

Author Index

Author Index (PDF)

pp. 377