|
|
Registro Completo |
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: |
-- |
Marc: |
LEADER 00798naa a2200157 a 4500 001 1002793 005 2007-08-17 008 1994 bl uuuu u00u1 u #d 100 1 $aCORDEIRO, V. A. O. 245 $aDe MooZ para Eiffel. 260 $c1994 300 $ap.379-393 520 $aMooZ 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. 700 1 $aSAMPAIO, A. 700 1 $aMEIRA, S. L. 773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 111 | |
30. | | RESENDE, G. M. de; FLORI, J. E. Produtividade e qualidade de cultivares de pepino para processamento em função da densidade de plantio. Horticultura Brasileira, Brasília, DF, v. 23, n. 2, ago. 2005. 1 CD-ROM. Suplemento. Edição dos resumos expandidos do 45. Congresso Brasileiro de Olericultura; 15 Congresso Brasileiro de Floricultura e Plantas Ornamentais; 2, Congresso Brasileiro de Cultura de Tecidos de Plantas, Fortaleza, ago. 2005. 1 CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
34. | | BORGES, A. L.; FLORI, J. E. Suprimento de nutrientes. In: BORGES, A. L. (Ed.). Sistema orgânico de produção para a cultura da banana. 3. ed. Cruz das Almas: Embrapa Mandioca e Fruticultura, 2016. Não paginado. (Embrapa Mandioca e Fruticultura. Sistema de Produção, 18).Tipo: Capítulo em Livro Técnico-Científico |
Biblioteca(s): Embrapa Semiárido. |
| |
35. | | FLORI, J. E.; RESENDE, G. M. de; BORGES, A. L. Aspectos socioeconômicos. In: BORGES, A. L.; CORDEIRO, Z. J. M. (Ed.). Sistema orgânico de produção de manga para a Região da Chapada Diamantina, Bahia. Cruz das Almas, BA: Embrapa Mandioca e Fruticultura, 2020. (Embrapa Mandioca e Fruticultura Sistema de Produção, 49).Tipo: Sistema de Produção |
Biblioteca(s): Embrapa Semiárido. |
| |
36. | | FLORI, J. E.; LIMA, M. F.; RESENDE, G. M. de. Avaliacao de seis genotipos de batata para tolerancia ao calor, na regiao Nordeste. Horticultura Brasileira, Brasília, DF, v. 14, n. 1, p. 85, 1996.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
Registros recuperados : 111 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|