RE 2001: Toronto, Canada

5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada. IEEE Computer Society 2001, ISBN 0-7695-1125-2 BibTeX

@proceedings{DBLP:conf/re/2001,
  title     = {5th IEEE International Symposium on Requirements Engineering
               (RE 2001), 27-31 August 2001, Toronto, Canada},
  booktitle = {RE},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1125-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Addresses

Pamela Zave:
Requirements for Evolving Systems: A Telecommunications Perspective. 2-9
Electronic Edition (IEEE Computer Society DL) BibTeX
Eugene H. Spafford:
The Hidden Meta-Requirements of Security and Privacy. 10
Electronic Edition (IEEE Computer Society DL) BibTeX
Lucy A. Suchman:
Practice-Based Design. 11
Electronic Edition (IEEE Computer Society DL) BibTeX
Michael R. Lowry:
Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? 12-13
Electronic Edition (IEEE Computer Society DL) BibTeX

Representing & Communicating Requirements

Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami:
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. 14-22
Electronic Edition (IEEE Computer Society DL) BibTeX
Victor L. Winter, Dejan Desovski, Bojan Cukic:
Virtual Environment Modeling for Requirements Validation of High Consequence Systems. 23-30
Electronic Edition (IEEE Computer Society DL) BibTeX
Colin Potts:
Metaphors of Intent. 31-39
Electronic Edition (IEEE Computer Society DL) BibTeX

Requirements for Product Lines

Juha Savolainen, Juha Kuusela:
Consistency Management of Product Line Requirements. 40-47
Electronic Edition (IEEE Computer Society DL) BibTeX
Stuart R. Faulk:
Product-Line Requirements Specification (PRS): An Approach and Case Study. 48-55
Electronic Edition (IEEE Computer Society DL) BibTeX
Jeffrey M. Thompson, Mats Per Erik Heimdahl:
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. 56-65
Electronic Edition (IEEE Computer Society DL) BibTeX

Organisational Issues I

Colette Rolland, Naveen Prakash:
Matching ERP System Functionality to Customer Requirements. 66-75
Electronic Edition (IEEE Computer Society DL) BibTeX
Barbara Farbey, Anthony Finkelstein:
Software Acquisition: A Business Strategy Analysis. 76-83
Electronic Edition (IEEE Computer Society DL) BibTeX
Pär Carlshamre, Kristian Sandahl, Mikael Lindvall, Björn Regnell, Johan Natt och Dag:
An Industrial Survey of Requirements Interdependencies in Software Product Release Plannin. 84-93
Electronic Edition (IEEE Computer Society DL) BibTeX

RE Methods & Processes

Ryan A. Carter, Annie I. Antón, Laurie A. Williams, Aldo Dagnino:
Evolving Beyond Requirements Creep: A Risk-Based Evolutionary Prototyping Model. 94-101
Electronic Edition (IEEE Computer Society DL) BibTeX
Jonathan Hammond, Rosamund Rawlings, Anthony Hall:
Will It Work? 102-109
Electronic Edition (IEEE Computer Society DL) BibTeX
Alistair G. Sutcliffe:
Requirements Engineering for Complex Collaborative Systems. 110-119
Electronic Edition (IEEE Computer Society DL) BibTeX

Scenarios & Requirements Negotiation

Marcela Ridao, Jorge Horacio Doorn, Julio Cesar Sampaio do Prado Leite:
Domain Independent Regularities in Scenarios. 120-127
Electronic Edition (IEEE Computer Society DL) BibTeX
Daniela E. Damian, Mildred L. G. Shaw, Armin Eberlein, Brian R. Gaines, J. Brian Woodward:
An Empirical Study of Facilitation of Computer-Mediated Distributed Requirements Negotiations. 128-137
Electronic Edition (IEEE Computer Society DL) BibTeX

Organisational Issues II

Annie I. Antón, Julia Brande Earp, Thomas A. Alspaugh, Colin Potts:
The Role of Policy and Stakeholder Privacy Values in Requirements Engineering. 138-145
Electronic Edition (IEEE Computer Society DL) BibTeX
Jaelson Castro, John Mylopoulos, Fernanda M. R. Alencar, Gilberto A. Cysneiros Filho:
Integrating Organizational Requirements and Object Oriented Modeling. 146-153
Electronic Edition (IEEE Computer Society DL) BibTeX
Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, Martin Meister:
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. 154-165
Electronic Edition (IEEE Computer Society DL) BibTeX

Formal Methods & Tools

Stan Jarzabek, Hongyu Zhang:
XML-Based Method and Tool for Handling Variant Requirements in Domain Models. 166-173
Electronic Edition (IEEE Computer Society DL) BibTeX
Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso:
Model Checking Early Requirements Specifications in Tropos. 174-181
Electronic Edition (IEEE Computer Society DL) BibTeX
Ralph D. Jeffords, Constance L. Heitmeyer:
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. 182-193
Electronic Edition (IEEE Computer Society DL) BibTeX

Requirements & Design

David S. Wile:
Residual Requirements and Architectural Residue. 194-201
Electronic Edition (IEEE Computer Society DL) BibTeX
Paul Grünbacher, Alexander Egyed, Nenad Medvidovic:
Reconciling Software Requirements and Architectures: The CBSP Approach. 202-211
Electronic Edition (IEEE Computer Society DL) BibTeX
Jane Cleland-Huang, Carl K. Chang, Hosung Kim, Arun Balakrishnan:
Requirements-Based Dynamic Metrics In Object-Oriented Systems. 212-221
Electronic Edition (IEEE Computer Society DL) BibTeX

Requirements for Critical Systems

Robyn R. Lutz, Ines Carmen Mikulski:
Evolution of Safety-Critical Requirements Post-Launch. 222-227
Electronic Edition (IEEE Computer Society DL) BibTeX
Karen Allenby, Tim Kelly:
Deriving Safety Requirements Using Scenarios. 228-235
Electronic Edition (IEEE Computer Society DL) BibTeX
Diego Del Gobbo, Ali Mili:
Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems. 236-247
Electronic Edition (IEEE Computer Society DL) BibTeX

Minitutorials

David Lorge Parnas:
Systematic Documentation of Requirements. 248
Electronic Edition (IEEE Computer Society DL) BibTeX
Axel van Lamsweerde:
Goal-Oriented Requirements Engineering: A Guided Tour. 249
Electronic Edition (IEEE Computer Society DL) BibTeX

State-of-the-Practice Talks

Ian F. Alexander:
Capturing Use Cases with DOORS. 264
Electronic Edition (IEEE Computer Society DL) BibTeX
Merlin Dorfman, Roy Chardon:
Early Experience with Requirements Traceability in an Industrial Environment. 265
Electronic Edition (IEEE Computer Society DL) BibTeX
Donald C. Gause, Savile Row:
Where Are We on the "Fend off the Alligators - Drain the Swamp" Continuum? 266
Electronic Edition (IEEE Computer Society DL) BibTeX
Anthony Hall:
A Unified Approach to Systems and Software Requirements. 267
Electronic Edition (IEEE Computer Society DL) BibTeX
Ivy Hooks:
What Happens With Good Requirements Practices. 268
Electronic Edition (IEEE Computer Society DL) BibTeX
Michael Jackson:
Formalism and Informality in RE. 269
Electronic Edition (IEEE Computer Society DL) BibTeX
Hermann Kaindl:
Adoption of Requirements Engineering: Conditions for Success. 270
Electronic Edition (IEEE Computer Society DL) BibTeX
Ron Kohl:
Changes in the Requirements Engineering Processes for COTS-Based Systems. 271
Electronic Edition (IEEE Computer Society DL) BibTeX
Ben Kovitz:
Is Backtracking so Bad? The Role of Learning in Software Development. 272
Electronic Edition (IEEE Computer Society DL) BibTeX
Brian Lawrence:
Rethinking Requirements. 273
Electronic Edition (IEEE Computer Society DL) BibTeX
Brian Miller:
Business Implications on the Requirements Process. 274
Electronic Edition (IEEE Computer Society DL) BibTeX
Linda Rosenburg:
Requirements Management at NASA. 275
Electronic Edition (IEEE Computer Society DL) BibTeX
Richard Stevens:
Systems Engineering at the Enterprise Level. 276
Electronic Edition (IEEE Computer Society DL) BibTeX
Jeffrey M. Voas:
Discovering Unanticipated Software Output Modes. 277
Electronic Edition (IEEE Computer Society DL) BibTeX

Panel Sessions

Monica M. C. Schraefel:
Designing for the User. 280
Electronic Edition (IEEE Computer Society DL) BibTeX
Regina Gonzales:
Systems or Software: What Should the 'S' in SRE Stand for?. 281
Electronic Edition (IEEE Computer Society DL) BibTeX
Sol J. Greenspan:
Extreme RE: What If There Is No Time for Requirements Engineering? 282-285
Electronic Edition (IEEE Computer Society DL) BibTeX

Research Tool Demos

Tim Kurtz:
Ask Pete, Software Planning and Estimation through Project Characterization. 286
Electronic Edition (IEEE Computer Society DL) BibTeX
Issa Traoré:
An Integrated V&V Environment for Critical Systems Development. 287
Electronic Edition (IEEE Computer Society DL) BibTeX
Martin S. Feather:
Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications. 288
Electronic Edition (IEEE Computer Society DL) BibTeX
Robert J. Hall:
Specification Modeling and Validation Applied to Network Security Gateways. 289-291
Electronic Edition (IEEE Computer Society DL) BibTeX

Posters

Richard F. Paige, Jonathan S. Ostroff:
The Single Model Principle. 292-293
Electronic Edition (IEEE Computer Society DL) BibTeX
Betty H. C. Cheng, Laura A. Campbell:
Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. 294-295
Electronic Edition (IEEE Computer Society DL) BibTeX
Harry S. Delugach, Brian E. Lampkin:
Acquiring Software Requirements As Conceptual Graphs. 296-297
Electronic Edition (IEEE Computer Society DL) BibTeX
Bridgette Wessels, John E. Dobson:
What Happens before Requirements Engineering? 298-299
Electronic Edition (IEEE Computer Society DL) BibTeX
Kenji Watahiki, Motoshi Saeki:
Scenario Patterns Based on Case Grammar Approach. 300-301
Electronic Edition (IEEE Computer Society DL) BibTeX
Elena Pérez-Miñana, Paul Krause, Pierre America:
Empowering Requirements for a Product Family. 302-303
Electronic Edition (IEEE Computer Society DL) BibTeX
Friedemann Kiedaisch, Martin Pohl, Joachim Weisbrod, Siegfried Bauer, Stefan Ortmanns:
Requirements Archaeology: From Unstructured Information to High Quality Specifications. 304-305
Electronic Edition (IEEE Computer Society DL) BibTeX
Maria Augusta V. Nelson, Donald D. Cowan, Paulo S. C. Alencar:
Geographic Problem Frames. 306-307
Electronic Edition (IEEE Computer Society DL) BibTeX
J. Michael Moore, Frank M. Shipman III:
Requirements Elicitation Using Visual and Textual Information. 308-309
Electronic Edition (IEEE Computer Society DL) BibTeX
Lawrence Chung, Nary Subramanian:
Process-Oriented Metrics for Software Architecture Adaptabilit. 310-311
Electronic Edition (IEEE Computer Society DL) BibTeX
Hoh In, David Olson, Tom Rodgers:
A Requirements Negotiation Model Based on Multi-Criteria Analysis. 312-313
Electronic Edition (IEEE Computer Society DL) BibTeX
Hoh In, Siddhartha Roy:
Issues of Visualized Conflict Resolution. 314-315
Electronic Edition (IEEE Computer Society DL) BibTeX
Daniel Gross, Eric S. K. Yu:
Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach. 316-317
Electronic Edition (IEEE Computer Society DL) BibTeX
Galal Hassan Galal:
Scenario-Based Systems Architecting. 318-319
Electronic Edition (IEEE Computer Society DL) BibTeX