CSDL - Proceedings R

Call for Papers (PDF)

pp. xi

Committees (PDF)

pp. xii

Keynote Addresses

Requirements for Evolving Systems: A Telecommunications Perspective (Abstract)

Pamela Zave, AT&T Laboratories-Research

pp. 0002

PDF

The Hidden Meta-Requirements of Security and Privacy (PDF)

Prof. Gene Spafford, CERIAS/Purdue University

pp. 0010

Practice-Based Design (PDF)

Prof. Lucy Suchman, Lancaster University

pp. 0011

Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? (PDF)

Dr. Michael Lowry, NASA Ames Research Center

pp. 0012

Session P1: Representing & Communicating Requirements

Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs (Abstract)

Margaret H. Smith, Bell Laboratories

Gerard J. Holzmann, Bell Laboratories

Kousha Etessami, Bell Laboratories

pp. 0014

PDF

Virtual Environment Modeling for Requirements Validation of High Consequence Systems (Abstract)

Victor Winter, Sandia National Laboratories

Dejan Desovski, West Virginia University

Bojan Cukic, West Virginia University

pp. 0023

PDF

Metaphors of Intent (Abstract)

Colin Potts, Georgia Institute of Technology

pp. 0031

PDF

Session P2: Requirements for Product Lines

Consistency Management of Product Line Requirements (Abstract)

Juha Savolainen, Helsinki University of Technology

Juha Kuusela, Nokia Research Center

pp. 0040

PDF

Product-Line Requirements Specification (PRS): An Approach and Case Study (Abstract)

Stuart R. Faulk, University of Oregon

pp. 0048

PDF

Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines (Abstract)

Jeffrey M. Thompson, University of Minnesota

Mats P.E. Heimdahl, University of Minnesota

pp. 0056

PDF

Session P3: Organisational Issues I

Matching ERP System Functionality to Customer Requirements (Abstract)

Colette Rolland, Universit? Paris1 Panth?on Sorbonne

Naveen Prakash, DA-IICT

pp. 0066

PDF

Software Acquisition: A Business Strategy Analysis (Abstract)

Barbara Farbey, University College London

Anthony Finkelstein, University College London

pp. 0076

PDF

An Industrial Survey of Requirements Interdependencies in Software Product Release Plannin (Abstract)

Pär Carlshamre, Ericsson Radio Systems AB

Kristian Sandahl, Ericsson Radio Systems AB

Mikael Lindvall, Fraunhofer USA Center for Experimental Software Engineering

Björn Regnell, Lund University

Johan Nattoch Dag, Lund University

pp. 0084

PDF

Session P4: RE Methods & Processes

Evolving Beyond Requirements Creep: A Risk-Based Evolutionary Prototyping Model (Abstract)

Ryan A. Carter, North Carolina State University

Annie I. Antón, North Carolina State University

Laurie Williams, North Carolina State University

Aldo Dagnino, Asea Brown Boveri Inc., Power T&D Company

pp. 0094

PDF

Will It Work? (Abstract)

Jonathan Hammond, Praxis Critical Systems

Rosamund Rawlings, Praxis Critical Systems

Anthony Hall, Praxis Critical Systems

pp. 0102

PDF

Requirements Engineering for Complex Collaborative Systems (Abstract)

Alistair Sutcliffe, Centre for HCI Design, Department of Computation, UMIST

pp. 0110

PDF

Session P5: Scenarios & Requirements Negotiation

Domain Independent Regularities in Scenarios (Abstract)

Marcela Ridao, INTIA - Facultad de Ciencias

Jorge Doorn, INTIA - Facultad de Ciencias

Julio Cesar Sampaio do Prado Leite, Depto. Inform?tica PUC - R?

pp. 0120

PDF

An Empirical Study of Facilitation of Computer-Mediated Distributed Requirements Negotiations (Abstract)

Daniela E.H. Damian, University of Calgary, Canada

Mildred L.G. Shaw, University of Calgary, Canada

Armin Eberlein, University of Calgary, Canada

Brian R. Gaines, University of Calgary, Canada

Brian Woodward, The Corporate Corner Inc.,

pp. 0128

PDF

Session P6: Organisational Issues II

The Role of Policy and Stakeholder Privacy Values in Requirements Engineering (Abstract)

Annie I. Antón, North Carolina State University

Julia B. Earp, North Carolina State University

Thomas A. Alspaugh, North Carolina State University

Colin Potts, Georgia Institute of Technology

pp. 0138

PDF

Integrating Organizational Requirements and Object Oriented Modeling (Abstract)

Jaelson F. Castro, Universidade Federal de Pernambuco

John Mylopoulos, University of Toronto

Fernanda M. R. Alencar, Universidade Federal de Pernambuco

Gilberto A. Cysneiros Filho, Universidade Federal de Pernambuco

pp. 0146

PDF

Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach (Abstract)

G. Gans, RWTH Aachen, Informatik V

M. Jarke, RWTH Aachen, Informatik V

S. Kethers, RWTH Aachen, Informatik V

G. Lakemeyer, RWTH Aachen, Informatik V

M. Jarke, GMD-FIT, Schloss Birlinghoven

L. Ellrich, Universit?t Freiburg

C. Funken, Universit?t Freiburg

M. Meister, Universit?t Freiburg

pp. 0154

PDF

Session P7: Formal Methods & Tools

XML-Based Method and Tool for Handling Variant Requirements in Domain Models (Abstract)

Stan Jarzabek, National University of Singapore

Hongyu Zhang, National University of Singapore

pp. 0166

PDF

Model Checking Early Requirements Specifications in Tropos (Abstract)

Ariel Fuxman, University of Toronto

John Mylopoulos, University of Toronto

