Data/hora: 05/06/2024 06:35:10

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	10/08/1993	
Data da última atualização: 	21/12/2010	
Autoria: 	HIGA, R. H.	
Afiliação: 	ROBERTO HIROSHI HIGA, CNPTIA.	
Título: 	Introdução a especificação formal de módulos de software por traços.	
Ano de publicação: 	1993	
Fonte/Imprenta: 	Campinas: EMBRAPA-CNPTIA, 1993.	
Páginas: 	16 p.	
Idioma: 	Português	
Conteúdo: 	Apresentação informal da especificação por traços. Apresentação formal da especificação por traços. Executando especificações formais utilizando traços em Prolog.	
Palavras-Chave: 	Engenharia de software; Especificação formal; Especificação por traços; Especifição de software; Software; Specification of software.	
Categoria do assunto: 	X Pesquisa, Tecnologia e Engenharia	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (1695-1) - UMT - NC - PP -  -  - 1993.00032 - DIS