Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
暂无分享,去创建一个
[1] Kiyoshi Akama,et al. Declarative Semantics of Logic Programs on Parameterized Representation Systems , 1993 .
[2] Bernhard Rumpe,et al. The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.
[3] Vilas Wuwongse,et al. Declarative Programs with Implicit Implications , 2002, IEEE Trans. Knowl. Data Eng..
[4] Chutiporn Anutariya,et al. A Data Model for XML Databases , 2001, Journal of Intelligent Information Systems.
[5] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[6] Chutiporn Anutariya,et al. Towards a Foundation for XML Document Databases , 2000, EC-Web.
[7] Vilas Wuwongse,et al. Defeasible Inheritance Through Specialization , 2001, Comput. Intell..
[8] Andy S. Evans,et al. Reasoning with UML class diagrams , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.