Browse free open source UML tools and projects for Windows and ChromeOS below. Use the toggles on the left to filter open source UML tools by OS, license, language, programming language, and project status.

  • Passwordless Authentication and Passwordless Security Icon
    Passwordless Authentication and Passwordless Security

    Identity is everything. Protect it with Duo.

    It’s no secret — passwords can be a real headache, both for the people who use them and the people who manage them. Over time, we’ve created hundreds of passwords, it’s easy to lose track of them and they’re easily compromised. Fortunately, passwordless authentication is becoming a feasible reality for many businesses. Duo can help you get there.
    Get a Free Trial
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving 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.
    Download Now
  • 1
    BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE. It uses adaptive monitoring to automatically adjust the target coverage. COMPAS is completely portable across J2EE application servers and OSs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    JLayerCheck checks package dependencies in Java projects to ensure that they match the desired architecture. Packages are grouped into modules and dependencies are specified. It can also find cycles and orphaned classes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    This project is a java web application developer toolbox. It is among other, a simple and powerful framework which does not require dealing with XML files. It also provides a lot of other features, such as a DB abstraction layer, a nice javadoc doclet, a
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    MMUnit is an Eclipse based framework for testing metamodels. It provides a graphical editor for test specifications and smoothly integrates with JUnit.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    NHag - NHibernate Automated Generator - is an advanced Codegenerator. Based on the hbm.xmls it can produce class code (in VB.NET and C#), Cell- and MVP-based abstraction layers and test scenarios (Test-DB and Unit Tests) for the generated classes. It's
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving 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.
    Download Now
  • 10
    PROCOL space-based framework for multi-core. Based on LighTS (http://lights.sourceforge.net/). More to come soon ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    SQLOrm focuses on mediating database interaction rather than shielding the user from it. SQLOrm consists of 3 major parts. A dynamic query builder. A prepared statement layer. A resultset to object graph mapper, supporting batch inserts/updates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Site Hopper
    Semi-automated exploration of all page links inside a web application. Produces a map (i.e. a graph) of all links between pages, including relationships on HTTP request parameters and form input fields.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    TRUC is a web-based tool for requirement and use case tracking. It has fileupload, discussions, version control, usecase history, build and release management. It supports assignment of requirements & use-cases to releases and filtering over all fields.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    XJML

    XJML 1.0 is a platform for Verification and Validation of Java classes

    XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.