| |
|
|
|
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
|
|
|
| Registros recuperados : 5 | |
| 2. |  | HOMEM, B. G. C.; LIMA, I. B. G. de; SPASIANI, P. P.; GUIMARÃES, B. C.; GUIMARÃES, G. D.; BERNARDES, T. F.; REZENDE, C. de P.; BODDEY, R. M.; CASAGRANDE, D. R. N-fertiliser application or legume integration enhances N cycling in tropical pastures. Nutrient Cycling in Agroecosystems, Published 02 September 2021.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
| Biblioteca(s): Embrapa Agrobiologia. |
|    |
| 3. | | HOMEM, B. G. C.; LIMA, I. B. G. de; SPASIANI, P. P.; FERREIRA, I. G.; BODDEY, R. M.; BERNARDES, T. F.; DUBEUX JUNIOR, J. C. B.; CASAGRANDE, D. R. Palisadegrass pastures with or without nitrogen or mixed with forage peanut grazed to a similar target canopy height. 1. Effects on herbage mass, canopy structure and forage nutritive value. Grass and Forage Science, First published: 06 April 2021.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Agrobiologia. |
| |
| 4. | | HOMEM, B. G. C.; LIMA, I. B. G. de; SPASIANI, P. P.; BORGES, L. P. C.; BODDEY, R. M.; DUBEUX JUNIOR, J. C. B.; BERNARDES, T. F.; CASAGRANDE, D. R. Palisadegrass pastures with or without nitrogen or mixed with forage peanut grazed to a similar target canopy height. 2. Effects on animal performance, forage intake and digestion, and nitrogen metabolism. Grass and Forage Science, v. 76, n. 3, p. 413-426, 2021.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Agrobiologia. |
| |
| 5. | | SPASIANI, P. P.; HOMEM, B. G. C.; LIMA, I. B. G. de; GUIMARAES, B. C.; MEDEIROS, E. S. de; MUIR, J. P.; OLIVEIRA, M. S. de; BODDEY, R. M.; CASAGRANDEM, D. R. Light competition is the key factor determining spatio-temporal variability in legume proportion within Marandu palisadegrass-forage peanut mixed pastures. Crop & Pasture Science, Published online: 21 March 2023.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 3 |
| Biblioteca(s): Embrapa Agrobiologia. |
| |
| Registros recuperados : 5 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
