LivelyWalkThrough

A GUI prototyping tool on top of VDM-SL specification

Brought to you by: tomooda

Add a Review

Downloads: 0 This Week

Last Update: 2015-04-07

Download

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

Lively Walk-Through is a GUI prototyping environment that drives VDM-SL specification.

Copyright (c) 2013 Research Center for Architecture-Oriented Formal Methods, Kyushu University
The development of this program is supported by Grant-in-Aid for Scientific Research (S) 24220001
Architecture Oriented Formal Approaches to High Quality Software Development

Project Activity

See All Activity >

License

MIT License

Follow LivelyWalkThrough

LivelyWalkThrough Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of LivelyWalkThrough!

Additional Project Details

Registered

2015-04-07

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

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.