Banca de QUALIFICAÇÃO: DIEGO HENRIQUE OLIVEIRA DE SOUZA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.

DISCENTE: DIEGO HENRIQUE OLIVEIRA DE SOUZA

DATA: 18/02/2011

HORA: 10:30

LOCAL: sala de reuniões do DIMAp

TÍTULO:

Clown: A Generic GUI API for Animating Formal Specifications


PALAVRAS-CHAVES:

Métodos Formais, Circus, Animação


PÁGINAS: 85

GRANDE ÁREA: Ciências Exatas e da Terra

ÁREA: Ciência da Computação

RESUMO:

Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e correção
do software. Além disso, o desenvolvedor pode concentrar-se nos requisitos funcionais.
Mas há muita resistência em se adotar essa abordagem de desenvolvimento de software.
A razão principal é a falta de suporte ferramental adequado, útil e de fácil utilização. Os
desenvolvedores normalmente escrevem o código e o testam. Estes testes geralmente consistem em checar se as saídas estão de acordo com os requisitos. Usando métodos formais nem sempre isto é possível. Linguagens de especificação formal não possuem ferramentas como animador ou simulador e muitas vezes não há interface gráfica amigável. Por outro lado elas possuem um compilador, que gera um Sistema de Transições Rotuladas (LTS). A proposta deste trabalho é produzir uma biblioteca, escrita em Java, que fornece componentes gráficos para animar especificações formais. A biblitoteca suporta as principais operacções das linguagens formais, os principais tipos de entradas e de saídas. A idéia é facilitar o processo de animação, fornecendo componentes para uma interface gráfica genérica em um formato de biblioteca que pode ser implementado para qualquer linguagem formal, utilizando apenas o LTS como entrada. Adicionalmente uma ferramenta de visualização de traces é fornecida. Ela permite a visualização das escolhas feitas pelo usuário em um formato de árvore. A intenção é melhorar a compreensão de uma especificação, executando-a, como os desenvolvedores fazem com linguagens como Java e C.


MEMBROS DA BANCA:
Interno - 1258224 - ANAMARIA MARTINS MOREIRA
Interno - 2220777 - DAVID BORIS PAUL DEHARBE
Presidente - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA
Notícia cadastrada em: 09/02/2011 09:23
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa12-producao.info.ufrn.br.sigaa12-producao