Data/hora: 01/06/2024 02:29:01

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	29/07/1996	
Data da última atualização: 	20/08/2007	
Autoria: 	MEIRA, S. L.; SANTOS, C. S. dos.	
Título: 	SmallVDM: an environment for formal specification and prototyping in ssmalltalk.	
Ano de publicação: 	1991	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?].	
Páginas: 	p.221-236.	
Idioma: 	Inglês	
Conteúdo: 	We present an environment for specification and prototyping of object-oriented systems in smalltalk along with a style of specification, which allows the definition of some object-oriented characteristics in VDM. A set of auxiliary tools simulates the development of specifications on-line and fast prototyping. The prsentation is mostly informal and the mechanism is exemplified by giving an object-based specification of a simple process scheduler. We discuss the gains of using formal methods, coupled with a good programming environment, in the implementation of object-oriented software systems.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (3659-1) - ADD - PL - -- - 005.1 - SIM - 1994.00047 - DIS