Adaptando a Semântica Denotacional para o Desenvolvimento de
Aplicações
Joyce Martins
Raul Sidnei Wazlawick
UFSC
Daltro José Nunes
UFRGS
Techniques for the specification and development of software must allow a
precise description of applications. Denotational semantics is a formal
specification method that has formal basis. However, denotational semantics
don't have mechanisms for construction of modular and reusable software. These
mechanisms are indispensable for application development process. The object
orientation paradigm can provide the denotational semantics with mechanisms
such modularity and reusability. A proposal that joins object orientation and
denotational semantics is presented in this work. The theory of domains, which
is a formal basis of denotational semantics, is extended, and it includes the
classe's and inheritance's concepts. The result is a legible and executable
specification of applications.
.