Tese

Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (2013)

• Authors:
  • Sousa, Thiago Carvalho de
  • Silva, Paulo Sérgio Muniz (Orientador)
• Autor USP: SOUSA, THIAGO CARVALHO DE - EP
• Unidade: EP
• Sigla do Departamento: PCS
• Subjects: DESENVOLVIMENTO DE SOFTWARE; UML
• Language: Português
• Abstract: As melhores práticas de engenharia de software indicam que a atividade de verificação é fundamental para se alcançar o mínimo de qualidade na construção de um software. Nos processos de desenvolvimento baseados na UML, um dos seus focos principais é detectar inconsistências nos diagramas representativos do software. No entanto, a maioria desses processos, como o Iconix, aplica apenas técnicas informais (ex: inspeções visuais nos modelos), fazendo com que muitas vezes essa atividade seja negligenciada pelos desenvolvedores. Por outro lado, com o avanço das ferramentas automatizadas de verificação, os métodos formais, tais como o Event-B, estão atraindo cada vez mais a atenção das empresas de software. Porém, ainda é difícil convencer os desenvolvedores a adotá-los, pois não estão acostumados com os conceitos matemáticos envolvidos. Assim, este trabalho apresenta uma proposta de inclusão do Event-B no Iconix, dando origem ao BIconix, um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. Mais especificamente, esta tese aborda a tradução automática dos quatro diagramas existentes no Iconix (classes, casos de uso, robustez e sequência) para o Event-B, além de mostrar como esta formalização pode auxiliar na atividade de verificação em pontos específicos e bem definidos no processo proposto.
• Imprenta:
  • Publisher place: São Paulo
  • Date published: 2013
• Data da defesa: 29.11.2013


---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  SOUSA, Thiago Carvalho de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/. Acesso em: 21 maio 2024.

• APA

  Sousa, T. C. de. (2013). Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/

• NLM

  Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 maio 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/

• Vancouver

  Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 maio 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

• Revisão de modelos formais de sistemas de estados finitos