WeblyWalkThrough

Webly Walk-Through is a Web API prototyping server driven by VDM-SL.

Copyright (c) 2014 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 WeblyWalkThrough

WeblyWalkThrough Web Site

Other Useful Business Software

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Rate This Project

User Reviews

Be the first to post a review of WeblyWalkThrough!

Additional Project Details

Registered

2015-04-07

Similar Business Software

Creatio

Creatio is a global vendor of an agentic AI-native CRM and workflow automation platform that combines no-code development and AI to automate customer journeys and business processes with maximum flexibility. The platform includes Creatio Studio, enabling users to build applications and AI...

See Software
Retool

Retool is the AI-native enterprise app development platform where teams build and ship production-ready apps — at AI speed, with enterprise governance built in. Describe what you need and get a working app, import React-based apps from Lovable, Replit, or Claude Code, or connect your AI agent...

See Software
Mako Server

The Mako Server is a compact, event-driven web and application server designed for resource-constrained systems. Engineered for embedded environments, it combines a lightweight HTTP/HTTPS server with a Lua scripting engine, enabling high-level development with direct access to low-level C code....

See Software
Appenate

Reduce Paper-Based Work With Our Drag-n-Drop App Builder. Create Data-Driven Apps That Empower Your Business. Mobile & Desktop. No Coding Required. A no-code platform for creating data-driven apps to replace paper forms across all industries. Use our versatile drag-n-drop software to...

See Software
Ionic

The Ionic Platform allows you to bring your apps to market faster with an integrated app platform built on the leading cross-platform mobile SDK. Build, secure, and deliver new mobile apps—and transform existing ones—across iOS, Android, and Web platforms from a single codebase. Full...

See Software
Lunacy

Lunacy is a vector graphic software for UI/UX and web design. It's faster than Figma, smarter than Sketch! Key features: * FREE for personal and commercial use * Runs on Windows, macOS, and Linux * WORKS ONLINE AND OFFLINE You can work both with cloud and local documents. It's up to...

See Software