Showing 42 open source projects for "https"

View related business solutions
  • MaintainX is the world-leading mobile-first workflow management platform for industrial and frontline workers. Icon
    MaintainX is the world-leading mobile-first workflow management platform for industrial and frontline workers.

    Trusted by Operational Leaders Across the Globe

    Your day-to-day maintenance tasks, simplified. MaintainX eliminates the paperwork, so you can spend less time on your clipboard and more time getting things done.
    Learn More
  • Planfix: Manage Projects, Team's Tasks and Business Processes Icon
    Planfix: Manage Projects, Team's Tasks and Business Processes

    All-in-One Enterprise-Level Software is Now Available for SMB

    Planfix is like a souped-up business process management system for folks who really know their stuff. It's built to help you dive deeper and gives you more options than your run-of-the-mill project and task management systems. Best part? Even small businesses and non-profits can get in on the action.
    Learn More
  • 1
    StateChum
    ...It contains tools to visualise the resulting grammar as a finite state machine and to actively contribute to the inference process. The repository has now moved to https://github.com/kirilluk/statechum
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    SEPIA: Security-oriented PN Framework

    SEPIA: Security-oriented PN Framework

    Petri net framework for security related modeling and reasoning.

    ...To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). To use SEPIA, make sure these libraries are on the build path. SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/) The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    JAGAL: Java Graph Library

    JAGAL: Java Graph Library

    Java graph library

    ...JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    BioGears

    BioGears

    Human Physiology Engine

    This project has moved to GitHub https://github.com/BioGearsEngine/Engine
    Downloads: 0 This Week
    Last Update:
    See Project
  • Modernize Your Lab with the #1 Rated LIMS Icon
    Modernize Your Lab with the #1 Rated LIMS

    Labs that need a powerful LIMS system

    Nothing is more critical to a lab’s success than the quality, security, and traceability of samples. The Lockbox LIMS system provides robust sample management functionality to laboratory professionals, giving them full visibility on every aspect of a sample’s journey, from accessioning to long-term storage.
    Learn More
  • 5
    PETRILab

    PETRILab

    Simulador de Redes de Petri Interpretadas para Controle

    ...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: 5 This Week
    Last Update:
    See Project
  • 6
    YAKINDU Statechart Tools / itemis CREATE
    ...It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    StarUML NS

    StarUML NS

    SINVAS(StarUML NS) is re-developed by StarUML developers in Qt.

    As of 2014-07-18, this project may now be found at https://sourceforge.net/projects/sinvas/. SINVAS(StarUML NS) is re-developed by StarUML developers in Qt. As a newly launched project, StarUML NS has been mainly driven by developers who had created the StarUML. By strengthening the advantage of existing StarUML version and making up for the shortcoming of, the project’s goal wanted to be a modeling platform that could illustrate the modeling from possessed information, beyond UML modeling tool. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    TextUML Toolkit is an IDE for UML that lets you create models at the same speed you write code by using a textual notation instead of the conventional graphical one. This project is now hosted on github. https://abstratt.github.io/textuml
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    This project moved permanently to https://github.com/DoUML/douml
    Downloads: 0 This Week
    Last Update:
    See Project
  • Online Project Management Platform - Zoho Icon
    Online Project Management Platform - Zoho

    A plan put together with small businesses and startups in mind.

    Zoho Projects is a cloud-based project management solution that helps teams plan, track, collaborate, and achieve project goals.
    Learn More
  • 10
    PostgreSQL Database Modeler
    ...Do not forget to detail the bug and if possible attach a screenshot or model database which expressed the bug. Follow the pgModeler profile on Facebook/Twitter and be up-to-date with new features, fixes and releases. https://www.facebook.com/pgmodeler https://twitter.com/pgmodeler
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11

    Trike

    Computer-aided threat modeling

    Trike is a platform-independent tool for systematic, computer-assisted threat modeling, from requirements through deployment. We are developing Trike v2 on GitHub (https://github.com/octotrike/trike). Our mailing lists are still here on SourceForge, and we're leaving the old code repository & releases up for archival purposes. Plus you probably want to use something while you're waiting for v2.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome
    Downloads: 28 This Week
    Last Update:
    See Project
  • 13
    This project has been forked to DoUML: Go to https://sourceforge.net/projects/douml/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Dresden OCL
    Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Toolkit for Jboss Seam - JPA - JBPM - etc based applications. See https://sourceforge.net/apps/mediawiki/openicartoolkit/index.php?title=Getting_started
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    ...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
  • 17
    *** This tool has been superseded by ".Net Architecture Checker" at https://sourceforge.net/projects/dotnetarchitect/ ***. (ILDASM-Dependency Checker checks code dependencies in .Net projects to ensure a stable architecture).
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB