• Simple, Secure Domain Registration Icon
    Simple, Secure Domain Registration

    Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

    Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
    Sign up for free
  • Get the most trusted enterprise browser Icon
    Get the most trusted enterprise browser

    Advanced built-in security helps IT prevent breaches before they happen

    Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
    Download Chrome
  • 1
    PETRILab

    PETRILab

    Simulador de Redes de Petri Interpretadas para Controle

    O PETRILab é um software multiplataforma desenvolvido inteiramente em Python. Ele permite a modelagem e simulação de Redes de Petri Interpretadas para Controle (RPIC), tendo suporte a todos seus elementos: lugares, transições, arcos ordinários e inibidores, eventos, condições e ações. Com uma interface gráfica simples e intuitiva, o usuário consegue modelar e simular passo-a-passo sua RPIC de forma rápida e prática, afim de estudá-la e aprimorá-la. Além disso, o software conta com uma conversão automática de RPICs em diagramas Ladder, como proposto no artigo de M. V. Moreira e J. C. Basílio [1]. Para utilizar o programa, baixe a versão mais recente em https://sourceforge.net/projects/petrilab/files/, extraia no local de preferência e execute o arquivo 'petrilab.pyw'. [1] M. V. Moreira e J. C. Basílio, “Bridging the Gap Between Design and Implementation of Discrete-Event Controllers”.IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERIN
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    PLiX (Programming Language in XML) is an XML-based code-generation framework. Generators produce XML matching the PLiX.xsd schema, which can be formatted into multiple languages. Extensible formatters support C# and VB.NET in Visual Studio 2005 and 2008
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/
    Downloads: 1 This Week
    Last Update:
    See Project
  • Level Up Your Cyber Defense with External Threat Management Icon
    Level Up Your Cyber Defense with External Threat Management

    See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

    Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
    Try for Free
  • 5
    SINVAS

    SINVAS

    Software Engineering Full Life Cycle Support Tool

    SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ * SINVAS CRY - Cloud computing based online modeling tool : http://cry.sinvas.com/ Thank you for your continuous interest and encouragement.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    TAT is a tool to aid in producing a list of Actors, Use Cases, Candidate Classes and Attributes from a plain text file of a statement of requirements by highlighting words and clicking on the appropriate button or menu item. Results saved as text or XML.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    This project targets to develop a visual UML editor for the popular Eclipse IDE. The visual UML editor plugin is fully compatible with the Eclipse Framework and allow developers easily to model and document their software through the UML2 diagrams.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    XACML-Studio is an authorization policy editor implemented as a web application that allows importing, creating, editing, exporting policies defined in XACML 2.0 specification. Intuitive UI and DB-based repository improves policy creator's experience.
    Downloads: 1 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    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
  • 10
    Yaoqiang XPDL Editor
    Yaoqiang XPDL Editor (YXE) is a graphical editor for workflow process definitions, compliant with WfMC specifications( XPDL 2.1 and 1.0 )
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    freebpmnquality — QualiBPMN

    freebpmnquality — QualiBPMN

    Free software to validate BPMN business process diagrams.

    ABOUT This is a free, client-side tool for evaluation of BPMN business process model quality and correctness. This tool helps to check BPMN diagrams and find modeling mistakes. HOW TO USE? Extract the downloaded archive and open analytics/index.html file in the web browser (it is recommended to use Google Chrome, Mozilla Firefox, or Microsoft Edge) OR use it online here >> https://freebpmnquality.github.io/services/analytics/
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Python vipera

    Python vipera

    vipera is an application designer for Python

    vipera is a designer of applications for the programming language Python. It has two main objectives: 1) The design of an application from an educative point of view, paying special attention to the documentation and design of classes. 2) The automatic generation of base code for software projects. vipera is a combination of basic tools for the design of applications in the early stages of development, allowing the creation of modules (libraries) and definition of their basic characteristics, such as classes, functions, records, constants and import modules. The design of classes is done graphically, by means of a code similar to UML. It includes an inverse engineering option, that is, from Python scripts, classes and relationships are identified and represented graphically.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    SPE is a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    Lightweight include files adding reflection capabilities to C++. Generates SQL queries and serialization routines. STL-style iterations over class members. Compile-time / run-time reflection. Based on templates and meta-programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    A MOF 2 for Java is an implementation of the new OMG MOF 2 Recommandations. It provides an enhanced JMI interface to utilize new Java features, such as generics, and new MOF/UML features, like property redefinitions and subsettings.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    a framework library with a template method interface and inheritable classes for an executable process design which produces an executable which is both a GUI and a console application. It provides multi-threading for work items of the provider process .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Adaptive Work-Centered User Interface Technology (ACUITy) utilizes semantic technology in an ontology-based approach to modeling and implementing intelligent user interfaces.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    The project aims to create a web based database administration tool, with expansion into automatic code generation from the database schema. The code allows creation and removal of databases, tables and fields via a web browser.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Eclipse plug-in that implements an approach under research, for automatic derivation of Framework-Specific Modeling Languages with code generation capabilities. The approach relies on Aspect-Oriented Programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Architectural Models and Views (AMAV) is a set of tools to manage architecture models and create architectural views.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    APCO means Adaptive Parallel COmputing framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Graphical programming environment that provides easy to use even for beginners.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ArastoUML is a project of interaction between aras innovator datamodel and UML
    Downloads: 0 This Week
    Last Update:
    See Project
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.