Search Results for "vdm"

x
Sort By:

Showing 6 open source projects for "vdm"

View related business solutions
Windows Clear Filters & Widen Search
  • Our Free Plans just got better! | Auth0 by Okta Icon
    Our Free Plans just got better! | Auth0 by Okta

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
    Try free now
  • Bright Data - All in One Platform for Proxies and Web Scraping Icon
    Bright Data - All in One Platform for Proxies and Web Scraping

    Say goodbye to blocks, restrictions, and CAPTCHAs

    Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
    Get Started
  • 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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    VDM.net So how can I call you My Dear Project?
    Downloads: 0 This Week
    Last Update:
    See Project
  • PRTG Network Monitor | Making the lives of sysadmins easier Icon
    PRTG Network Monitor | Making the lives of sysadmins easier

    Stay ahead of IT infrastructure issues

    PRTG Network Monitor is an all-inclusive monitoring software solution developed by Paessler. Equipped with an easy-to-use, intuitive interface with a cutting-edge monitoring engine, PRTG Network Monitor optimizes connections and workloads as well as reduces operational costs by avoiding outages while saving time and controlling service level agreements (SLAs). The solution is packed with specialized monitoring features that include flexible alerting, cluster failover solution, distributed monitoring, in-depth reporting, maps and dashboards, and more.
    Learn More
  • 5
    DESTECS
    The DESTECS Integrated Design Environment (IDE) is a new computer based solution for the development of embedded control systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The VooDooM project aims at developing open source support for the VDM language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories