Geração Automática de Interfaces Gráficas a partir de Especificações VDM++
Na conclusão do meu mestrado integrado em engenharia informática, realizei a minha tese de mestrado sobre o tema de “Geração Automática de Interfaces Gráficas a partir de Especificações VDM++”. O resultado desse trabalho, além da dissertação e da obtenção do grau académico, foi a criação de uma ferramenta Java de geração automática de interfaces (VDM++ GUI Builder). A ferramenta apesar de não se encontrar em versão de produção, permite que um utilizador interaja com uma especificação VDM++ sem recurso a um interpretador de linha de comandos. Adicionalmente, a interface gráfica gerada pode ser posteriormente alterada pelo utilizador.
VDM++ GUI Builder
Descrição, manual de utilização e screencast.
Apresentações
Duas apresentações sobre o trabalho realizado (a ferramenta VDM++ GUI Builder é também introduzida).