Marco Pistore, ITC-IRST

Paolo Traverso, ITC-IRST

pp. 0174

PDF

An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (Abstract)

Ralph D. Jeffords, Naval Research Laboratory

Constance L. Heitmeyer, Naval Research Laboratory

pp. 0182

PDF

Session P8: Requirements & Design

Residual Requirements and Architectural Residues (Abstract)

David S. Wile, Teknowledge Corp.

pp. 0194

PDF

Reconciling Software Requirements and Architectures: The CBSP Approach (Abstract)

Paul Grünbacher, Johannes Kepler University

Alexander Egyed, Teknowledge Corp.

Nenad Medvidovic, University of Southern California, Los Angeles

pp. 0202

PDF

Requirements-Based Dynamic Metrics In Object-Oriented Systems (Abstract)

Jane Cleland-Huang, University of Illinois at Chicago

Carl K. Chang, University of Illinois at Chicago

Hosung Kim, University of Illinois at Chicago

Arun Balakrishnan, University of Illinois at Chicago

pp. 0212

PDF

Session P9: Requirements for Critical Systems

Evolution of Safety-Critical Requirements Post-Launch (Abstract)

Robyn R. Lutz, Jet Propulsion Laboratory and Iowa State University

Ines Carmen Mikulski, Jet Propulsion Laboratory

pp. 0222

PDF

Deriving Safety Requirements Using Scenarios (Abstract)

Karen Allenby, University of York

Tim Kelly, University of York

pp. 0228

PDF

Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems (Abstract)

Diego Del Gobbo, West Virginia University

Ali Mili, West Virginia University

pp. 0236

PDF

Minitutorials

Systematic Documentation of Requirements (PDF)

Dave Parnas, McMaster University

pp. 0248

Goal-Oriented Requirements Engineering: A Guided Tour (Abstract)

Axel Van Lamsweerde, Universit? Catholique de Louvain

pp. 0249

PDF

State-of-the-Practice Talks

Capturing Use Cases with DOORS (PDF)

Ian Alexander, Independent Consultant

pp. 0264

Early Experience with Requirements Traceability in an Industrial Environment (PDF)

Merlin Dorfman, Cisco Systems

Roy Chardon, Cisco Systems

pp. 0265

Where Are We on the "Fend off the Alligators - Drain the Swamp" Continuum? (PDF)

Don Gause, LLC and SUNY/Binghamton

Savile Row, LLC and SUNY/Binghamton

pp. 0266

A Unified Approach to Systems and Software Requirements (PDF)

Anthony Hall, Praxis Critical Systems Ltd.

pp. 0267

What Happens With Good Requirements Practices (PDF)

Ivy Hooks, Compliance Automation Inc.

pp. 0268

Formalism and Informality in RE (PDF)

Michael Jackson, Independent Consultant

pp. 0269

Adoption of Requirements Engineering: Conditions for Success (PDF)

Hermann Kaindl, Siemens AG ?sterreich, PSE

pp. 0270

Changes in the Requirements Engineering Processes for COTS-Based Systems (PDF)

Ron Kohl, Averstar Inc.

pp. 0271

Is Backtracking so Bad? The Role of Learning in Software Development (PDF)

Ben Kovitz, Vertel Corp.

pp. 0272

Rethinking Requirements (PDF)

Brian Lawrence, Coyote Valley Software

pp. 0273

Business Implications on the Requirements Process (PDF)

Brian Miller, GroceryGateway.com

pp. 0274

Requirements Management at NASA (PDF)

Linda Rosenburg, NASA Goddard Space Flight Center

pp. 0275

Systems Engineering at the Enterprise Level (PDF)

Richard Stevens, Telelogic

pp. 0276

Discovering Unanticipated Software Output Modes (PDF)

Jeff Voas, Cigital Inc.

pp. 0277

Panel Sessions

Designing for the User (PDF)

pp. 0280

Systems or Software: What Should the 'S' in SRE Stand for? (PDF)

pp. 0281

Extreme RE: What If There Is No Time for Requirements Engineering? (PDF)

pp. 0282

Ask Pete, Software Planning and Estimation through Project Characterization (PDF)

Research Tool Demos

T. Kurtz

pp. 0286

An Integrated V&V Environment for Critical Systems Development (PDF)

I. Traoré

pp. 0287

Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications (PDF)

M. Feather

pp. 0288

Specification Modeling and Validation Applied to Network Security Gateways (PDF)

R. Hall

pp. 0289

Integrating Informal and Formal Approaches to Requirements Modeling and Analysis (PDF)

Posters

The Single Model Principle (PDF)

pp. 0292

pp. 0294

Acquiring Software Requirements As Conceptual Graphs (PDF)

pp. 0296

What Happens before Requirements Engineering? (PDF)

pp. 0298

Scenario Patterns Based on Case Grammar Approach (PDF)

pp. 0300

Empowering Requirements for a Product Family (PDF)

pp. 0302

Requirements Archaeology: From Unstructured Information to High Quality Specifications (PDF)

M. Pohl

pp. 0304

Geographic Problem Frames (PDF)

pp. 0306

Requirements Elicitation Using Visual and Textual Information (PDF)

pp. 0308

Process-Oriented Metrics for Software Architecture Adaptability (PDF)

pp. 0310

A Requirements Negotiation Model Based on Multi-Criteria Analysis (PDF)

H. In

pp. 0312

Issues of Visualized Conflict Resolution (PDF)

H. In

S. Roy

pp. 0314

Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach (PDF)

D. Gross

E. Yu

pp. 0316

Scenario-Based Systems Architecting (PDF)

G. Galal

pp. 0318

Author Index (PDF)

pp. 0320