Correct object-oriented systems in computational logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2372 LNCS, Issue , 2002, Pages 168-190

  Lau, Kung Kiu ^a   Ornaghi, Mario ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; COMPUTER SOFTWARE REUSABILITY; LOGIC PROGRAMMING; REUSABILITY; SOFTWARE DESIGN; RECONFIGURABLE HARDWARE;

COMPONENT-BASED SOFTWARE DEVELOPMENT; COMPUTATIONAL LOGIC; OBJECT ORIENTED DESIGN; OBJECT-ORIENTED SYSTEM; PROGRAM DEVELOPMENT; SINGLE OBJECT;

OBJECT ORIENTED PROGRAMMING;

EID: 35048845635     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45607-4_10     Document Type: Conference Paper

References (14)

1. M. Abadi and L. Cardelli. A Theory of Objects. MIT Press, 1985.
2. E. Astesiano, H.-J. Kreowski, and B. Krieg-Bruckner, editors. Algebraic Foundations of Systems Specifications. Springer, 1999.
3. R.H. Bourdeau and B. H.C. Cheng. A formal semantics for object model diagrams. IEEE Trans. Soft. Eng., 21(10):799-821, 1995.
4. J. Cheesman and J. Daniels. UML Components: A Simple Process for Specifying Component-based Software. Addison-Wesley, 2001.
5. D.F. D'Souza and A.C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1999.
6. H. Ehrigand B. Mahr. Fundamentals of Algebraic Specification. Springer-Verlag, 1989.
7. G. Larsen. Designingcomp onent-based frameworks usingpatterns in the UML. Comms. ACM, 42(10):38-45, October 1999.
8. K.-K. Lau and M. Ornaghi. OOD frameworks in component-based software development in computational logic. In P. Flener, editor, Proc. LOPSTR 98, Lecture Notes in Computer Science 1559, pages 101-123. Springer-Verlag, 1999.
9. K.-K. Lau and M. Ornaghi. Isoinitial semantics for logic programs. In J.W. Lloyd et al , editor, Proceedings of the First Int. Conf. on Computational Logic, Lecture Notes in Artificial Intelligence 1861, pages 223-238. Springer-Verlag, 2000.
10. K.-K. Lau, M. Ornaghi, and S.-?A. Tarnlund. Steadfast logic programs. J. Logic Programming, 38(3):259-294, March 1999.
11. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
12. D. Miller. Forum: A multiple-conclusion specification logic. TCS, 165(1):201-231, 1996.
13. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
14. J. Warmer and A. Kleppe. The Object Constraint Language. Addison-Wesley, 1999.