BDBComp
Parceria:
SBC
Virglnia A.O. CordeiroAugusto SampaioSilvio L. Meira

A Design for JTrader, an Internet Trading Federation

Este trabalho apresenta um método de refinamento para especificação em MooZ através de sua aplicação e um estudo de caso. MooZ é uma linguagem de especificação que é uma extensão orientada a objetos em Z. O código final obtido como produto do refinamento utiliza Eiffel, uma linguagem de programação orientada a objetos.

http://www.lbd.dcc.ufmg.br/colecoes/sbes/1994/009.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

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