Data/hora: 13/06/2024 14:13:45

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