Author:
Balaban Mira,Maraee Azzam
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Boufares, F., Bennaceur, H.: Consistency Problems in ER-schemas for Database Systems. Information Sciences (4) (2004)
2. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence (2005)
3. Calvanese, D., Lenzerini, M.: On the Interaction between ISA and Cardinality Constraints. In: Proc. of the 10th IEEE Int. Conf. on Data Engineering (1994)
4. Cadoli, M., Calvanese, D., De Giacomo, G., Mancini, T.: Finite Satisfiability of UML Class Diagrams by Constraint Programming. In: Proc. of the CP 2004 Workshop on CSP Techniques with Immediate Application (2004)
5. Liang., P.: Formalization of Static and Dynamic UML Using Algebraic. Master’s thesis, University of Brussel (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献