OOD Frameworks in Component-Based Software - Development in Computational Logic-Reference-Cited by-同舟云学术

OOD Frameworks in Component-Based Software - Development in Computational Logic

Published:1999 Issue: Volume: Page:101-123
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Lau Kung-Kiu,Ornaghi Mario

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48958-4_6

Reference30 articles.

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.

2. A. Bertoni, G. Mauri, and P. Miglioli. On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Informaticae VI(2):127–170, 1983.

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. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice-Hall, 1994.

5. S. Cook and J. Daniels. Designing Object Systems. Prentice-Hall, 1994.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conformance notions for the coordination of interaction components;Science of Computer Programming;2010-05

2. A strategy for the formal composition of frameworks;Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05);2005

3. Specifying Compositional Units for Correct Program Development in Computational Logic;Program Development in Computational Logic;2004

4. Correct OO Systems in Computational Logic;Logic Based Program Synthesis and Transformation;2004

5. Reuse of Specification Patterns with the B Method;ZB 2003: Formal Specification and Development in Z and B;2003