Formalização do diagrama do casos de uso por meio da linguagem Event-B

Mostrar registro simples

dc.contributor.advisor Sousa, Thiago Carvalho de
dc.contributor.author Freitas, Diego Laverson
dc.date.accessioned 2022-06-08T13:21:34Z
dc.date.available 2022-06-08T13:21:34Z
dc.date.issued 2013
dc.identifier.uri http://repositorio.uespi.br:8080/handle/123456789/125
dc.description.abstract A Unified Modeling Language é um padrão de modelagem orientada a objetos bastante aceito e utilizado no desenvolvimento de sistemas. Entretanto, ela não garante a consistência de seus modelos por permitir múltiplas interpretações deles, o que causa inúmeros erros durante o desenvolvimento, que por sua vez impacta nos custos e prazos do projeto. Este trabalho tem como objetivo proporcionar um mecanismo para verificação do Diagrama de Casos de Uso proposto pelo Iconix através de uma ferramenta CASE que, além de proporcionar a criação e edição do diagrama, permita a sua transformação para a linguagem formal Event-B. pt_BR
dc.language.iso pt_BR pt_BR
dc.publisher Universidade Estadual do Piauí (UESPI) - Campus Professor Alexandre Alves de Oliveira - Parnaíba pt_BR
dc.relation.isbasedon FREITAS, Diego Laverson. Formalização do diagrama do casos de uso por meio da linguagem Event-B. Parnaíba: Monografia (graduação), Bachalerado em Ciência da Computação, Universidade Estadual do Piauí (UESPI), 2013. pt_BR
dc.subject Event-B, Métodos formais, Iconix, Diagrama de casos de uso, Desenvolvimento de software, Verificação pt_BR
dc.title Formalização do diagrama do casos de uso por meio da linguagem Event-B pt_BR
dc.type Thesis pt_BR


Arquivos deste item

Icon
Nome: 02 - BIBLI. OCR - ...
Tamanho: 666.5Kb
Formato: PDF
Visualizar/Abrir

Este item aparece na(s) seguinte(s) coleção(s)

Mostrar registro simples

Buscar DSpace


Navegar

Minha conta