LivelyWalkThrough Files

A GUI prototyping tool on top of VDM-SL specification

Brought to you by: tomooda

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
LivelyWalkThrough-1.0.zip	2015-04-07	30.9 MB	0
Totals: 1 Item		30.9 MB	0

Other Useful Business Software

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Start Free

99.99% Uptime for MySQL and PostgreSQL Databases

Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.

Start Free

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Start Free

Recommended Projects

OpenQuasar
Definition of a Java-based standard software architecture for business applications and development of configurable software components. QUASAR is an abbreviation for QUAlity Software ARchitecture, an effort initiated by sd&m research center.
DataScript Tools
DataScript Tools for formal specification and automatic decoding of binary data formats. NOTE: This project has moved to http://developer.berlios.de/projects/datascript/.
Tockit
Tockit tries to build a framework for Conceptual Knowledge Processing (CKP) and Formal Concept Analysis (FCA) in Java, using a component-based approach, XML formats and a three-tier architecture.
Gellish - A Product Modeling Language
Formalized English (o.a.) for standardized information exchange
secureStrings
secureStrings is an ISO C99 library for the secure and convenient processing of strings on Unix-like operating systems. The design goal is to provide an implementation that can be proved by means of mathematical methods to be consistent with its formal specification.

LivelyWalkThrough Files

A GUI prototyping tool on top of VDM-SL specification

Get an email when there's a new version of LivelyWalkThrough