| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
29/07/1996 |
|
Data da última atualização: |
20/08/2007 |
|
Autoria: |
ALENCAR, P. S. C. de; LUCENA, C. J. P. de. |
|
Título: |
Formalizacao de conceitos em gerencia de configuracoes. |
|
Ano de publicação: |
1991 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?]. |
|
Páginas: |
p.75-91. |
|
Idioma: |
Português |
|
Conteúdo: |
Neste artigo apresentamos uma abordagem em logica do processo de evolucao de configuracoes de sistemas de software que pode ser visto como um processo de transformacoes em "ponto grande" aplicado a descricoes arquiteturais de sistemas de software. Neste sentido, uma descricao formal generalizada de arquiteturas de sistemas de software do ponto de vista de sistemas evolutivos de software e apresentada. A semantica do processo de mudanca de estados de configuracao de software (tomados como grafos de estrutura de software) e definida atraves de um formalismo logico que envolve teorias representando estes estados e suas mudancas quando afetados por acoes. O formalismo logico adotado nos permite descrever e raciocinar dedutivamente sobre mudancas na estrutura, nainterface e na funcionalidade dos componentes da descricao arquitetural do sistema de software. O raciocinio dedutivo sobre aspectos funcionais destas dsescricoes e conseguido atraves da interacao de um provador para o formalismo metalogico proposto e um provador de teoremas para raciocinio dedutivo sobre programas sequenciais. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01557naa a2200145 a 4500
001 1003079
005 2007-08-20
008 1991 bl uuuu u00u1 u #d
100 1 $aALENCAR, P. S. C. de
245 $aFormalizacao de conceitos em gerencia de configuracoes.
260 $c1991
300 $ap.75-91.
520 $aNeste artigo apresentamos uma abordagem em logica do processo de evolucao de configuracoes de sistemas de software que pode ser visto como um processo de transformacoes em "ponto grande" aplicado a descricoes arquiteturais de sistemas de software. Neste sentido, uma descricao formal generalizada de arquiteturas de sistemas de software do ponto de vista de sistemas evolutivos de software e apresentada. A semantica do processo de mudanca de estados de configuracao de software (tomados como grafos de estrutura de software) e definida atraves de um formalismo logico que envolve teorias representando estes estados e suas mudancas quando afetados por acoes. O formalismo logico adotado nos permite descrever e raciocinar dedutivamente sobre mudancas na estrutura, nainterface e na funcionalidade dos componentes da descricao arquitetural do sistema de software. O raciocinio dedutivo sobre aspectos funcionais destas dsescricoes e conseguido atraves da interacao de um provador para o formalismo metalogico proposto e um provador de teoremas para raciocinio dedutivo sobre programas sequenciais.
700 1 $aLUCENA, C. J. P. de
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?].
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Agroindústria Tropical. Para informações adicionais entre em contato com cnpat.biblioteca@embrapa.br. |
Registro Completo
|
Biblioteca(s): |
Embrapa Agroindústria Tropical. |
|
Data corrente: |
12/07/2023 |
|
Data da última atualização: |
12/07/2023 |
|
Autoria: |
MENDONÇA, R. U. de; MOURA, C. F. H.; ALVES, R. E.; FIGUEIREDO, R. W. de; SOUZA, V. A. B. de. |
|
Afiliação: |
RAQUEL UCHÔA DE MENDONÇA, UNIVERSIDADE FEDERAL DO CEARÁ; CARLOS FARLEY HERBSTER MOURA, CNPAT; RICARDO ELESBAO ALVES, CNPAT; RAIMUNDO WILANE DE FIGUEIREDO, UNIVERSIDADE FEDERAL DO CEARÁ; VALDOMIRO AURELIO BARBOSA DE SOUZA, CPAMN. |
|
Título: |
Qualidade e potencial de utilização de frutos de cajazeiras (Spondias mombin L.) oriundos da Região Meio-Norte do Brasil. |
|
Ano de publicação: |
2008 |
|
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE FRUTICULTURA, 20.; ANNUAL MEETING OF THE INTERAMERICAN SOCIETY FOR TROPICAL HORTICULTURE, 54., 2008, Vitória. Frutas para todos: estratégias tecnologias e visão sustentável: anais. Vitória: INCAPER: Sociedade Brasileira de Fruticultura, 2008. 5 p. |
|
Idioma: |
Português |
|
Conteúdo: |
O Brasil tem um potencial muito grande para as várias espécies frutíferas, sejam elas nativas ou exóticas, sendo ainda pouco exploradas. A preocupação com as espécies nativas do Brasil, se dá pela sua importância econômica, sendo exploradas apenas localmente e, muitas vezes, extrativamente. |
|
Palavras-Chave: |
Cajazeira. |
|
Thesagro: |
Rendimento; Spondias Mombin. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01161nam a2200193 a 4500
001 2154926
005 2023-07-12
008 2008 bl uuuu u01u1 u #d
100 1 $aMENDONÇA, R. U. de
245 $aQualidade e potencial de utilização de frutos de cajazeiras (Spondias mombin L.) oriundos da Região Meio-Norte do Brasil.$h[electronic resource]
260 $aIn: CONGRESSO BRASILEIRO DE FRUTICULTURA, 20.; ANNUAL MEETING OF THE INTERAMERICAN SOCIETY FOR TROPICAL HORTICULTURE, 54., 2008, Vitória. Frutas para todos: estratégias tecnologias e visão sustentável: anais. Vitória: INCAPER: Sociedade Brasileira de Fruticultura, 2008. 5 p.$c2008
520 $aO Brasil tem um potencial muito grande para as várias espécies frutíferas, sejam elas nativas ou exóticas, sendo ainda pouco exploradas. A preocupação com as espécies nativas do Brasil, se dá pela sua importância econômica, sendo exploradas apenas localmente e, muitas vezes, extrativamente.
650 $aRendimento
650 $aSpondias Mombin
653 $aCajazeira
700 1 $aMOURA, C. F. H.
700 1 $aALVES, R. E.
700 1 $aFIGUEIREDO, R. W. de
700 1 $aSOUZA, V. A. B. de
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agroindústria Tropical (CNPAT) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
