Made available in DSpace on 2014-06-12T15:59:11Z (GMT). No. of bitstreams: 2
arquivo4936_1.pdf: 1288760 bytes, checksum: e9b38bddcefdbcf94c0812a3c4d81dc1 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 1993 / 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 variedades pro-
posta por J.M. Spivey para Z. A extensão traz como vantagens um maior entendimento
da facilidade de expressão de MooZ em relação à Z e a demonstração de que MooZ é uma
extensão conservativa de Z.
Após uma introdução informal à MooZ, os conceitos da teoria axiomática dos conjun-
tos de Zermelo-Fraenkel utilizados para descrever a semântica de MooZ são apresentados
e especificados em Z. O sistema de tipos de MooZ é descrito e o modelo de assinaturas,
estruturas e variedades de Spivey é expandido para comportar os conceitos de MooZ. As
funções semânticas que fornecem o significado de cada elemento de MooZ são definidas.
Por fim, são apresentadas a importância deste trabalho, as dificuldades encontradas no seu
desenvolvimento e as sugestões para a sua continuação
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2548 |
| Date | January 1993 |
| Creators | Min, Lin Tse |
| Contributors | Meira, Silvio Romero de Lemos |
| Publisher | Universidade Federal de Pernambuco |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0019 seconds