• 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
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 1
    The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    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
  • 3
    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
  • 4
    MINISYS for the WEB
    Framework, Application construction set and M(umps) - API In the MINISYS environment it is possible to create in a few hours very complex business software like invoice programs, bookkeeping programs and many other. The main programming language is M (ISO-M).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS 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
  • 5
    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
  • 6
    (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: 44 This Week
    Last Update:
    See Project
  • 7
    This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    PostgreSQL Database Modeler
    ** ATTENTION ** THIS PROJECT HAS MOVED TO: https://github.com/pgmodeler/pgmodeler New releases only will be available on GitHub. PostgreSQL Database Modeler, or simply pgModeler is an open source project of a CASE tool for modeling PostgreSQL that merges the classical concepts of modeling using entity-relationship diagrams with specific features that only PostgreSQL implements. The pgModeler translates the models created by the user to SQL code and apply them onto database...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9

    Simple Use Case Documentation Tool

    A simple tool to document use cases.

    This is a simple tool with a user interface to key in use case text and spell out PDF documentation. Each use case will have the following captured. 1) Use Case Name 2) Page over view. 3) Pre conditions 4) Wireframe (image) 5) Business Rules 6) Main Flow 7) Alternate Flow 8) Post Condition 9) Error scenarios 10) Technical details Usability Features: 1) Open existing usecase for editing. 2) Save copy of a use case with new use case name. 3) Retain use case export order. 4) Information messages are shown in notification bar with 'fade' effect. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 10
    NIProjects contains several libraries mainly intended for Java programmers. It includes TableLayout, GuiLib and Datamappers libraries.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    PHPFIT is a PHP5 port of the Framework for Integrated Test (FIT) http://fit.c2.com/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Java Server Faces (JSF) CRUD generator plugin for Eclipse.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    tool to test privates and use patters
    With dp4j.jar in your project classpath you directly access private members in your tests, w/o Reflection API boilerplate code; It also generates Design Patterns code and compile-time validates implementations. And Compiler & Co work for you again!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Редактор схем в соответствии с требованиями ГОСТ 19.701-90.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    JSPWikiWinWin Involves the requirement negotiation and elicitation in software engineering and improves the negotiation process based on WinWin Spiral Model, which supports the negotiation in different locations and time
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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
  • 18
    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
  • 19
    Allows screen sharing over email, or through 'conversations' with contacts, so that when a contact receives a screenshot it's automatically displayed with its default image viewer.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Extending Alloy with Dynamic Behaviour
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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
  • 22
    DB Designer Fork
    DB Designer Fork is a fork of the fabFORCE DBDesigner 4. It integrates entity relationship design,front-end (you can run queries) and SQL exporting.DB Designer Fork generates SQL scripts for Oracle, SQL Server, MySQL, FireBird, SQLite and PostgreSQL.
    Leader badge
    Downloads: 81 This Week
    Last Update:
    See Project
  • 23
    JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    DSML4MAS Development Environment
    The Domain Specific Modeling Language for Multiagent Systems (DSML4MAS) is a platform independent language for specifying multiagent systems. The DSML4MAS Development Environment (DDE) is a model-driven development environment based on DSML4MAS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ANOSE is a web application (a web site) that allows software engineers to collect information about software projects and perform statistical analysis on the data collected. A key goal in ANOSE is to provide an easy to use user interface and efficient da
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
Auth0 Logo