Search Results for "linux 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.

Code Replicator is a general purpose interactive programmer's tool for creating large blocks of similar code from list(s) of variables. It uses case inference to detect common programming patterns. It can create stupid code faster than you!

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.

Blocks is a block-oriented graphical programming language. Programming is simply a matter of dragging and dropping blocks. Blocks can be used as an education language, as an extension language for Java applications or as an autonomous script language.

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.

A few simple refactoring tools developed according to the KISS principle. The focus is to refactor C++ code but almost any programming language should work. Tools: Rename, Detect duplicate code

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 .