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
3219 Communication and Concurrency – R Milner - 1990
199 Applying Model Management to Classical Meta Data Problems – Philip A. Bernstein - 2003
33 View merging in the presence of incompleteness and inconsistency – Mehrdad Sabetzadeh, Steve Easterbrook - 2006
103 Using ViewPoints for Inconsistency Management – Steve Easterbrook, Bashar Nuseibeh - 1996
153 Generating Statechart Designs From Scenarios – Jon Whittle, Johann Schumann - 2000
31 A Manifesto for Model Merging – G Brunet, M Chechik, S Easterbrook, S Nejati, N Niu, M Sabetzadeh - 2006
44 Flexible Consistency Checking – Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer - 2001
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
4 Viewpoints: A framework for integrating multiple perspectives in system development – A. Finkelsetin, A. Finkelstein, J. Kramer, J. Kramer, B. Nuseibeh, B. Nuseibeh, L. Finkelstein, L. Finkelstein, M. Goedicke, M. Goedicke - 1992
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
100 Abstract Interpretation and Partition Refinement for Model – D R Dams
71 Generic Model Management: Concepts and Algorithms – Sergey Melnik - 2003
11 Let’s Agree to Disagree – Shiva Nejati, Marsha Chechikdepartment, Computer Science - 2005
64 Matching and merging of statecharts specifications – Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave - 2007