Search Results for "computer aided software engineering"

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

GOFG Sports Computer is a free GPS tracking software for your smartphone which allows to record your workouts. In addition it allows to sozialize your sports experience by sharing your exercises on gofg.at, facebook and twitter. The most important features are: - GPS tracking of your training - upload workouts to gofg.at and share them using twitter and facebook - analyze your exercises using a map-display & altitude graph - keep track of various statistics like ODO-meter - ships...

Mac OS X and Windows OpenGL 3D Engine tools, content and code to create games and applications. Newton physics, OpenAL sound with OGG Vorbis, Lua, Revolution, written in C.

The program Virtual Network Simulator for Web 2.0 is a tool that allows the simulation of assembly and configuration of computer network projects, virtual or physical. It also simulate the sending of a package between the hots of origin and destinati

Futures Gateway is a not-for-profit educational project for children (primarily ages 8 - 18) and their families. It uses interactive and collaborative activities, especially Wiki and HTML document and media management software, videoconferencing, chat, b