• 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
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 1

    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: 2 This Week
    Last Update:
    See Project
  • 2

    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: 9 This Week
    Last Update:
    See Project
  • 3
    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 forum: https://www.modelio.org/forum/index.html.
    Leader badge
    Downloads: 34 This Week
    Last Update:
    See Project
  • 4
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 5
    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: 0 This Week
    Last Update:
    See Project
  • 6
    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
  • 7
    ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    CzeroCase

    Framework for Case Management

    ...The pattern-based approach will involve a wide community interested in creating market specific solution using modularity and extensibility approach, but with a incredible faster time to production. Due to its Open source nature, Czero will avoid any risk of dependency on product by vendors and you be free to choose your own decisions, having always at disposal source code and data to manage every transition.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    (Diver is in the process of being moved to GitHub. Please find us at https://github.com/thechiselgroup/Diver. Support requests & messages sent here may never be seen.) Dynamic Interactive Views For Reverse Engineering. Div/er is a set of Eclipse Plugins that aid developers in understanding software. It uses dynamic analysis and reverse engineering to offer views and filters that aid comprehension and discovery.
    Downloads: 36 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 10
    TerraER

    TerraER

    http://www.terraer.com.br

    TerraER is a free, open-source application that makes the understanding of data modeling much easier. The tool is addressed to academics, specially to support modeling database courses. Come to our web page to download TerrarER: http://www.terraer.com.br/index_en.html ---------------------------------------------------------------------------------------------- O TerraER é um programa gratuito, que facilita o aprendizado de modelagem de dados.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    MetaApp

    MetaApp

    Mobile App designer + interpreter

    MetaApp is a distributed system composed of a central web application and a mobile app for iPhone, iPad or Android mobile devices. The central web application allows to define the functionalities which compose the app. Each functionality can be a list of data and edventually a detail form, supporting the CRUD operations. The app is based on a SQLite local database which can be syncronized with the central database.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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
  • 13
    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: 0 This Week
    Last Update:
    See Project
  • 14
    W3LVisualizer is a general Web-based visual editor. With its extension mechanism, it provides a framework for building custom editors easily. The frontend is writting entirely with HTML and Javascript using AJAX technologies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    DKU is an embedded parallel language, or "piggy-back" language that uses function calls to invoke the language's execution model. It tunes task-size to the hardware while hiding hardware details for high performance portability of parallel code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    pmMDA - poor man MDA - is a pragmatic MDA code generation engine based on Velocity. The implementation is done in Java. The input model is defined using UML tools - e.g. ArgoUML -. Target frameworks are provided to realize complex applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Developed to suport a quickly way to generate a single '.sql' script (create) file using an [Oracle dabatabase conection] containing all DDL information in the database schema.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    JLoc is made in Java and provides analysis of the Lines Of Code(LOC) for any project. Currently, C++,Java,VB,SQL,Makefile and Matlab files are supported. It will count the total number of comment lines, blank lines and actual source code lines. Export fu
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Entirely wrote in pure Java, this code generator take UML models in XMI file format and generate C++ or Java source code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    UMLSpeed is a compiler for a C-style language of UML notation. It can produce SVG UML diagrams, XMI documents and generate source code in various languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    TinyUML is a free software tool for easy and quick creation of UML 2 diagrams. It is implemented for the Java platform. At least Java SE 6 is required.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    Codemon is a testing tool that enables code coverage of C codes. It supports the level of Decision Coverage and Condition Coverage.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    MCC is a UML model consistency checker, built as a plug-in for Poseidon for UML, based on description logics. Provides automated consistency checking of UML models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB