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
72 A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints – Steve Easterbrook, Marsha Chechik - 2001
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
33 View merging in the presence of incompleteness and inconsistency – Mehrdad Sabetzadeh, Steve Easterbrook - 2006
64 Matching and merging of statecharts specifications – Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave - 2007
199 Applying Model Management to Classical Meta Data Problems – Philip A. Bernstein - 2003
31 A Manifesto for Model Merging – G Brunet, M Chechik, S Easterbrook, S Nejati, N Niu, M Sabetzadeh - 2006
11 Let’s Agree to Disagree – Shiva Nejati, Marsha Chechikdepartment, Computer Science - 2005
103 Using ViewPoints for Inconsistency Management – Steve Easterbrook, Bashar Nuseibeh - 1996
93 Merging Models Based on Given Correspondences – Rachel A. Pottinger, Philip A. Bernstein - 2003
153 Generating Statechart Designs From Scenarios – Jon Whittle, Johann Schumann - 2000
4 iVuBlender: A tool for merging incomplete and inconsistent views – Mehrdad Sabetzadeh, Steve Easterbrook - 2005
99 A Categorical Manifesto – Joseph A. Goguen - 1991
16 An algebraic framework for merging incomplete and inconsistent views – Mehrdad Sabetzadeh, Steve Easterbrook - 2004
71 Generic Model Management: Concepts and Algorithms – Sergey Melnik - 2003
44 Flexible Consistency Checking – Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer - 2001
3219 Communication and Concurrency – R Milner - 1990
161 Formal verification of parallel programs – R Keller
131 A modal process logic, in – K G Larsen, B Thomsen - 1988