Data/hora: 24/09/2024 20:58:31

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	31/07/1996	
Data da última atualização: 	09/10/2007	
Autoria: 	CORDEIRO, V. A. O.; SAMPAIO, A.; MEIRA, S. L.	
Título: 	Um estudo de caso real em refinamento de especificações formais orientadas a objetos.	
Ano de publicação: 	1994	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994.	
Páginas: 	p.143-158.	
Idioma: 	Português	
Conteúdo: 	Este trabalho apresenta um método de refinamento para especificações em MooZ através de sua aplicação a um estudo de caso. MooZ e uma linguagem de especificação que e uma extensão orientada a objetos de Z. O código final obtido como produto de refinamento utiliza Eiffel, uma linguagem de programação orientada a objetos.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (3689-1) - ADD - PL - -- - 005.1 - SIM - 1994.00042 - DIS