01077naa a2200145 a 450000100080000000500110000800800410001910000170006024500850007726000090016230000150017152006050018670000220079177301180081310030952007-08-20       1991    bl uuuu     u00u1 u    #d1 aMEIRA, S. L.  aSmallVDMban environment for formal specification and prototyping in ssmalltalk.  c1991  ap.221-236.  aWe 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.1 aSANTOS, C. S. dos  tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?].