USE: UML-based Specification Environment download

USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system.

The USE documentation can be found on the project homepage linked below.

Downloads for the most popular plugins can be found here:
http://sourceforge.net/projects/useocl/files/Plugins/

Project Samples

Analyzing a part of the UML 2 meta model

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow USE: UML-based Specification Environment

USE: UML-based Specification Environment Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5

User Reviews

Filter Reviews:

All

ashwinv09 Posted 2014-08-18

Simple, easy to use environment for validation of OCL queries. Plenty of documentation also available. Extremely helpful
philiplanger Posted 2014-01-23

Great software with very nice and responsive developers! Thanks! Keep it up!
tfileme Posted 2013-05-27

Useocl is good! Thanks.

2 users found this review helpful.
britoeabreu Posted 2011-05-25

We have been using OCL in several Experimental Software Engineering research projects at the QUASAR group in Portugal. The USE tool has been used intensively and successfully in those projects for many years. Thank you guys at Bremen University! Fernando Brito e Abreu (QUASAR group leader)

1 user found this review helpful.
henocque Posted 2010-01-12

a great program that I've been using for several years to teach OCL in ESIL, Marseille. Thanks Mark and Martin. Laurent

Additional Project Details

Intended Audience

Developers

Registered

2009-03-12

Similar Business Software

Innoslate

SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface. Innoslate’s full...

See Software
DbVisualizer

DbVisualizer is one of the world's most popular database editors. With almost 7 million downloads and Pro users in 150 countries worldwide, it won't disappoint you. Free and Pro versions are available. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to...

See Software
TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

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
Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. We are SOC 2 Type 2 certified. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same...

See Software
Extism

Extism is an open-source, universal plug-in system to make all software programmable, and it's powered by WebAssembly. In-depth documentation, constantly updated as the project grows. 15+ officially supported Host SDKs, making Extism embeddable in the most popular languages. 7+ officially...

See Software