Using ViewPoints for Inconsistency Management (1996)

by Steve Easterbrook , Bashar Nuseibeh
Venue:SOFTWARE ENGINEERING JOURNAL
Citations:103 - 23 self

Documents Related by Co-Citation

188 Inconsistency Handling in Multi-Perspective Specifications – A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh - 1994
293 A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification – Bashar Nuseibeh , Jeff Kramer, Anthony Finkelstein - 1994
128 Tolerating inconsistency – R Balzer - 1991
74 Managing Inconsistent Specifications: Reasoning, Analysis, and Action – Anthony Hunter, Bashar Nuseibeh - 1995
38 Living With Inconsistency in Large Systems – R W Schwanke, G E Kaiser - 1988
291 A useful four-valued logic – N Belnap - 1977
54 Lazy” Consistency: A Basis for Cooperative Software Development – K Narayanaswamy, N Goldman - 1992
72 A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints – Steve Easterbrook, Marsha Chechik - 2001
44 Managing Inconsistencies in an Evolving Specification – Steve Easterbrook, Bashar Nuseibeh - 1995
20 To Be and Not to Be: On Managing Inconsistency in Software Development – Bashar Nuseibeh - 1996
121 Managing conflicts in goal-driven requirements engineering – Axel Van Lamsweerde, Robert Darimont, Emmanuel Letier - 1998
41 A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems – Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi - 1996
39 ViewPoints: A Vehicle for Method and Tool Integration – Bashar Nuseibeh, Anthony Finkelstein - 1992
41 Analysing Inconsistent Specifications – Anthony Hunter, Bashar Nuseibeh - 1997
99 A Categorical Manifesto – Joseph A. Goguen - 1991
55 Computational category theory – David E Rydeheard, Rodney M Burstall - 1988
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
1065 Introduction to lattices and order – B A Davey, H A Priestley - 2002
16 Paraconsistent logics – Anthony Hunter - 1998