View on GitHub

ViennaTalk

ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk

Pharo version Build Status Build status License

ViennaTalk logo

ViennaTalk ~ Live and Formal

ViennaTalk is a Smalltalk library to handle VDM-SL specifications.

Introduction to VDM Browser ViennaTalk: Types, Values and Objects ViennaTalk: Code Generation

Table of Major Components of ViennaTalk

What’s new in the latest release

You can still manually configure ViennaTalk “Maribor” on Pharo 6.1 (64bit) with a limitation that use of VDMJ is limited only via remote site (default https://vdmpad.viennatalk.org). This limitation is from the OSSubprocess package that ViennaTalk uses to execute VDMJ process.

You can debug an auto-generated Smalltalk code with its source VDM specification on Smalltalk debugger, and step-execute by granularity of the source VDM specification.

How to use

The ViennaTalk Launcher provides quick access.

ViennaLauncher

The tools menu provies shortcuts to the tools, such as VDM Browser, Lively Walk-Through and so on.

ViennaLauncher tools menu

The ViennaTalk menu will be available in the World menu.

World->Tools menu items for ViennaTalk

Settings

You can open the Settings dialog from either Tools»settings… menu of ViennaLauncher or System»Settings menu of the World menu.

settings menu of ViennaLauncher

Then the Settings Browser opens.

SettingsBrowser

If you want to setup the font for VDM sources, you can click on the font to open a font chooser dialog.

FontChooser dialog

The update button will read all available fonts in the system. You can then choose the font family and point size, and press OK.

Acknowledgement

Part of the ViennaTalk project is supported by Grant-in-Aid for Scientific Research (S) 24220001 and Grant-in-Aid for Early-Career Scientists 18K18033 from the Japan Society for the Promotion of Science.