Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/91591
Autor(es): | Carlos A. L. Nunes Ana C. R. Paiva |
Título: | Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder |
Data de publicação: | 2011 |
Resumo: | The Vienna Development Method is supported by several tools. These tools allow generating Java code from a VDM++ specification but do not generate a graphical user interface (GUI). This paper aims to describe a generic approach and tool to automatically generate a GUI in Java from a VDM++ specification. The generated GUI calls methods of the VDM++ specification, which allows testing the specification itself in order to increase confidence that it is an accurate description of the intended behaviour. This GUI may evolve to interact with the already supported generation code in Java (for the API) in order to obtain a complete application from a VDM++ specification based on a fully automatic code generation process. |
Assunto: | Tecnologia de software, Engenharia electrotécnica, electrónica e informática Software technology, Electrical engineering, Electronic engineering, Information engineering |
Áreas do conhecimento: | Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática Engineering and technology::Electrical engineering, Electronic engineering, Information engineering |
URI: | https://hdl.handle.net/10216/91591 |
Fonte: | The Sixth International Conference on Software Engineering Advances |
Tipo de Documento: | Artigo em Livro de Atas de Conferência Internacional |
Condições de Acesso: | restrictedAccess |
Aparece nas coleções: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
60257.pdf Restricted Access | 482.95 kB | Adobe PDF | Request a copy from the Author(s) |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.