A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

by Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein
Venue:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Citations:291 - 36 self

Documents Related by Co-Citation

185 Inquiry-Based Requirements Analysis – C Potts, K Takahashi, A Anton - 1994
293 Representing and Using Non-Functional Requirements: A Process-Oriented Approach – John Mylopoulos, Lawrence Chung, Brian Nixon - 1992
79 Structured Analysis for Requirements Definition – D T Ross, Schoman Jr, K E - 1977
66 Language support for the specification and development of composite systems – Martin S. Feather - 1987
41 Knowledge Representation and Reasoning in the Design of Composite Systems – Stephen Fickas, B. Robert Helm - 1992
426 Goal-directed Requirements Acquisition – Anne Dardenne , Axel van Lamsweerde, Stephen Fickas - 1993
44 Domain descriptions – Christopher Jackson - 1992
98 Modeling organizations for information systems requirements engineering – E Yu - 1993
88 Specifying Message Passing and Time-Critical Systems with Temporal Logic – R Koymans - 1992
42 Integrating Multiple Specifications Using Domain Goals – Robinson - 1989
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
32 Lamsweerde A. Goal-directed concept acquisition in requirements elicitation – A Dardenne, S Fickas, van - 1991
910 Object-Oriented Software Engineering: A Use Case Driven Approach – I Jacobson, M Christerson, P Jonsson, G Ă–vergaard - 1992
210 Software Requirements and Specifications: A Lexicon of Practice – M Jackson - 1995
74 Handling Conflict Between Domain Descriptions With Computer-Supported Negotiation – Steve Easterbrook - 1991
39 ViewPoints: A Vehicle for Method and Tool Integration – Bashar Nuseibeh, Anthony Finkelstein - 1992
100 Recording the Reasons for Design Decisions – C Potts, G Bruns - 1988
61 Understanding Why – E S K Yu, J Mylopoulos - 1994
74 Object Behavior Analysis – K S Rubin, A Golberg - 1992