Thursday, November 19, 2015


Live translation VDM-SL into Smalltalk

The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems.

The VDM Specification Language (VDM-SL) can be lively translated into Smalltalk as this video using Pharo proves:

Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?