Search Results for "design"

...On one side, eCxx supports the original megaAVR series (ATmega328P, ATmega1284P, ATmega2560, ATmega32U4, AT90USB1286, etc.) as well as the new megaAVR 0-Series (ATmega4808, ATmega4809, etc.). On the other side, while eCxx is primarily designed to work in NodeMCU, it should also support other ESP-12 based design as well as ESP-01 based design. The Makefile build system and some of the tools would only run on Linux. However, the library source code should be portable enough to be built using other build systems for AVR and NodeMC

QTest is a perl-based test framework for testing programs written in any language. It supports a "design for testability" mentality, user-defined test coverage, filters, and multithreading support. Includes documentation.

...If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ * SINVAS CRY - Cloud computing based online modeling tool : http://cry.sinvas.com/ Thank you for your continuous interest and encouragement.

...If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ 5) SINVAS ALM - Management of software development projects and methodology Thank you for your continuous interest and encouragement.

**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net

Catsfoot provides to C++ concept checking, overloading with concepts and concept testing to C++ 2011 as a library.

SymtaP is a performance analysis tool to determine the worst case execution time for embedded real time applications.

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.

InPUT offers a descriptive and programming language independent format and IoC (Inversion of Control) container for the configuration and design of computer experiments. Code and more info can be found on github: http://github.com/feldob/InPUT