Data/hora: 13/06/2024 06:10:13

Biblioteca(s): 	Embrapa Agricultura Digital; Embrapa Unidades Centrais.	
Data corrente: 	07/05/1992	
Data da última atualização: 	07/05/1992	
Autoria: 	CAMARGO, F. B.	
Afiliação: 	Embrapa-CNPTIA.	
Título: 	Composição de componentes de software: especificação formal de requisitos e automatização do processo de validação.	
Ano de publicação: 	1991	
Fonte/Imprenta: 	1991.	
Páginas: 	99 f.	
Idioma: 	Português	
Notas: 	Dissertação (Mestrado) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Campinas.	
Conteúdo: 	A atual tecnologia de produção de software encontra-se em estágio artesanal e caracterizada por baixa qualidade e produtividade. Formas promissoras de ir de encontro a uma produção industrial de sistemas de software encontram-se em paradigmas de reuso e formalismo. O objetivo deste trabalho é propor uma alternativa para assegurar a qualidade de sistemas de software, em seus diversos níveis de abstração, através de um processo de validação com uso de formalismo. Para tal, procurou-se aliar os conceitos de composição de Componentes de Software Reusaveis de Linguagem-Pi a técnica de especificação formal de Tracos, tornando possivel a automatização do processo de validação. Uma ferramenta de software foi produzida dentro deste contexto - o Gerador Automático de Teste, GAT, que efetua a validação do código de um componente de software contra seus requisitos, expressos por uma especificação formal.	
Palavras-Chave: 	Componentes de software; Especificação formal; Processo de validação automatica; Software Demanda; Software Produção; Software production; Spftware demand.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (618-1) - UPC - TS - -- -  -  - 1992.00044 - DIS
AI-SEDE - (4293-1) - EMB - TS - -- - 91/024 - CAM - 1991.00024 - DIS