| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
31/07/1996 |
|
Data da última atualização: |
09/10/2007 |
|
Autoria: |
CORDEIRO, V. A. O.; SAMPAIO, A.; MEIRA, S. L. |
|
Título: |
Um estudo de caso real em refinamento de especificações formais orientadas a objetos. |
|
Ano de publicação: |
1994 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994. |
|
Páginas: |
p.143-158. |
|
Idioma: |
Português |
|
Conteúdo: |
Este trabalho apresenta um método de refinamento para especificações em MooZ através de sua aplicação a um estudo de caso. MooZ e uma linguagem de especificação que e uma extensão orientada a objetos de Z. O código final obtido como produto de refinamento utiliza Eiffel, uma linguagem de programação orientada a objetos. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 00913naa a2200157 a 4500
001 1003128
005 2007-10-09
008 1994 bl uuuu u00u1 u #d
100 1 $aCORDEIRO, V. A. O.
245 $aUm estudo de caso real em refinamento de especificações formais orientadas a objetos.
260 $c1994
300 $ap.143-158.
520 $aEste trabalho apresenta um método de refinamento para especificações em MooZ através de sua aplicação a um estudo de caso. MooZ e uma linguagem de especificação que e uma extensão orientada a objetos de Z. O código final obtido como produto de refinamento utiliza Eiffel, uma linguagem de programação orientada a objetos.
700 1 $aSAMPAIO, A.
700 1 $aMEIRA, S. L.
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 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 : 2 | |
| 1. |  | SILVA, R. G. de C.; PASSOS, A. M. A. dos; AKER, A. M.; CORDEIRO, V. A.; ALVES, C. B. Distribuição da precipitação e ajuste de modelos probabilísticos para Formoso, MG. Enciclopedia Biosfera, Goiânia, v. 16, n. 30, p. 210-229, 2019.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 2 |
| Biblioteca(s): Embrapa Milho e Sorgo. |
|    |
| 2. | | BRICEÑO CASTILLO, G. V.; FREITAS, L. J. M. de; CORDEIRO, V. A.; ORELLANA, J. B. P.; REATEGUI-BETANCOURT, J. L.; NAGY, L.; MATRICARDI, E. A. T. Assessment of selective logging impacts using UAV, Landsat, and Sentinel data in the Brazilian Amazon rainforest. Journal of Applied Remote Sensing, v. 16, n. 1, 014526, Mar. 2022.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
| Biblioteca(s): Embrapa Amazônia Oriental. |
|  |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
