Author:
Küster Filipe Juliana,Lau Kung-Kiu,Ornaghi Mario,Yatsu Hirokazu
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. Bertoni, A., Mauri, G., Miglioli, P.: On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Informaticae VI(2), 127–170 (1983)
3. Bourdeau, R.H., Cheng, B.H.C.: A formal semantics for object model diagrams. IEEE Trans. Soft. Eng. 21(10), 799–821 (1995)
4. Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development: The Fusion Method. Prentice-Hall, Englewood Cliffs (1994)
5. Cook, S., Daniels, J.: Designing Object Systems. Prentice-Hall, Englewood Cliffs (1994)