iVuBlender: A tool for merging incomplete and inconsistent views

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2005, Pages 453-454

  Sabetzadeh, Mehrdad ^a   Easterbrook, Steve ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; INTERCONNECTION NETWORKS; MATHEMATICAL MODELS;

CONCEPTUAL MODELING LANGUAGES; VIEW MERGING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 27644580060     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/re.2005.35     Document Type: Conference Paper

References (6)

1. M. Barr and C. Wells. Category Theory for Computing Science. Les Publications CRM Montréal, third edition, 1999.
2. N. Belnap. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, pages 5-37. Reidel, 1977.
3. H. Ehrig et al. A combined reference model- and view-based approach to system specification. Intl. J. of Software Eng. and Knowledge Eng., 7(4):457-477, 1997.
4. R. Pottinger and P. Bernstein. Merging models based on given correspondences. In VLDB, pages 862-873., 2003.
5. M. Sabetzadeh and S. Easterbrook. An algebraic framework for merging incomplete and inconsistent views. In this proceedings.
6. M. Sabetzadeh and S. Easterbrook. Analysis of inconsistency in graph-based viewpoints. In ASE, pages 12-21, 2003