Uma proposta de formalização do diagrama de classe por meio da linguagem Evente-B

Mostrar registro simples

dc.contributor.advisor Sousa, Thiago Carvalho de
dc.contributor.author Silva, Luciano Kelvin da
dc.date.accessioned 2022-06-08T13:40:16Z
dc.date.available 2022-06-08T13:40:16Z
dc.date.issued 2013
dc.identifier.uri http://repositorio.uespi.br:8080/handle/123456789/127
dc.description.abstract Um dos primeiros passos em um processo de desenvolvimento de um software é o processo de modelagem, onde são levantados requisitos e feito os modelos que servirão de base para todo o decorrer do projeto. Porém, muitas vezes estes modelos são criados de forma inconsistente ou ambígua, causando problemas no decorrer do processo de desenvolvimento, obrigando os desenvolvedores a voltarem para a etapa de análise, para alterar novamente o modelo, causando assim um impacto negativo nos custos e prazos do projeto. Assim, este trabalho possui como objetivo principal o desenvolvimento de uma ferramenta de modelagem, na qual o analista possa desenhar um diagrama de classe e as inconsistências e ambiguidades dele já possam ser verificadas e corrigidas ainda no processo de análise por meio do seu mapeamento 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 SILVA, Luciano Kelvi da. Uma proposta de formalização do diagrama de classe por meio da linguagem Evente-B. Parnaíba: Monografia (graduação), Bachalerado em Ciência da Computação, Universidade Estadual do Piauí (UESPI), 2013. pt_BR
dc.subject Desenvolvimento de software, Engenharia de software, Diagrama de Classe, Métodos formais, Event-B, UML pt_BR
dc.title Uma proposta de formalização do diagrama de classe por meio da linguagem Evente-B pt_BR
dc.type Thesis pt_BR


Arquivos deste item

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

Mostrar registro simples

Buscar DSpace


Navegar

Minha conta