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. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
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.
-
Build Securely on AWS with Proven FrameworksMoving 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.
-
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
