FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z

FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z

Made available in DSpace on 2016-08-17T14:53:19Z (GMT). No. of bitstreams: 1 dissertacao Carlos Cesar.pdf: 5267302 bytes, checksum: 26bac06a2f7777c938fb717c801f59cd (MD5) Previous issue date: 2011-07-29 === Coordenação de Aperfeiçoamento de Pessoal de Nível Superior === In this thesis, an approa...

Full description

Bibliographic Details
Main Author: MENDES, Carlos César Gomes
Other Authors: ABDELOUAHAB, Zair
Format: Others
Language:Portuguese
Published: Universidade Federal do Maranhão 2016
Subjects:
Engenharia Dirigida a Modelos
Arquitetura Dirigida a Modelos
Métodos Formais
Teoria dos Conjuntos
Linguagem Formal Z
Z/EVES
Model Driven Engineering
Model Driven Architecture
Formal Methods
Set Theory
Z Formal Language
Z / EVES
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE SISTEMAS DE COMPUTACAO
Online Access:http://tedebc.ufma.br:8080/jspui/handle/tede/481

Internet

http://tedebc.ufma.br:8080/jspui/handle/tede/481

Similar Items