BDBComp
Parceria:
SBC
Prognóstico de falhas on-line baseado em um sistema fuzzy evolutivo

Adaptando a Semântica Denotacional para o Desenvolvimento de Aplicações

Joyce MartinsRaul Sidnei WazlawickDaltro 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

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD