Proceedings of the Fifth International Symposium on Requirements Engineering
RE, 2001.

@proceedings{RE-2001,
	address       = "Toronto, Canada",
	ee            = "http://www.computer.org/csdl/proceedings/re/2001/1125/00/index.html",
	isbn          = "0-7695-1125-2",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Fifth International Symposium on Requirements Engineering}",
	year          = 2001,
}

Contents (67 items)

40 ×#requirements
7 ×#approach
7 ×#modelling
6 ×#question
6 ×#specification
5 ×#architecture
4 ×#evolution
4 ×#product line
4 ×#what
3 ×#analysis

RE-2001-Zave #evolution #perspective #requirements

Requirements for Evolving Systems: A Telecommunications Perspective (PZ), pp. 2–9.

RE-2001-Spafford #privacy #security

The Hidden Meta-Requirements of Security and Privacy (EHS), p. 10.

RE-2001-Suchman #design

Practice-Based Design (LAS), p. 11.

RE-2001-Lowry #question #requirements #synthesis

Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? (MRL), pp. 12–13.

RE-2001-SmithHE #constraints #editing #logic #requirements #source code #visual notation

Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs (MHS, GJH, KE), pp. 14–22.

RE-2001-WinterDC #modelling #requirements #validation

Virtual Environment Modeling for Requirements Validation of High Consequence Systems (VLW, DD, BC), pp. 23–30.

RE-2001-Potts

Metaphors of Intent (CP), pp. 31–39.

RE-2001-SavolainenK #consistency #product line #requirements

Consistency Management of Product Line Requirements (JS, JK), pp. 40–47.

RE-2001-Faulk #approach #case study #product line #requirements #specification

Product-Line Requirements Specification (PRS): An Approach and Case Study (SRF), pp. 48–55.

RE-2001-ThompsonH #approach #product line

Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines (JMT, MPEH), pp. 56–65.

RE-2001-RollandP #enterprise #requirements

Matching ERP System Functionality to Customer Requirements (CR, NP), pp. 66–75.

RE-2001-FarbeyF #analysis

Software Acquisition: A Business Strategy Analysis (BF, AF), pp. 76–83.

RE-2001-CarlshamreSLRD #industrial #overview #release planning #requirements

An Industrial Survey of Requirements Interdependencies in Software Product Release Plannin (PC, KS, ML, BR, JNoD), pp. 84–93.

RE-2001-CarterAWD #evolution #prototype #requirements

Evolving Beyond Requirements Creep: A Risk-Based Evolutionary Prototyping Model (RAC, AIA, LAW, AD), pp. 94–101.

RE-2001-HammondRH #question

Will It Work? (JH, RR, AH), pp. 102–109.

RE-2001-Sutcliffe #collaboration #requirements

Requirements Engineering for Complex Collaborative Systems (AGS), pp. 110–119.

RE-2001-RidaoDL #independence

Domain Independent Regularities in Scenarios (MR, JHD, JCSdPL), pp. 120–127.

RE-2001-DamianSEGW #distributed #empirical #requirements

An Empirical Study of Facilitation of Computer-Mediated Distributed Requirements Negotiations (DED, MLGS, AE, BRG, JBW), pp. 128–137.

RE-2001-AntonEAP #policy #privacy #requirements

The Role of Policy and Stakeholder Privacy Values in Requirements Engineering (AIA, JBE, TAA, CP), pp. 138–145.

RE-2001-CastroMAF #modelling #object-oriented #requirements

Integrating Organizational Requirements and Object Oriented Modeling (JC, JM, FMRA, GACF), pp. 146–153.

RE-2001-GansJKLEFM #approach #modelling #network #requirements #trust

Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach (GG, MJ, SK, GL, LE, CF, MM), pp. 154–165.

RE-2001-JarzabekZ #domain model #modelling #requirements #xml

XML-Based Method and Tool for Handling Variant Requirements in Domain Models (SJ, HZ), pp. 166–173.

RE-2001-FuxmanMPT #model checking #requirements #specification

Model Checking Early Requirements Specifications in Tropos (AF, JM, MP, PT), pp. 174–181.

RE-2001-JeffordsH #algorithm #invariant #requirements #specification

An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (RDJ, CLH), pp. 182–193.

RE-2001-Wile #architecture #requirements

Residual Requirements and Architectural Residue (DSW), pp. 194–201.

RE-2001-GrunbacherEM #approach #architecture #requirements

Reconciling Software Requirements and Architectures: The CBSP Approach (PG, AE, NM), pp. 202–211.

RE-2001-Cleland-HuangCKB #metric #object-oriented

Requirements-Based Dynamic Metrics In Object-Oriented Systems (JCH, CKC, HK, AB), pp. 212–221.

RE-2001-LutzM #evolution #requirements #safety

Evolution of Safety-Critical Requirements Post-Launch (RRL, ICM), pp. 222–227.

