Search Results for "work"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

...It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of complexity. Even if you use loop-references if OO hierarchy, you need include only one project-level header file. You can easy modify and refactore existing project with cut/copy/paste ANY object (from Method Argument to entire Project) within project and between ObjectBuilder projects. ...

...XGAP was born in 2003 at the UNICEN University as a tool for creating web applications for the intranet. At first, the platform was PHP and PostgreSQL. Nowadays generated applications work with PostgreSQL or Oracle databases, but all ADOdb databases can be supported. DISCLAIMER: Right now XGAP is /not/ internationalized or localized. All messages are written in Spanish and assumes Argentinian locale.

PAS2PHP will translate a large subset of Object Pascal to PHP, allowing you to write web applications using Lazarus/FreePascal, and then run the application on a standard HTML/PHP server. Over the last week, a lot of work has gone into PAS2PHP. Most of the major issues are resolved. There are still a number of incompatibilities which are either not fixable, or have simple workarounds. As of v0.5, you should be able to write entire PHP applications in Pascal. The key to coding for PAS2PHP is to understand the limitations of PHP. Read the example code provided, and always check the outputed PHP code to understand how this works. ...

Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment and validation. Cress aims to make service design as easy as possible without requiring specialist development knowledge. ...

The Controlled Variables project is a set of header files for C++ developers. These files allow you to create controlled variables instead of using bare int, float, long, etc. Controlled Variables ensure you always use initialized variables. The project includes the generator. (IMPORTANT: If you're here just to get the header files, go to the Download area and get the file ending in _header-x.y.z.tar.gz as the other one is just the program used to build those header files!)

ANY Database employing SQL, any system, any task TRANSFORM Your SQL between DBMS, different languages and from slow SQL to fast one, transform any of Your redundant task to work in organized and sustainable manner.

Application defines templates of VHDL structures, which allows us comfortly generate most used VHDL structures. It can also work with VHDL testbench templates from which can be created VHDL testbenches of existing projects.

This is an android preprocessor derived from antenna. It is simpler and its intended to work as an eclipse plugin and as an standalone ant task, useful for console/hudson compiling.

The Open Game Studio is a project that targets game developers (mostly hobbyists). The goal of this project is to create a development environment that focuses on developing the game content. An engine that can run the created games is in work too.

WSDL2XForms generates XForms for the operations of a given WSDL file. The tool is implemented using Java and XSLT.

ANOTHER GUI interface for Wix. Makes creating simple microsoft installers incredibly easy. Takes the work out of wix / What good is a candle without a flame?

mda4eclipse is a domain-driven and model-driven development eclipse plugin. Its purpose is to present a way of using different project sites to work together and establish a shared development environment.

Logistic is a web application and php standalone libraries. It's work in progress...

The Catalsyt Framework is a refinement on the MVC framework. It provides greater focus on user business workflow rather than application workflow. It's goal is to enable business analysis and developers to work closer.

GUI Generator creates screens folks can use 2 do CRUD (create, review, update, delete) on tables in a DB. Makes fully internationalized & accessible screens so users can search, edit, run reports & much more. Help buttons work! Uses any DB w/JDBC drivers

From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.

Group-CCS development Components, templates, tools, accessories, tutorial, modules, translations, documentation, codes, scripts, everything that can improve the work of who uses the powerful tool of development, CCS - CodeCharge Studio.

Mister Model is a code generation system. It takes a UML model expressed as XMI and generates source code specifically designed to work in a cross-platform web service environment. It fixes the legendary 'Serialization Failed' messages in web services

RefleXiveCMS is a general purpose PHP component framework. An easy to understand architecture allow independantly developped components to work together. It comes with lots of ready to use goodies and code generators will get you started immediately.

This PHP script create php-gtk files using glade V1. The V2.0 is not supported yet. It dosen't remove your functions created while you recall the script, it updates the sources file along your work.

JTools.Ruby is easy way to access Java 2 class-files via scripts written in Ruby language. There are class-file disassembler, assembler and simple Ruby to Java bytecode compiler. The work is at the start point.

DataBase to Java Web Application. This java application automatically generates a java web application framework from an existing database. The original codebase comes from the excellent work of Herve Tchepannou\'s xPetstore.

Mamba is a extensible xml templates preprocessor wrote in Python. Using it, you can rapidly develop powerful applications ready to integrate with the internet. It can be used to work as a generic CGI program or for generate content.

To Facilitate and speed GUI development involving java swing. How many times have you been feeling frustrated after spending hours and hours trying to choose the right LayoutManager and making it to work the way you want it to be. How many times have yo