• AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • IT Asset Management (ITAM) Software Icon
    IT Asset Management (ITAM) Software

    Supercharge Your IT Assets, the Easy Way

    EZO AssetSonar is a comprehensive IT asset management platform that provides real-time visibility into your entire digital infrastructure. Track and optimize hardware, software, and license management to reduce risks, control IT spend, and improve compliance.
    Learn More
  • 1
    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
  • 2
    Volta is a suite of development tools for distributed, hard real-time systems. It includes Cascade, a control flow analysis tool for Java, and Clepsydra, a worst-case execution time analyzer. Also included is a Clepsydra plug-in for jEdit.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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
  • 4
    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
  • Deliver and Track Online and Live Training Fast and Easy with Axis LMS! Icon
    Deliver and Track Online and Live Training Fast and Easy with Axis LMS!

    Axis LMS targets HR departments for employee or customer training,

    Axis LMS enables you to deliver learning and training everywhere through a flexible and easy-to-use LMS that is designed to enhance your training, automate your workflows, and engage your learners.
    Learn More
  • 5
    BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    ICT-Alive
    The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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
  • 8
    Extending Alloy with Dynamic Behaviour
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    RES is a pure Java based Open Source Cobol to Java translator. It creates maintainable Java code for a subset of VS Cobol syntax. It has been developed with JDK, JTB and Javacc.
    Downloads: 7 This Week
    Last Update:
    See Project
  • Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK. Icon
    Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK.

    With Ditto Edge Server, you can join devices as small as a Raspberry Pi to a local mesh network and synchronize data across edge environments.

    Ditto's Edge SDK is the only thing your edge devices need to ensure your application is operational in any environment, regardless of network conditions.
    Learn More
  • 10
    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
  • 11
    Strandz is an API that enables developers to connect users with their data. It is the middle layer that connects a Java Swing UI with Data Objects, employing a strict Model/View/Controller structure to enable the rapid development of maintainable cod
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    It is a supplement of version control system to support software development. It helps programmers to track personal working time spending on source files, and to easily find experienced people who may help you to comprehend certain code fragment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    OpenSoul Metamodeler is a MOF 1.4 based metamodeling tool. It is built on Enki repository (originaly Netbeans MDR) and JGraph component.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    ROMA want to change the way to do Web Applications. It's a Java framework totally POJO based and designed with the concepts taken from Ruby On Rails. The current release is full working and allows to build Ajax Web Apps with database and CRUD in minutes
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Jefe SDWMS
    Jefe is a Workflow Management Solution in a form of a web portal that unifies the enterprise information and applications in the domain of Software Development. It integrates CASE tools which are highly use in the industry of software engineering.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Lucarere de an la obiectul appoo. Implementare unui plugin ce ar permite crearea, modificarea diagramei de clase in IDE eclipse. Ca functionalitati de ar mai putea include generearea claselor, si reverce engineering.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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
  • 19
    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
  • 20
    The open source eclipse plugin providing UML 2.1 diagrams editor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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
  • 22
    GraphTK is a graph-generation toolkit. Providing a GUI frontend, it enables you to generate graphs describing build systems (Make, Ant) and API (Java APIs) dependencies. The generated graph data can be stored in common data formats like GraphML or GML. This project is no longer actively developed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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
  • 24
    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
  • 25
    Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB