Search Results for "edk tool kit"

The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.

This project adds CMake support to the Eclipse C Development Tool Kit (CDT). CMake is cross-platform free and open-source software for managing the build process of software using a compiler-independent method. It is designed to support directory hierarchies and applications that depend on multiple libraries. It is used in conjunction with native build environments such as make, Apple's Xcode, and Microsoft Visual Studio.

Tool-Kit aplication for system Integration, using java frameworks.

Xcarecrows4XML completes Eclipse to handle the tasks required by an XML workflow. It offers: a graphical XML, XML Schema and XML stylesheets editor; a graphical XML tree comparator; a built-in checker against XML Schemas; an XSL transformations tool kit.

The G11NToolKit is a collection of programs/components to support the internationalization (I18N) and localization (L10N) engineering processes.

This tool allows you to include netlist-files into EDK-projects themed into IP-Cores.

a tool-kit for creating "web 2.5 generation", include several useful stuff to work with semantic web (otology editor, gui for sparql query, ontology components...) and design RIAs's gui visually (html + ajax based apps, flash based apps,...)

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.