Data/hora: 28/05/2024 08:07:21

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 25/06/1996
Data da última atualização: | 17/08/2007
Autoria: | CORDEIRO, V. A. O.; SAMPAIO, A.; MEIRA, S. L.
Título: | De MooZ para Eiffel.
Ano de publicação: | 1994
Fonte/Imprenta: | In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994.
Páginas: | p.379-393
Idioma: | Português
Conteúdo: | MooZ e uma extensao orientada a objetos da linguagem da especificacao Z e EIffel e uma linguagem de programacao tambem baseada no paradigma de orientacao a objetos. Neste trabalho, propomos um metodo para refinar especificacoes em MooZ para programas em Eiffel e aplicamos este metodo a um estudo de caso que e parte de um sistema real de manutencao industrial.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3388-1) - ADD - PL - -- - 004 - SEM - 1996.00003 - DIS