Joyce Martins,  Raul Sidnei Wazlawick,  Daltro José Nunes. 

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. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web Processando consulta.