• Corpus ID: 231639371

Proceedings of the 18th International Overture Workshop

  title={Proceedings of the 18th International Overture Workshop},
  author={John S. Fitzgerald and T. Oda and Hugo Daniel Macedo},
Interactive systems are often equipped with graphical user interfaces using complex states, constraints and computation to bridge between the rest of the system and the user. Elements on a graphical user interface are dynamically created, laid out, styled and set up by event handlers according to the internal state of the system. This paper introduces ViennaVisuals, a framework to construct XML-based abstract graphical user interface models in VDM-SL which is illustrated with an example. 


The overture initiative integrating tools for VDM
The mission is to both provide an industrial-strength tool set for VDM and also to provide an environment that allows researchers and other stakeholders to experiment with modifications and extensions to the tools and language.
Towards a Language Server Protocol Infrastructure for Graphical Modeling
The vision to decouple graphical language IDEs discussing the alternatives for integrating LSP's ideas in their development is presented and a novel LSP infrastructure is proposed to simplify the development of new graphical modeling tools.
A UML-based Environment for System Design Space Exploration
A UML-based SoC modeling approach mixing simulation and formal verification techniques, experimented for the design of a telecommunication system using SystemC or LOTOS tools.
An overview of the ISO/VDM-SL standard
An overview of theVDM-SL, the notation incorporated in the formal method VDM, is presented, including a report on the current status of the standardization effort.
Design patterns: elements of reuseable object-oriented software
The book is an introduction to the idea of design patterns in software engineering, and a catalog of twenty-three common patterns. The nice thing is, most experienced OOP designers will find out
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification
  • T. Oda, K. Araki, P. Larsen
  • Computer Science
    2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
  • 2015
This paper proposes tool support specialised for the earlier stages of development that involves incremental and exploratory production of a formal specification, and describes the VDMPad tool, as well as its features supporting incremental and exploreatory development.
Combining VDM with Executable Code
An approach which allows formal models to be more easily shared with external stakeholders and enables integration with external code and how an existing interpreter for an executable subset of VDM is extended enabling the combination of formal models with executable code is presented.
Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol
Evidence is given based on a case study and a corresponding SWOT analysis that it is even more beneficial for a textual domain-specific language (DSL) as it is often used in MDSD to integrate a DSL into different development tools (editors and IDEs).
The Chinook hardware/software co-synthesis system
The Chinook co-synthesis system addresses the automation of the most time-consuming and error-prone tasks in embedded controller design, namely the synthesis of interface hardware and software needed to integrate system components, the migration of functions between processors or custom logic, and the co-simulation of the design before, during and after synthesis.
PVSio-web 2.0: Joining PVS to HCI
PVSio-web is a graphical environment for facilitating the design and evaluation of interactive (human-computer) systems and has been successfully used over the last two years for analyzing commercial, safety-critical medical devices.