RE-2001-AllenbyK #requirements #safety #using

Deriving Safety Requirements Using Scenarios (KA, TK), pp. 228–235.

RE-2001-GobboM #case study #fault tolerance #re-engineering #requirements #specification

Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems (DDG, AM), pp. 236–247.

RE-2001-Parnas #documentation #requirements

Systematic Documentation of Requirements (DLP), p. 248.

RE-2001-Lamsweerde #requirements

Goal-Oriented Requirements Engineering: A Guided Tour (AvL), p. 249.

RE-2001-Alexander #case study

Capturing Use Cases with DOORS (IFA), p. 264.

RE-2001-DorfmanC #experience #industrial #requirements #traceability

Early Experience with Requirements Traceability in an Industrial Environment (MD, RC), p. 265.

RE-2001-GauseR #question

Where Are We on the “Fend off the Alligators — Drain the Swamp” Continuum? (DCG, SR), p. 266.

RE-2001-Hall #approach #requirements

A Unified Approach to Systems and Software Requirements (AH), p. 267.

RE-2001-Hooks #requirements #what

What Happens With Good Requirements Practices (IH), p. 268.

RE-2001-Jackson

Formalism and Informality in RE (MJ), p. 269.

RE-2001-Kaindl #requirements

Adoption of Requirements Engineering: Conditions for Success (HK), p. 270.

RE-2001-Kohl #process #requirements

Changes in the Requirements Engineering Processes for COTS-Based Systems (RK), p. 271.

RE-2001-Kovitz #backtracking #development #learning

Is Backtracking so Bad? The Role of Learning in Software Development (BK), p. 272.

RE-2001-Lawrence #requirements

Rethinking Requirements (BL), p. 273.

RE-2001-Miller #process #requirements

Business Implications on the Requirements Process (BM), p. 274.

RE-2001-Rosenburg #requirements

Requirements Management at NASA (LR), p. 275.

RE-2001-Stevens #enterprise

Systems Engineering at the Enterprise Level (RS), p. 276.

RE-2001-Voas

Discovering Unanticipated Software Output Modes (JMV), p. 277.

RE-2001-Schraefel #design

Designing for the User (MMCS), p. 280.

RE-2001-Gonzales #question #what

Systems or Software: What Should the “S” in SRE Stand for? (RG), p. 281.

RE-2001-Greenspan #question #requirements #what

Extreme RE: What If There Is No Time for Requirements Engineering? (SJG), pp. 282–285.

RE-2001-Kurtz #estimation

Ask Pete, Software Planning and Estimation through Project Characterization (TK), p. 286.

RE-2001-Traore #development

An Integrated V&V Environment for Critical Systems Development (IT), p. 287.

RE-2001-Feather #detection #fault #reduction #using

Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications (MSF), p. 288.

RE-2001-Hall01a #modelling #network #security #specification #validation

Specification Modeling and Validation Applied to Network Security Gateways (RJH), pp. 289–291.

RE-2001-PaigeO #principle

The Single Model Principle (RFP, JSO), pp. 292–293.

RE-2001-ChengC #analysis #formal method #modelling #requirements

Integrating Informal and Formal Approaches to Requirements Modeling and Analysis (BHCC, LAC), pp. 294–295.

RE-2001-DelugachL #concept #graph #requirements

Acquiring Software Requirements As Conceptual Graphs (HSD, BEL), pp. 296–297.

RE-2001-WesselsD #question #requirements #what

What Happens before Requirements Engineering? (BW, JED), pp. 298–299.

RE-2001-WatahikiS #approach

Scenario Patterns Based on Case Grammar Approach (KW, MS), pp. 300–301.

RE-2001-Perez-MinanaKA #product line #requirements

Empowering Requirements for a Product Family (EPM, PK, PA), pp. 302–303.

RE-2001-KiedaischPWBO #quality #requirements #specification

Requirements Archaeology: From Unstructured Information to High Quality Specifications (FK, MP, JW, SB, SO), pp. 304–305.

RE-2001-NelsonCA #problem

Geographic Problem Frames (MAVN, DDC, PSCA), pp. 306–307.

RE-2001-MooreS #elicitation #requirements #using #visual notation

Requirements Elicitation Using Visual and Textual Information (JMM, FMSI), pp. 308–309.

RE-2001-ChungS #adaptation #architecture #metric

Process-Oriented Metrics for Software Architecture Adaptability (LC, NS), pp. 310–311.

RE-2001-InOR #analysis #modelling #multi #requirements

A Requirements Negotiation Model Based on Multi-Criteria Analysis (HI, DO, TR), pp. 312–313.

RE-2001-InR #visualisation

Issues of Visualized Conflict Resolution (HI, SR), pp. 314–315.

RE-2001-GrossY #approach #architecture #evolution

Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach (DG, ESKY), pp. 316–317.

RE-2001-Galal #architecture

Scenario-Based Systems Architecting (GHG), pp. 318–319.