Coupling Overture to UML download

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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Coupling Overture to UML

Coupling Overture to UML Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB 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.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Coupling Overture to UML!

Additional Project Details

User Interface

Eclipse

Registered

2009-01-12

Similar Business Software

All in One Accessibility

It is an AI based accessibility tool to enable websites to be accessible among people with hearing or vision impairments, motor impaired, color blind, dyslexia, cognitive & learning impairments, seizure & epileptic, ADHD, & elderly. It installs in just 2 minutes. It reduces the risk of...

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Twilio

Design and deploy your ideal customer engagement experience. Twilio is a single fully-programmable platform with flexible APIs for any channel and over 400+ integrations, backed by a community of over 9 million developers. Build accurate and personalized experiences for your customers, easily...

See Software
Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software
JOpt.TourOptimizer

JOpt.TourOptimizer is an adaptable component to solve VRP, CVRP, and VRPTW class problems for any route optimization in logistics or similar fields. JOpt.TourOptimizer gives full access to modern optimization strategies and already includes many useful functions and algorithms to model...

See Software