Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/91591
Author(s): Carlos A. L. Nunes
Ana C. R. Paiva
Title: Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder
Issue Date: 2011
Abstract: The Vienna Development Method is supported byseveral tools. These tools allow generating Java code from a VDM++ specification but do not generate a graphical userinterface (GUI). This paper aims to describe a genericapproach and tool to automatically generate a GUI in Javafrom 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.
Subject: Tecnologia de software, Engenharia electrotécnica, electrónica e informática
Software technology, Electrical engineering, Electronic engineering, Information engineering
Scientific areas: 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://repositorio-aberto.up.pt/handle/10216/91591
Source: The Sixth International Conference on Software Engineering Advances
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: restrictedAccess
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
60257.pdf
  Restricted Access
482.95 kBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.