• Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1
    SOA4All Design Time Composer (DTC) is a tool service that automates some process modelling tasks at design time and it is integrated into the SOA4All Process Editor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    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: 1 This Week
    Last Update:
    See Project
  • 4
    An Unit Test tool for PowerBuilder Applicatoin development. Command line support mode and xml result generation make it easily fitting into CruiseContol integration server.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 5
    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
  • 6
    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
  • 7
    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
  • 8
    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
  • 9
    This project has been forked to DoUML: Go to https://sourceforge.net/projects/douml/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    Requirement Heap is a web based requirement management /business analysis application. It allows to enter requirement in rich text, supports versioning and the management of requirements. It also handles use cases, interviews and test cases. It allows multiple projects. Stakeholders and glossaries can be handled per project or globally.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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
  • 14
    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
  • 15
    Simple UML is an extremely simplified modeling tool for requirements, use cases and concepts. The tool is built on Hakaya Studio 3.5.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    BPMN & POEM (Process Oriented Enterprise Modelling) Package Of Plugins contains Visio stencil and templates for integrated organizational and business process modelling.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17
    GGredit is library that implements base functionality for a generic graphic editor. DDraw is a diagram editor designed for Gnome that use GGredit. DDraw is inspired to DIA, it can be used to draw many different kinds of diagrams.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Extending Alloy with Dynamic Behaviour
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Sigerar
    Sigerar is a software requirements management tool. Currently available only in Brazilian Portuguese.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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
  • 21
    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
  • 22
    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
  • 23
    BCS Sourceforge Donate Control
    Mr. Arch Brooks, Software Engineer This application produces a donate button used by Sourceforge projects. https://bcsjava.com/blg/bcs/article.php?story=20100823161323933
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    RekZit
    RekZit is a requirement management web tool attempting to speed a system's requirement elicitation, documentation and management. Its main feature is the separation of template and information, presenting data in different ways to different people.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    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
MongoDB Logo MongoDB