• Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    The database for AI-powered applications.

    MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
    Start Free
  • Cloud-based help desk software with ServoDesk Icon
    Cloud-based help desk software with ServoDesk

    Full access to Enterprise features. No credit card required.

    What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
    Try ServoDesk for free
  • 1
    OverCASE

    OverCASE

    A cross-platform integrated CASE system

    An integrated CASE system that: • Supports multiple views and stages of project development – from keeping track of reference documentation to analysis/design modelling, to project implementation, roll-out and tracking the project-related issues. • Supports distributed development of projects by multiple participants, while proactively enforcing access control rules and auditing changes. • Is available on all platforms where development takes place (Windows, Unix/Linux, MacOS,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Work Case Toolkit 0.4 beta 1

    Support variant based Java program execution, adapted to support MDE.

    Work Case Toolkit is a tool that provides variant based program's execution. Our main goal is to define an API that we can use embedded into any Java application to support dynamic execution based on variant flows. The variants are controlled by a graph decision using features diagrams relationships. The project was originally planned in 2005 to support Model Driven Architecture OMG approach, focusing specially on the management of architectural changes and models transformers. The main...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    Z Word Tools

    Write, check, index and diagram Z specifications in Microsoft Word.

    Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 4
    Modelio - Modeling environment (UML)

    Modelio - Modeling environment (UML)

    Modeling tool supporting UML, BPMN and other standards

    Modelio is an open source modeling environment tool providing support for the latest standards (UML 2, BPMN 2, ...). It can be extended by adding modules which add new functionalities. A large set of modules (free and open source) supporting code management (generation/reverse), modeling standards (TOGAF, SysML, SoaML, ...), document generation, ... is available from the Modelio Store (https://store.modelio.org/). Need help or want to share experience with the Modelio community? Go to our...
    Leader badge
    Downloads: 79 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    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 security. Auth0 now, thank yourself later.
    Try free now
  • 5
    ObjectBuilder2

    ObjectBuilder2

    C++ CASE tool, full life cycle code generator

    ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Olympos
    Olympos is an holistic MDA/MDD approach to projects. It allows to create Web (PHP, J2EE), Desktop (c#) and Mobile applications (.NET, J2ME) from a UML model. Features a Web 2.0 IDE, a generator based on openArchitectureWare and several cartridges.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    JS/UML is a plugin for the Eclipse IDE that reverse-engineers JavaScript code to a UML model which can then be used to generate documentation and other artifacts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Business Automation Software for SMBs Icon
    Business Automation Software for SMBs

    Fed up with not having the time, money and resources to grow your business?

    The only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.
    Learn More
  • 10
    Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    Taylor
    Taylor MDA is a specialized UML modeling tool based on Eclipse. It uses convention-based techniques to generate the maximum code from streamlined UML models. Templates are included for generating JEE applications based on JPA/EJB3 and JSF/Seam/Facelets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    EMFTrace

    Repository for dependencies between software design artefacts

    EMFTrace extends the EMFStore repository by elicitating dependencies between related models of different modeling and programming languages. The explicit recording and modeling of different types of dependencies as traceability links shall support evolutionary changes by impact analysis, early evaluation of quality flaws, and better comprehension. It is an open source project to support the practical application of research results regarding development methods for evolution of software...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    NRL is a near-English, model-driven language for expression business constraints, actions and transformations. It works with diverse models, such as UML or XML Schema, and is designed to make it easy to translate to target languages like Java or XSLT
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Provide Eclipse plugins that support the CA Plex application development tool
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    xuse requirements & use case management
    Xuse manages requirements, use cases & other artefacts that drive software design. Xuse focuses on clear documentation & communication. It defines an XML data model for requirements & use cases with XSLT providing multiple derived views: HTML/SVG/PDF. Note there is no GUI for entering requirements, however another project (https://sourceforge.net/projects/xguse/) will provide a GUI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The Coverage Simulator transforms test models. The satisfaction of a weaker coverage criterion on the target model corresponds to the satisfaction of a stronger coverage criterion on the source model. Thus, it supports many model-based test generators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    JPEd is a graphical editor for processes descriptions. It uses the XPDL 1.0 interchange format as specified by the WfMC.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    This is a graphical editor and code generator for Live Sequence Charts (LSCs). The code generated follows a simple execution mechanism. It shows a possible execution path. We have added a new local action construct, i.e. a self method call.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A simple visual editor for drawing OPJ models; these models represents an extension to the classic Petri-net diagram; they were developed before the unification of OO methodologies and the relative release of the first UML specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Djinn is a java bytecode static analyser. It can produce various dependencies graphs of arbitrary granularity (jars, classes, packages, etc.) and provide a flexible query engine. Update 15 apr 2013: I resumed developpement recently, project has moved to https://github.com/fabienbk/djinn
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next