Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach

Mehrdad Sabetzadeh, Steve M. Easterbrook. Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. In 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada. pages 12-21, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.