Data/hora: 03/06/2024 14:20:25

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	28/11/1997	
Data da última atualização: 	08/08/2007	
Autoria: 	DURR, E.; GOLDSACK, S.; KATWIJK, J. V.	
Título: 	Real time formal specification using VDM++.	
Ano de publicação: 	1996	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 10., 1996, São Carlos, SP. Anais... São Carlos: USP, 1996.	
Páginas: 	p.57-72.	
Idioma: 	Inglês	
Notas: 	Editado por José Carlos Maldonado e Paulo Cesar Masiero.	
Conteúdo: 	VDM++ is a formal object oriented specification language, derived from VDM. It extends VDM by providing object-orientation, real-time as well as parallel features. The use of the language is supported by design guidelines and a tool set. The latter offers graphical representations, syntatic and semantic checking, pretty printting and code generation. In this paper we address the handling of particular real-time issues as supported by the language. An outline specification case study is included.	
Palavras-Chave: 	Engenharia de software.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (6076-1) - ADD - PL - -- - 005.1 - SIM - 1997.00005 - DIS