A Formal Framework with Late Binding

Authors:
Davide Ancona;Maura Cerioli;Elena Zucca
Affiliations:
-;-;-
Venue:
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Year:
1999

Invited Talk: Algebraic State Machines

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Correct realizations of interface constraints with OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Property preserving redesign of specifications

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science

Hi-index	0.00