BibSLEIGH — Proceedings of the Third International Symposium on Requirements Engineering

Proceedings of the Third International Symposium on Requirements Engineering
RE, 1997.

REQ

@proceedings{RE-1997,
	address       = "Annapolis, Maryland, USA",
	ee            = "http://www.computer.org/csdl/proceedings/re/1997/7740/00/index.html",
	isbn          = "0-8186-7740-6",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Third International Symposium on Requirements Engineering}",
	year          = 1997,
}

Contents (39 items)

RE-1997-Hall #question #requirements #using #what: What’s the Use of Requirements Engineering? (AH), p. 2–?.
RE-1997-LeiteRBMKHO #requirements #reuse #towards: Ten Steps Towards Systematic Requirements Reuse (WL, JAM, AV), pp. 6–15.
RE-1997-DarimontS #approach #requirements #reuse: Reusing Operational Requirements: A Process-Oriented Approach (RD, JS), p. 16–?.
RE-1997-MassonetL #framework #requirements #reuse #using: Analogical Reuse of Requirements Frameworks (PM, AvL), p. 26–?.
RE-1997-Salo #assessment #requirements: Groupware-Assisted Requirements Assessment (AS), p. 40.
RE-1997-Viravan #lessons learnt: Lessons Learned from Applying the Spiral Model in the Software (CV), p. 40.
RE-1997-Liu #industrial #named: SOFL: A Formal Engineering Methodology for Industrial Applications (SL), p. 41.
RE-1997-LeiteRBMKHO97a #requirements: Enhancing a Requirements Baseline with Scenarios (JCSdPL, GR, FB, VM, GNK, GDSH, AO), pp. 44–53.
RE-1997-DanoBB #approach #case study #concept #object-oriented #specification: An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications (BD, HB, FB), pp. 54–64.
RE-1997-Sutcliffe #approach #requirements: A Technique Combination Approach to Requirements Engineering (AGS), p. 65–?.
RE-1997-HunterN #consistency #specification: Analyzing Inconsistent Specifications (AH, BN), pp. 78–86.
RE-1997-YenT #analysis #requirements #trade-off: A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements (JY, WAT), p. 87–?.
RE-1997-MadhavjiTLAV #evolution #requirements: The Impact of Environment Evolution on Requirements Changes (NHM, TT, PL, WWA, KV), pp. 98–99.
RE-1997-Potts #modelling #requirements: Requirements Models in Context (CP), p. 102–?.
RE-1997-ZaveJ #complexity #requirements: Requirements for Telecommunications Services: An Attack on Complexity (PZ, MJ), pp. 106–117.
RE-1997-PottsN #requirements: Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations (CP, WN), pp. 118–127.
RE-1997-BoisDZ #on the #problem #using: On the Use of a Formal R. E. Language — The Generalized Railroad Crossing Problem (PDB, ED, JMZ), p. 128–?.
RE-1997-DarimontDML #analysis #integration #layout #named #requirements: GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout (RD, ED, PM, AvL), p. 140.
RE-1997-HammerRHH #metric #requirements: Requirements Metrics — Value Added (TH, LHR, LH, LEH), p. 141.
RE-1997-KilovS #elicitation #requirements: Eliciting Requirements: Beyond the Blank Sheet of Paper (HK, IS), p. 141.
RE-1997-Rushby #requirements: Calculating with Requirements (JMR), p. 144–?.
RE-1997-ModugnoLRPS #analysis #requirements #safety #specification: Integrated Safety Analysis of Requirements Specifications (FM, NGL, JDR, KP, SDS), pp. 148–159.
RE-1997-EasterbrookC #experience #formal method #specification: Formal Methods for V&V of Partial Specifications: An Experience RSeport (SME, JRC), pp. 160–168.
RE-1997-GotelF #case study #industrial #requirements #traceability: Extended Requirements Traceability: Results of an Industrial Case Study (OG, AF), p. 169–?.
RE-1997-Sutcliffe97a #requirements: Exploring Scenarios in Requirements Engineering (AGS), p. 180–?.
RE-1997-Harel: Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (DH), p. 184–?.
RE-1997-GuptaJKW #generative #named #performance: Auditdraw: Generating Audits the FAST Way (NKG, LJJ, EK, DMW), pp. 188–197.
RE-1997-Ben-AbdallahLK #analysis #functional #requirements #specification: Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.
RE-1997-HeimdahlK #generative #requirements: Generating Code from Hierarchical State-Based Requirements (MPEH, DJK), p. 210–?.
RE-1997-Fickas: Software on Demand: Issues for RE (SF), pp. 222–223.
RE-1997-Yu #modelling #reasoning #requirements #towards: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering (ESKY), pp. 226–235.
RE-1997-RoscaFW #lifecycle: Decision Making Methodology in Support of the Business Rules Lifecycle (DR, MF, CW), pp. 236–246.
RE-1997-ZowghiO #evolution #framework #logic #modelling #reasoning #requirements: A Logical Framework for Modeling and Reasoning About the Evolution of Requirements (DZ, RO), p. 247–?.
RE-1997-Miller #how #question #requirements #research: How Can Requirements Engineering Research Become Requirements Engineering Practice? (SM), p. 260.
RE-1997-NuseibehR #requirements: Making Requirements Measurable (BN, SR), p. 262.
RE-1997-FaulkH #analysis #approach #requirements #specification: The SCR Approach to Requirements Specification and Analysis (SRF, CLH), p. 263.
RE-1997-HeimdahlR #requirements #safety #specification: Software Requirements Specification and System Safety (MPEH, JDR), p. 264.
RE-1997-FinkelsteinS #requirements #traceability: Requirements Traceability (AF, RS), p. 265.
RE-1997-Wieringa #object-oriented #requirements #specification: Advanced Object-Oriented Requirements Specification Methods (RW), p. 266.

Proceedings of the Third International Symposium on Requirements EngineeringRE, 1997.

Contents (39 items)

Proceedings of the Third International Symposium on Requirements Engineering
RE, 1997.