| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
21/06/1996 |
|
Data da última atualização: |
17/08/2007 |
|
Autoria: |
KAUFMAN, I. N.; MEIRA, S. L. |
|
Título: |
Especificacoes formais e orientacao a objetos aplicadas no projeto logico de software. |
|
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.225-238 |
|
Idioma: |
Português |
|
Conteúdo: |
Os metodos formais em engenharia de software tem sido aplicados com muito sucesso na fase de especificacao de requisitos. No entanto, para que seus beneficios sejam efetivos, precisamos estender a formalizacao as fases seguintes do ciclo de vida do software. Este artigo propoe uma linguagem que permite a aplicacao de especificacoes formais ao projeto logico de software, oferecendo recursos para determinar propriedades de temporalidade e concorrencia. Esta linguagem descendoe da importante linguagem Z e incorpora conceitos de orientacao a objetos e logica modal de acoes. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01047naa a2200145 a 4500
001 1002776
005 2007-08-17
008 1994 bl uuuu u00u1 u #d
100 1 $aKAUFMAN, I. N.
245 $aEspecificacoes formais e orientacao a objetos aplicadas no projeto logico de software.
260 $c1994
300 $ap.225-238
520 $aOs metodos formais em engenharia de software tem sido aplicados com muito sucesso na fase de especificacao de requisitos. No entanto, para que seus beneficios sejam efetivos, precisamos estender a formalizacao as fases seguintes do ciclo de vida do software. Este artigo propoe uma linguagem que permite a aplicacao de especificacoes formais ao projeto logico de software, oferecendo recursos para determinar propriedades de temporalidade e concorrencia. Esta linguagem descendoe da importante linguagem Z e incorpora conceitos de orientacao a objetos e logica modal de acoes.
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
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Algodão. |
|
Data corrente: |
25/04/2008 |
|
Data da última atualização: |
19/05/2008 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
LUZ, C. M. da; COUTINHO, W. M.; SUASSUNA, N. D.; GIBAND, M.; ALMEIDA, P. B. A. de. |
|
Afiliação: |
Wirton Macedo Coutinho, Embrapa Algodão; Nelson Dias Suassuna, Embrapa Algodão. |
|
Título: |
Resistência de genótipos de algodoeiro à mancha-de-ramulária. |
|
Ano de publicação: |
2007 |
|
Fonte/Imprenta: |
In: ENCONTRO DE PRODUÇÃO CIENTÍFICA DA EMBRAPA ALGODÃO EPC 2007, 2., 2007. Campina Grande. Resumos...Campina Grande: Embrapa Algodão, 2007. |
|
Páginas: |
p. 20 |
|
Série: |
(Documentos, 187). |
|
ISSN: |
0103-0205 |
|
Idioma: |
Português |
|
Palavras-Chave: |
Mancha de ramulária; Ramularia areaola. |
|
Thesagro: |
Algodão; Gossypium Hirsutum. |
|
Thesaurus NAL: |
Gossypium barbadense. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/CNPA/21120/1/DOC187.PDF
|
|
Marc: |
LEADER 00773nam a2200241 a 4500
001 1277487
005 2008-05-19
008 2007 bl uuuu u00u1 u #d
022 $a0103-0205
100 1 $aLUZ, C. M. da
245 $aResistência de genótipos de algodoeiro à mancha-de-ramulária.
260 $aIn: ENCONTRO DE PRODUÇÃO CIENTÍFICA DA EMBRAPA ALGODÃO EPC 2007, 2., 2007. Campina Grande. Resumos...Campina Grande: Embrapa Algodão$c2007
300 $ap. 20
490 $a(Documentos, 187).
650 $aGossypium barbadense
650 $aAlgodão
650 $aGossypium Hirsutum
653 $aMancha de ramulária
653 $aRamularia areaola
700 1 $aCOUTINHO, W. M.
700 1 $aSUASSUNA, N. D.
700 1 $aGIBAND, M.
700 1 $aALMEIDA, P. B. A. de
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Algodão (CNPA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
