Analysis of inconsistency in graph-based viewpoints (2003)

by Mehrdad Sabetzadeh , Steve Easterbrook
Venue:In ASE
Citations:27 - 11 self

Documents Related by Co-Citation

46 Merging Partial Behavioural Models – Sebastian Uchitel - 2004
71 A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints – Steve Easterbrook, Marsha Chechik - 2001
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1999
3204 Communication and Concurrency – R Milner - 1989
206 Applying Model Management to Classical Meta Data Problems – Philip A. Bernstein - 2003
153 Generating Statechart Designs From Scenarios – Jon Whittle, Johann Schumann - 2000
99 A Categorical Manifesto – Joseph A. Goguen - 1991
3400 Communicating Sequential Processes – C. A. R. Hoare - 1985
33 View merging in the presence of incompleteness and inconsistency – Mehrdad Sabetzadeh, Steve Easterbrook - 2006
4 iVuBlender: A tool for merging incomplete and inconsistent views – Mehrdad Sabetzadeh, Steve Easterbrook - 2005
16 An algebraic framework for merging incomplete and inconsistent views – Mehrdad Sabetzadeh, Steve Easterbrook - 2004
102 Using ViewPoints for Inconsistency Management – Steve Easterbrook, Bashar Nuseibeh - 1996
100 Abstract Interpretation and Partition Refinement for Model – D R Dams
72 Generic Model Management: Concepts and Algorithms – Sergey Melnik - 2003
1065 Introduction to Lattices and Order – B A Davey, H A Priestley - 2002
12 Behaviour Model Elaboration using Partial Labelled Transition Systems – S Uchitel, J Kramer, J Magee
14 On Model Checking Multiple Hybrid Views – Altaf Hussain, Michael Huth - 2004
159 Formal verification of parallel programs – R KELLER - 1976
309 Concurrency - state models and Java programs – J Magee, J Kramer - 2006