A Project of the Software Engineering
and Soft Computing Group at the Alpen-Adria Universität Klagenfurt - Austria
line decor
line decor

Welcome to the website of the ViZ Project


"Specification languages are write-once languages?" Formal specifications are too complex? (...) These and other such believes are typically around when trying to put more focus on a formal software development process. The same reservations among students can be experiences at lectures at Universities. So, what to do?

As quite a lot of sayings and believes contain a grain of truth, the ViZ project tries to deal with this situation and, finally, wants to come up with a set of tools that can be used as other wide-spread IDEs and that deal with typical impediments of formal specifications (complexity, notation, prediction).

The environment resembles a patchwork-quilt, but, with the forthcoming integration into the latest Eclipse environment, a lot of features will be available.

ViZ Supporters:

uni  SESC 



Upcoming Presentation(s):
Aug. 28th, 2012: Full paper at WS-FMDS 2012, Paris

Recent Presentation(s):
Oct. 28th, 2011: Full paper at ICFEM 2011, Durham

Jun. 20th, 2011: Full paper at UMLFM 2011/FM 2011, Limerick

Aug. 15th, 2012: After a hacker-attack, the new webpage goes, finally, online