Ciancia Da Computaaao A Matodos Formais A Linguagem De Especificaaao Mooz
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. A semÃntica formal de MooZ
Este trabalho descreve uma semÃntica formal para MooZ, uma extensÃo Âa linguagem Z proposta pelo Grupo de EspecificaÃÃes Formais do DI/UFPE. Os conceitos fundamentais de orientaÃÃo a objetos foram incluÃdos em MooZ: abstraÃÃo, encapsulamento, modularidade e hierarquia. A semÃntica formal à apresentada como uma extensÃo à semÃntica de variedade
Publicado em: 1993