Sebanyak 1 item atau buku ditemukan

Fundamental Approaches to Software Engineering

11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

This proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components.

In addition, whenever a method D.m overrides a method A.m, the following axiom
is added: two dynamically bound calls of m yield the same result whenever the
receiver's dynamic type is a subtype (denoted by <:) of D. ∀heap, o, x 1 ,...,x n ...