Search Results for "vdm"
Sort By:
Showing 10 open source projects for "vdm"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
LivelyWalkThrough
A GUI prototyping tool on top of VDM-SL specification
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 -
2
WeblyWalkThrough
Web API server by VDM-SL
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 -
3
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
-
4
VDMPad
a simple Web IDE for VDM-SL
VDMPad is a simple Web IDE server for VDM-SL based upon VDMJ and Squeak Smalltalk. You can launch a VDMPad Server on your Mac or Linux PC and open "http://localhost:8085" with your browser. Although VDM does NOT run on Windows platforms, you can use Windows/iOS/Android devices to open VDMPad running on Mac or Linux server. -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
The DESTECS Integrated Design Environment (IDE) is a new computer based solution for the development of embedded control systems.
-
6
-
7
Coupling VDM++ to UML 2.1.2 in a bidirectional transformation. Done as a VDM++ specification and implemented in Java for Eclipse as a sub component to OvertureTools.
-
8
-
9
This project aims for providing a tool that enables strict verification in VDM++ by translating VDM++ specification into Event-B.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.
- Previous
- You're on page 1
- Next
