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 TamanhoFormato 
60257.pdf
  Restricted Access
482.95 kBAdobe 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.