|
12
|
An algebraic framework for merging incomplete and inconsistent views
– Mehrdad Sabetzadeh, Steve Easterbrook
- 2004
|
|
24
|
View merging in the presence of incompleteness and inconsistency
– Mehrdad Sabetzadeh, Steve Easterbrook
- 2006
|
|
6
|
A category-theoretic approach to syntactic software merging
– Nan Niu, Steve Easterbrook, Mehrdad Sabetzadeh
- 2005
|
|
2
|
Colimit Library for Graph Transformations and Algebraic Development Techniques
– Dietmar Wolz, Vom Fachbereich Informatik, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla
- 1998
|
|
2
|
A category-theoretic approach to representation and analysis of inconsistency in graph-based viewpoints
– Mehrdad Sabetzadeh, Mehrdad Sabetzadeh
- 2003
|
|
|
Development Workspaces: an introduction
– T. Dimitrakos, T. S. E. Maibaum
|
|
6
|
Notes on Refinement, Interpolation and Uniformity.
– T. Dimitrakos, T. S. E. Maibaum
|
|
1
|
Modularity and Interpolation in a Development Workspace.
– Theodosis Dimitrakos
- 1997
|
|
|
AI Planning by Multi-Valued Model-Checking
– Anya Tafliovich, Kelvin Ku
|
|
1
|
A Semantics for Object-Oriented Systems
– Tony Clark
- 1998
|
|
6
|
Conceptual Data Modeling from a Categorical Perspective
– A. H. M. Ter Hofstede, E. Lippe, P.J.M. Frederiks
- 1996
|
|
|
The Integration of Para-consistent Conceptual Models Influenced by Uncertainty: A Belief-theoretic Approach
– Ebrahim Bagheri
- 2007
|
|
1
|
Data Structures for Symbolic Multi-Valued Model-Checking
– Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Lai, Steve Easterbrook
- 2006
|
|
15
|
Efficient Multiple-Valued Model-Checking Using Lattice Representations
– Marsha Chechik, Benet Devereux, Steve Easterbrook, Albert Y. C. Lai, Victor Petrovykh
- 2001
|
|
118
|
An introduction to substructural logics
– Greg Restall
- 2000
|
|
1
|
Aspect-driven Property Verification of Inconsistent System Descriptions
– Michael Huth, Shekhar Pradhan
|
|
14
|
Structured theory presentations and logic representations
– Robert Harper, Donald Sannella, Andrzej Tarlecki
- 1994
|
|
1
|
Specification and Implementation Aspects of Interoperability: Extended Abstract
– P. Bieber, P. Cros, P. Michel, V. Wiels
- 1997
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
