Data/hora: 18/06/2024 18:01:53

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	21/08/1996	
Data da última atualização: 	18/12/2007	
Autoria: 	CUNHA, C. M. A. da.	
Título: 	Refinement of database processes.	
Ano de publicação: 	1994	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE BANCO DE DADOS, 9., 1994, São Carlos. Anais... São Carlos: USP-ICMSC, 1994.	
Páginas: 	p.65-79.	
Idioma: 	Inglês	
Notas: 	SBBD'94. Editado por Caetano Traina Júnior.
	
Conteúdo: 	The information engineering method and the information engineering facility tool have been successfully used over the past years as an efficient way of developing information systems on a database environment. At present, code is automatically generated from a procrdural specification (written using the Process Action Diagram-PAD). The main purpose of this work is to make the PAD generation a stepwise refinement task, with the use of refinement laws (based on morgan's refinement calculus). The major advantage of this is to give more power to the designer, and to ensure that the resulting code is correct by construction.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (3881-1) - ADD - PL - -- - 005.74 - SIM - 1996.00004 - DIS