|
|
Interests: requirements engineering, algebraic specification,
and applications of category theory in software engineering
PHD Thesis:
[
2003
--
Current
]
N/A
MSC Thesis:
[
2002
--
2003
]
A Category-Theoretic Approach to Representation and
Analysis of Inconsistency in Graph-Based Viewpoints
2003:
- M. Sabetzadeh and S. Easterbrook.
``Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach'', in Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 12--21, October, 2003
PS
PDF
Abstract
- M. Sabetzadeh.
``A Category-Theoretic Approach to Representation and Analysis of Inconsistency in Graph-Based Viewpoints''
, Master Thesis,
Department of Computer Science, University of Toronto2003
PS
PDF
Abstract
|
