[[https://feupload.fe.up.pt/get/5ha1WqS7BkkgQS9|Download]]

<cssmenu> * **[[:en:start|English]]** </cssmenu> ==== 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. * [[ vdmppguibuilder:start | VDM++ GUI Builder ]] ===== Apresentações ===== Duas apresentações sobre o trabalho realizado (a ferramenta VDM++ GUI Builder é também introduzida). * [[http://feupload.fe.up.pt/get/V31QaSzw1BG3tXx | Apresentação em português]] * [[http://feupload.fe.up.pt/get/Gz9VRLgdArdiG7G | Apresentação em inglês ]] ===== Tese e Sumário ===== * [[https://feupload.fe.up.pt/get/eUeJ1xpEXqrpC9O|Dissertação]] * [[https://feupload.fe.up.pt/get/ESJKxWVCUlD7vM6|Resumo do Trabalho Realizado]] ===== Código-Fonte Ferramenta ===== * [[ vdmppguibuilder:source | Código-Fonte ]] ===== Notas Pessoais ===== * [[ private:personal | Notas Pessoais ]] \\ ~~NOTOC~~