Data/hora: 24/06/2024 16:08:05

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	19/12/1995	
Data da última atualização: 	26/11/2004	
Autoria: 	MEIRA, C. A. A.; MASIERO, P. C.	
Afiliação: 	EMBRAPA, CNPTIA.	
Título: 	Especificações formais em VDM: um estudo de caso.	
Ano de publicação: 	1990	
Fonte/Imprenta: 	Sao Carlos: USP, ICMSC, 1990.	
Páginas: 	24 p.	
Série: 	(ICMSC-USP. Relatório Técnico, 6).	
Idioma: 	Português	
Conteúdo: 	Este trabalho apresenta uma breve introdução ao metodo de especificação formal de sistemas denominado VDM (Vienna Development Method) e o aplica integralmente na especificacao de um sistema exemplo, ilustrando dessa forma, a notação VDM.	
Palavras-Chave: 	Especificação formal; Sistema; VDM.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (2774-1) - UPC - FL - -- -  -  - 1995.00052 - DIS