Search Results for "flow based programming"

Framework, Application construction set and M(umps) - API In the MINISYS environment it is possible to create in a few hours very complex business software like invoice programs, bookkeeping programs and many other. The main programming language is M (ISO-M).

EMFTrace extends the EMFStore repository by elicitating dependencies between related models of different modeling and programming languages. The explicit recording and modeling of different types of dependencies as traceability links shall support evolutionary changes by impact analysis, early evaluation of quality flaws, and better comprehension. It is an open source project to support the practical application of research results regarding development methods for evolution of software...

This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

SMARD is a development environment that simplifies the programming of applications based on mobile agents. Using a graphical interface, programmers can design, build and launch mobile agents which are intended to run on JADE platforms.

Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .