The Community for Technology Leaders
Green Image
<p>Class dictionary graphs, axiomatic definitions of basic structures used by object-oriented designers and programmers during the software development process, are discussed. An axiomatic foundation for object-oriented data modeling and efficient algorithms for checking whether a given data model satisfies the axioms are presented. The data model is the foundation for a number of techniques for developing object-oriented systems, including adaptive software, schema abstraction from object examples, schema optimization, planning techniques for system development, and the Law of Demeter, among others.</p>
formal foundations; class dictionary graphs; object-oriented data modeling; axiomatic definitions; object-oriented designers; programmers; software development process; axioms; adaptive software; schema abstraction; schema optimization; planning techniques; system development; Law of Demeter; object-oriented databases; software engineering

K. Lieberherr and C. Xiao, "Formal Foundations for Object-Oriented Data Modeling," in IEEE Transactions on Knowledge & Data Engineering, vol. 5, no. , pp. 462-478, 1993.
79 ms
(Ver 3.3 (11022016))