CloudlyWalkThrough

Brought to you by: tomooda

Last Update: 2015-04-07

Cloudly Walk-Through is a diagram editor with VDM-SL animation.

Copyright (c) 2015 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 CloudlyWalkThrough

CloudlyWalkThrough Web Site

Other Useful Business Software

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Rate This Project

User Reviews

Be the first to post a review of CloudlyWalkThrough!

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.
TuringIDE
TuringIDE is an integrated development environment (IDE) for simulating Turing Machines with multiple tapes and states. It offers debugging tools, XML import/export, and other advanced features for scientific experiments on formal symbol allocations.
Gellish - A Product Modeling Language
Formalized English (o.a.) for standardized information exchange
PADIC
A multilingual Parallel Arabic DIalectal Corpus
VooDooM
The VooDooM project aims at developing open source support for the VDM language.