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

• Type: Article in International Conference Proceedings Book
• Date: 2011

Authors

Carlos A. L. Nunes (Author) FEUP; Ana C. R. Paiva (Author) FEUP

Conference proceedings International

Title: The Sixth International Conference on Software Engineering Advances

Pages: 399-404

The Sixth International Conference on Software Engineering Advances (ICSEA 2011)

Barcelona, October 23-28

Scientific classification

FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering

CORDIS: Technological sciences > Technology > Computer technology > Software technology

Other information

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 6