Search Results for "computer-aided software engineering"

Tahoe is a research-oriented platform for the development of numerical methods and models for the simulation of complex material behavior.

QCS is a quantum computer simulation written by Philipp Jungmann, Torsten Mandel and Maximilian Plenert as a software project under Dr. Michael Winckler (IWR) and Dr. Jian-Wei Pan (PI), University of Heidelberg.

MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step...

Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the...

Synthetic Biology Software Suite (SynBioSS) is composed of a wiki for biochemical kinetic constants, a graphical interface for simulating synthetic biological pathways, and a simulator that runs on either a desktop or supercomputer.

breve is a free, open-source 3D multi-agent simulation package designed for simulating decentralized systems and artificial life.

Virtop is a software providing solution for simulating computer networks with scenarios on a single machine. It is mainly intended for education purposes like organizing practice classes in computer networks in the universities.

ALC (Automated Layer Construction) is a computer program that highly simplifies the building of reduced modular models of signaling systems, according to the layer-based approach.

A MUD "totally" written in Perl. It runs an engine which relies on a extensible Perl MudLib and interprets user-programmable scripts in a fashion that reminds the old-time LPC MUD, but now everything is in Perl. It uses Perl v.5.10.0 and SQLite 3.3.7.

ModelicaFloChrt is a script/Perl process that extracts information from Modelica library html help files and generates flow charts of module connectivity in eps and pdf formats.

STOCHSIM is a stochastic simulator for biochemical reactions. The particles are represented as individual software objects which react according to probabilities derived from concentrations and rate constants. Simple spatial structures can be built.

A graphical microcode simulator with a reconfigurable datapath.

gen_names populates customer/invoice tables with random (but realistic looking) data. The data has been gathered from various sources including census and local council web sites. It is supposed to be used to road test various DBMS solutions.

The Collaborative Testing System (CTS) tests parallel software using various implementations of MPI. It works on multiple platforms and supports batch systems including LSF, LCRM and workstations without a batch system. It includes a numerical diff tool.