BibSLEIGH — Proceedings of IEEE International Symposium on Requirements Engineering

Proceedings of IEEE International Symposium on Requirements Engineering
RE, 1993.

REQ

@proceedings{RE-1993,
	address       = "San Diego, California, USA",
	isbn          = "0-8186-3120-1",
	publisher     = "{IEEE}",
	title         = "{Proceedings of IEEE International Symposium on Requirements Engineering}",
	year          = 1993,
}

Contents (41 items)

RE-1993-LubarsPR #modelling #overview #requirements: A review of the state of the practice in requirements modeling (MDL, CP, CR), pp. 2–14.
RE-1993-RzepkaSW #requirements: Requirements engineering technologies at Rome Laboratory (WER, JLS, DAW), pp. 15–18.
RE-1993-JarkeBRSV #overview #requirements: Theories underlying requirements engineering: an overview of NATURE at Genesis (MJ, JABJ, CR, AGS, YV), pp. 19–31.
RE-1993-Yu #information management #modelling #requirements: Modeling organizations for information systems requirements engineering (ESKY), pp. 34–41.
RE-1993-Nixon #development #information management #performance #requirements: Dealing with performance requirements during the development of information systems (BAN), pp. 42–49.
RE-1993-HarrisonB #interactive #on the #requirements: On defining requirements for interaction (MDH, PJB), pp. 50–54.
RE-1993-JacksonZ: Domain descriptions (MJ, PZ), pp. 56–64.
RE-1993-Easterbrook #domain model #modelling: Domain modelling with hierarchies of alternative viewpoints (SME), pp. 65–72.
RE-1993-Feather #requirements: Requirements reconnoitring at the juncture of domain and instance (MSF), pp. 73–76.
RE-1993-PartridgeGBK #question: Should we specify systems or domain? (DP, DG, DRB, JK), pp. 77–80.
RE-1993-Lefering #in the large #incremental #integration #programming #requirements: An incremental integration tool between requirements engineering and programming in the large (ML), pp. 82–89.
RE-1993-OhnishiA #named #requirements: CARD: a software requirements definition environment (AO, KA), pp. 90–93.
RE-1993-Smith #named #requirements: READS: a requirements engineering tool (TJS), pp. 94–97.
RE-1993-TakedaSKO #analysis #editing: Requirement analysis by the KJ editor (NT, AS, KK, HO), pp. 98–101.
RE-1993-MaidenS #empirical #requirements: Requirements engineering by example: an empirical study (NAMM, AGS), pp. 104–111.
RE-1993-RyanM #concept #graph #requirements: Matching conceptual graphs as an aid to requirements re-use (KR, BM), pp. 112–120.
RE-1993-CastanoA #concept #reuse #specification #using: Reuse of conceptual requirement specifications (SC, VDA), pp. 121–124.
RE-1993-Lutz #embedded #fault #requirements #safety: Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.
RE-1993-AndersonD #requirements #using: Using scenarios in deficiency-driven requirements engineering (JSA, BD), pp. 134–141.
RE-1993-Ryan #specification: Defaults in specifications (MR), pp. 142–149.
RE-1993-GoguenL #elicitation #requirements: Techniques for requirements elicitation (JAG, CL), pp. 152–164.
RE-1993-SommervilleRSBT #process #requirements: Integrating ethnography into the requirements engineering process (IS, TR, PS, RB, MT), pp. 165–173.
RE-1993-Macaulay #process #requirements: Requirements capture as a cooperative activity (LAM), pp. 174–181.
RE-1993-BickertonS #classification #requirements: The classification of requirements engineering methods (MJB, JS), pp. 182–186.
RE-1993-LuffJHG #analysis #interactive #requirements #social: Tasks and social interaction: the relevance of naturalistic analyses of conduct for requirements engineering (PL, MJ, CH, DG), pp. 187–190.
RE-1993-White #requirements: Requirements engineering in systems engineering practice (SMW), pp. 192–193.
RE-1993-Goguen #requirements #social: Social issues in requirements engineering (JAG), pp. 194–195.
RE-1993-SchouwenPM #documentation #requirements: Documentation of requirements for computer systems (AJvS, DLP, JM), pp. 198–207.
RE-1993-KentMQ #constraints #fault #specification: Formally specifying temporal constraints and error recovery (SK, TSEM, WJQ), pp. 208–215.
RE-1993-SouquieresL #specification: Description of specification developments (JS, NL), pp. 216–223.
RE-1993-LoucopoulosPMMLZ #object-oriented #requirements: I never knew my requirements were object-oriented until I talked to my analyst (PL, CP, SJM, JAM, L, LZ), pp. 226–230.
RE-1993-IshiharaSK #dependence #natural language #specification #using: A translation method from natural language specifications into formal specifications using contextual dependencies (YI, HS, TK), pp. 232–239.
RE-1993-Ryan93a #natural language #requirements: The role of natural language in requirements engineering (KR), pp. 240–242.
RE-1993-LeiteF #concept: A strategy for conceptual model acquisition (JCSdPL, APMF), pp. 243–246.
RE-1993-RameshL #agile #knowledge base #process #prototype #requirements: Process knowledge based rapid prototyping for requirements engineering (BR, L), pp. 248–255.
RE-1993-RameshE #development #requirements #traceability: Issues in the development of a requirements traceability model (BR, ME), pp. 256–259.
RE-1993-GreenspanF #paradigm #requirements #using: Requirements engineering using the SOS paradigm (SJG, MF), pp. 260–263.
RE-1993-HarkerED #challenge #evolution #re-engineering #requirements: The change and evolution of requirements as a challenge to the practice of software engineering (SH, KDE, JED), pp. 266–272.
RE-1993-KuwanaH #empirical #representation #requirements #what: Representing knowledge in requirements engineering: an empirical study of what software engineers need to know (EK, JDH), pp. 273–276.
RE-1993-SibleyWMTL #policy #requirements: The role of policy in requirements definition (EHS, RLW, JBM, MCT, DCL), pp. 277–280.
RE-1993-JohnsonGLFP #requirements: Recording requirements assumptions and rationale (LJ, SJG, JL, GF, CP), pp. 282–285.

Proceedings of IEEE International Symposium on Requirements EngineeringRE, 1993.

Contents (41 items)

Proceedings of IEEE International Symposium on Requirements Engineering
RE, 1993.