Showing 96 open source projects for "software solution design"

View related business solutions
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 1
    chex4j
    Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Catsfoot provides to C++ concept checking, overloading with concepts and concept testing to C++ 2011 as a library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    A VM containing a turn-key solution for continuous integration with source code control, build management, automated testing, security analysis, defect tracking, and project management, all using open source tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 5
    TUTU is an automated testing system which finds inconsistencies between a system and its specifications, by using a combination of a number of techniques, such as Design by Contract, test data generation, mutation testing and invariant detection.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Java wrapper for the VMware VIX API.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    The pycurry project is targeted for handling concurrency issues within the Python programming language. It also contains a (almost) fully functional 'Design by Contract' implementation.
    Downloads: 0 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
    Writing Testbenches for FPGA/ASIC design is always a very fastidious and boring task. This project helps any FPGA/ASIC designer by providing a full RTL test environment with C support.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    This project contains a set of tools for formal verification and static analysis of VHDL design.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    A small mock library that is extremely easy to learn with plenty of examples. Only has 5 classes for the api. See http://mocklib.sourceforge.net for good tutorials.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    SymtaP is a performance analysis tool to determine the worst case execution time for embedded real time applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Tensor is a tool written in Ruby that helps provide an estimate on the cost of change on test source code based on a radical change in design on production source code, especially around branch execution code. It works with the JRuby interpreter also on
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Simple, light-weight Java class (100% pure Java) for generating lorem ipsum placeholder text. Lorem ipsum text can be used to create sample data for design evaluation, test cases or performance tests in (Java) applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Specter is an object-behaviour specification framework for .NET and Mono. It enables behavior driven development (BDD) by allowing developers to write executable specifications for their objects, before actually implementing them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    WebLOAD
    This project is intended for ISVs, SIs and software developers who need to integrate load generation engine into their applications. For enterprise load and performance testing initiatives, RadView offers WebLOAD Professional, a complete solution for creating, executing and analyzing the performance of web applications under load.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    FakeSMTPServer is a solution for testing web-based products that require a "unique" email address. Instead of being a "real" smtp server, this server forwards all email to a single email address, or can output them to the console instead.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    beanSpec is a java based solution for Behaviour Driven Development, specifiying, checking and summarizing the behaviour of a component in a declarative, narrative style.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    A simple library for providing Design by Contract functionality for Java projects, using AspectJ and annotations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ExcelTemplate is a Java class meant to simplify the use of Excel spreadsheets for acceptance tests. The motivation and design of this class is inspired from Spring JdbcTemplate.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    Reflexive provides a clean way to handle string literals, by dynamically resolving properties and methods.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    The home site is www.ppassistant.com Help Forum www.ppassistant.com/forum This is meant to be the ultimate framework. Not only is it an open source PHP/MySql framework, but it's also a development toolkit. It also has programs and tools.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Libraries and tools to support software design using executable code as specifications, to support Test Driven Development and other Agile methods.
    Downloads: 0 This Week
    Last Update:
    See Project