Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder

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++ specificat...

Full description

Bibliographic Details
Main Author: Carlos A. L. Nunes (author)
Other Authors: Ana C. R. Paiva (author)
Format: book
Language:eng
Published: 2011
Subjects:
Tecnologia de software, Engenharia electrotécnica, electrónica e informática
Software technology, Electrical engineering, Electronic engineering, Information engineering
Online Access:https://hdl.handle.net/10216/91591
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/91591

Internet

https://hdl.handle.net/10216/91591

Similar Items