00913naa a2200157 a 450000100080000000500110000800800410001910000230006024500920008326000090017530000150018452003380019970000160053770000170055377301850057010031282007-10-09       1994    bl uuuu     u00u1 u    #d1 aCORDEIRO, V. A. O.  aUm estudo de caso real em refinamento de especificações formais orientadas a objetos.  c1994  ap.143-158.  aEste trabalho apresenta um método de refinamento para especificações em MooZ através de sua aplicação a um estudo de caso. MooZ e uma linguagem de especificação que e uma extensão orientada a objetos de Z. O código final obtido como produto de refinamento utiliza Eiffel, uma linguagem de programação orientada a objetos.1 aSAMPAIO, A.1 aMEIRA, S. L.  tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994.