Search Results for "linux terminal"

This is the repository to host all those Harbour's contrib libraries and applications which could not comply with strict Harbour project goals but had the potentiality to march into the future. The goal is to keep this repository parallel with Harbours contrib and use the same build system which Harbour uses. This way it will be possible easily to shift any library/application from here to Harbour or vice-verse. As I am totally ignorant of Harbour's build system, it will be appreciated...

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

== MOGUT A GITHUB: https://github.com/GovernIB/genapp == A partir d'una bbdd en postgresql o oracle, genera totes les capes d'una aplicació web: model, jpa, ejb, logica(ejb), web i webservices. Caracteristiques: * Incorpora un llenguatge d'alt nivell generat per realitzar consultes a bbdd de forma que l'aplicació es pot construir sense haver d'escriure ni una linia de codi SQL. D'aqui que qualsevol canvi produeixi errors de compilació i no d'execució com passava amb el codi SQL. *...

A C++ unittest framework, written out of frustration with the existing unittest frameworks out there. No GUI with colorful progress bars, no dependencies on any other package in the world.

BlockIt provides a Python framework to scan and parse a program file into constituent nested blocks, however defined, forming a block tree of your code and can be used as a mechanism to "extend" in some sense, the underlying programming language.

Agile development with Java. JAVA EE Rich Internet Application Generator for jBoss Seam Framework. jGenUI produces java code integrated with Seam, Richfaces and Hibernate. More information at http://www.jgenui.org

Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.