BibSLEIGH — Proceedings of the First International Conference on Requirements Engineering

Proceedings of the First International Conference on Requirements Engineering
ICRE, 1994.

REQ

@proceedings{ICRE-1994,
	address       = "Colorado Springs, Colorado, USA",
	isbn          = "0-8186-5480-5",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the First International Conference on Requirements Engineering}",
	year          = 1994,
}

Contents (33 items)

ICRE-1994-Alford #complexity #requirements #using: Attacking requirements complexity using a separation of concerns (MWA), pp. 2–5.
ICRE-1994-BucciCNT #object-oriented #specification: An object-oriented dual language for specifying reactive systems (GB, MC, PN, MT), pp. 6–15.
ICRE-1994-ChouC #object-oriented #specification: An OOA model with system function specifications (SCC, CGC), pp. 16–23.
ICRE-1994-DrakeT #analysis #bound: System bounding issues for analysis (JMD, WTT), pp. 24–31.
ICRE-1994-Eckert #analysis #object-oriented: Types, classes and collections in object-oriented analysis (GE), pp. 32–39.
ICRE-1994-FairleyTB #concept #requirements #specification: The concept of operations: the bridge from operational requirements to technical specifications (REF, RHT, PB), pp. 40–47.
ICRE-1994-Soares #concept #process #specification: Underlying concepts in process specification (JOPS), pp. 48–52.
ICRE-1994-WoodCS #approach #modelling #multi #requirements: A multimedia approach to requirements capture and modeling (DPW, MGC, SMS), pp. 53–56.
ICRE-1994-DorfmanBGHMSSW #requirements #standard: Requirements engineering standardization (MD, ERB, SMG, RMH, LM, BS, TS, SW), pp. 57–63.
ICRE-1994-AcostaBRS #agile #case study #prototype #requirements: A case study of applying rapid prototyping techniques in the Requirements Engineering Environment (RDA, CLB, WER, JLS), pp. 66–73.
ICRE-1994-BoehmBHL #requirements: Software requirements as negotiated win conditions (BWB, PKB, EH, MJL), pp. 74–83.
ICRE-1994-GoldinB #abstraction #design #elicitation #evaluation #natural language #prototype #requirements: AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation (LG, DMB), pp. 84–93.
ICRE-1994-GotelF #analysis #problem #requirements #traceability: An analysis of the requirements traceability problem (OCZG, AF), pp. 94–101.
ICRE-1994-HollandSCC #analysis #case study #information management: The directorate information system at St Thomas’ hospital: a study in domain analysis (JH, PHS, ERC, BC), pp. 102–109.
ICRE-1994-MorganS #specification: Transitioning to rigorous software specification (NWM, CS), pp. 110–117.
ICRE-1994-ReizerAMP #formal method #requirements #specification #standard #using: Using formal methods for requirements specification of a proposed POSIX standard (NRR, GDA, BCM, PRHP), pp. 118–125.
ICRE-1994-White #analysis #comparative #embedded #requirements: Comparative analysis of embedded computer system requirements methods (SMW), pp. 126–134.
ICRE-1994-WrightFH #requirements: Deriving human-error tolerance requirements from tasks (PCW, BF, MDH), pp. 135–142.
ICRE-1994-AlfordDHMOR #requirements: Issues in requirements engineering technology transfer (MWA, JCD, JH, CLM, DO, WER), pp. 143–148.
ICRE-1994-BelkhoucheG #named #prototype: Ripple: a formally specified prototyping system (BB, BJG), pp. 150–153.
ICRE-1994-BubenkoRLA #fuzzy #modelling #requirements: Facilitating “fuzzy to formal” requirements modelling (JABJ, CR, PL, VDA), pp. 154–157.
ICRE-1994-DobsonS #requirements: Organisational requirements definition for information technology systems (JED, RS), pp. 158–165.
ICRE-1994-GullaWLS #concept #modelling: Executing, viewing and explaining conceptual models (JAG, GW, OIL, AS), pp. 166–175.
ICRE-1994-HughesRS #analysis #requirements #taxonomy: Taxonomy for requirements analysis (KJH, RMR, CTS), pp. 176–179.
ICRE-1994-LiangP #approach #clustering #pattern matching #requirements: A pattern matching and clustering based approach for supporting requirements transformation (JL, JDP), pp. 180–183.
ICRE-1994-MaidenS #abstraction #requirements #using: Requirements critiquing using domain abstractions (NAMM, AGS), pp. 184–193.
ICRE-1994-Ohnishi #requirements #visual notation: A visual software requirements definition method (AO), pp. 194–201.
ICRE-1994-OzcanS #evolution #framework #requirements #validation: Validating and evolving software requirements in a systematic framework (MBÖ, JIAS), pp. 202–205.
ICRE-1994-RobinsonF #multi #requirements: Supporting multi-perspective requirements engineering (WNR, SF), pp. 206–215.
ICRE-1994-Rolland #evolution #modelling: Modeling the evolution of artifacts (CR), pp. 216–219.
ICRE-1994-SalekSTP #natural language #overview #specification: The REVIEW system: from formal specifications to natural language (AS, PGS, JPT, JMP), pp. 220–229.
ICRE-1994-SiddiqiMHB #formal method #requirements #towards: Towards a system for the construction, clarification, discovery and formalisation of requirements (JIAS, ICM, RH, GB), pp. 230–238.
ICRE-1994-ShekaranGJMPR #architecture #requirements: The role of software architecture in requirements engineering (MCS, DG, MJ, NRM, CP, HBR), pp. 239–245.

Proceedings of the First International Conference on Requirements EngineeringICRE, 1994.

Contents (33 items)

Proceedings of the First International Conference on Requirements Engineering
ICRE, 1994.