Open Source Standard ML UML Tools
Sort By:
Standard ML UML Tools
View 5887 business solutionsBrowse free open source Standard ML UML Tools and projects below. Use the toggles on the left to filter open source Standard ML UML Tools by OS, license, language, programming language, and project status.
-
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.
-
Solve Your Real-world Business Challenges From A Single Timesheet With Powerful Built In IntegrationTimeControl is a multi-purpose timesheet system designed to serve both Finance and Project Management. TimeControl has been designed to serve many purposes simultaneously. TimeControl tracks time on a task-by-task, project-by-project basis. Yet, despite its project-based controls, it remains a financial timesheet with all the controls necessary to fulfill the stringent needs of payroll, human resources, billing and finance. TimeControl is available both for subscription in the cloud or for purchase for an on premise installation and includes both a browser interface and the free TimeControl Mobile App for iOS and Android devices.
-
1
The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.
-
2
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
- Previous
- You're on page 1
- Next