PopED (Population Experimental Design) is a software tool for computing optimal experimental designs. The software has been developed with an emphasis on drug trials based on population models (non-linear mixed effects models).
A tool for parametric model checking of UPPAAL models.
UPPAAL PARMOS (UP) is a parameter sweep application built specifically for UPPAAL, with the ability to distribute parameter sweeps across multiple computing resources, such as large clusters or cloud computing resources. UP also provides the ability to direct the parameter sweep using multi-objective heuristic search algorithms to reach optimal or near optimal parameters faster.
UP is expandable through the use of plug-ins, with regards to both types of computing resources and search...
DCS3D will be a semi parametric and freeform 3d modelling and automated 2d output add on tool kit for AutoCAD. These tools will aid in the design and detailing of structural elements with the main focus being on structural steel and associated struct
The Sequence Diagram / MSC Generator is a tool to generate Sequence Diagrams from a textual description. The diagrams (bmp, png, wmf, and emf) are conform to UML2 standard (Sequence Diagrams) und to SDL standard (Message Sequence Chart).
Koolon is a simple graph (network) modeling tool with interactive data visualization like Prefuse. It allow to create entities, relations, ontologies, directed and undirected graphs and any abstract network models.
It's an infrastructure helps engineers to develop enterprise software solutions in Microsoft .NET easily and productively which consists of an extendable and maintainable web system architecture with a suite of generic business model, APIs and servi
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
This SolidWorks tool is used for calculating Laser/Plasma bounds, thickness, number of pierces, materials and labour costs, quanties etc... from active 3D models.
Simple implementation of finite state machine concepts.
The project contain ease-to-use library and modeling graphical tool.
Project define simple identical API for Finite State Machines for both language bindings (C# and Java).
*** This tool has been superseded by ".Net Architecture Checker" at https://sourceforge.net/projects/dotnetarchitect/ ***. (ILDASM-Dependency Checker checks code dependencies in .Net projects to ensure a stable architecture).
Phorm is an ORM (Object Relational Mapping) tool for php and .net.
It works as a plugin of DBDesigner, a freely available tool which allows to graphically design a database schema.
Cooperator is on the one hand, a base class library for Object Relational Mapping, ORM, and by another one, a tool of code generation for for the MS.Net 2.0/3.0, using Business Objects and Stored Procedures. DAL, ORM, UOW, FACADE, MAPPER, MODELING ...
The tool uses reverse engineering to build UML diagrams for C# project. It automates the displaying of connections between objects and provides convenient synchronization of code and diagrams.