Data/hora: 20/06/2024 13:30:44

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