Search Results for "language" - Page 42

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...

InPUT offers a descriptive and programming language independent format and IoC (Inversion of Control) container for the configuration and design of computer experiments. Code and more info can be found on github: http://github.com/feldob/InPUT

Dove is an integrated development environment for D programming language based on Eclipse(plgin for eclipse).It provides IDE features such as code completion, outline view, preference, debugger.

UsiXML4ALL allows the creation of multiplatform software using the UsiXML user interface description language. UsiXML4ALL files are currently being prepared and organized for uploading to sourceforge. Source code and more information will be available so

iTTCP means "integrated TTCP". The project integrates the TTCP compiler into Eclipse environment and allows so developing and running testcases, specified in TTCN-3 language.

We created a Compiler which accepts a user friendly input similar to natural language, and create in output a pdf with the draw of the designed block diagrams, in order to have a simple and nice paint of the Systems he needs, We defined the structure to draw: BLOCKS, INPUT VARIABLE, CONNECTOR NODE, OUTPUT VARIABLE, ARROW, CURVED ARROW. With those elements the user has the possibility to create his own Block Schema based on the esigence he has.

Compiler and virtual machine of a new programming language similar to pascal with learning proposals for computer science engineering students.

Etch is a cross-platform, language- and transport-independent framework for building and consuming network services. With Etch, service development and consumption becomes no more difficult than library development and consumption.

This is an open multi-language web based job application for managing job applications. This is a web-based Java application made using IT Mill Toolkit and Mootools frameworks.

Meta-tooling platform to speed and simplify construction of full-featured Eclipse-based language-specific IDEs. PLEASE NOTE: This project has moved to: http://www.eclipse.org/imp

The zCOBOL portable mainframe COBOL compiler with support for compiling multiple dialects of COBOL into any one of several target language executable programs including HLASM compatible mainframe assembler, Java, C++, or Intel assembler. All downloads and other information are kept at the z390 project site; see the home page link for more information.

This project is java version of the SQL functions as defined by the Transact-SQL programming language for the MS SQL 2000. It is pure 100% Java implementation for the famous SQL Functions such as CONVERT, PATINDEX or DATEDIFF.

*** NO LONGER MAINTAINED *** The Inform 7 Feature for Eclipse is a set of plug-ins which will support cross-platform development of interactive fiction projects in the Inform 7 language. The current version is tested under Linux and Windows.

PAGEB is an easy to use tool to create videogames. With PAGEB is not necessary to known any programming language, nor to master complex game development techniques, to create high quality games. All you need is a good game idea and time to develope it.

Providing an extremely-easy-to-use GUI for editing Openbravo ERP's language xml files, aiming for a colaborative work where a localized community (usually from the same country) works over the same files to generate a new complete translation quickly.

This project focus on the html/excel/chart report generation, written with Java language and html/javascript. Data source of report is from RDB. This tool is useful to those j2ee projects need to deal with reports creation.

This is a issue and bug tracking system written in Java and JavaFX language. The main purpose of this software is to provide access to issues by mobile, desktop and web interface.

DFruits is an eclipse framework for creating UI declaratively by xml for business applications. It supports query binding such as jdbc sql, 'scripted queries' or even JPA query language.

Cross-language and cross-platform user's action tracking framework,enabling researchers to respect user's privacy through visual controls which allow users to start/stop/pause data recording,view logged data and opt out of a research study.

Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.

Development tool are a batch of Eclipse plugins(Model Designer,Page Designer,Flow Designer,Depolyer,Code Generator) that allow designing BPDL(Business Process Definition Language),generating muti-framework sourcecode,deploying to different servers.

Integrated environment for the modelling and simulation of process control systems, where the plant(s) are described according to the Modelica object-oriented paradigm, while the control systems are specified in an IEC 61131.3-compliant language.

The application takes the pseudo code as an input and generates the necessary C code for the same logic. Thus the software can be used to produce the results just with the use of logic and there is no special importance given to a specific language in which the pseudo code should be implemented, instead there is a complete focus on the logic itself. The system to be designed must be user friendly, so that even if the end user or the client is technically illiterate he should be able to operate it efficiently. This software will provide an effective, accurate low cost system.