Data/hora: 20/06/2024 02:34:26

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: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3644-1) - ADD - PL - -- - 005.1 - SIM - 1994.00047 - DIS