Search Results for "information technology"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

tIDE is a small but powerful and full featured opensource Java integrated development environment (IDE)

The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.

JSDAI is a toolkit for STEP (ISO 10303), the STandard for the Exchange of Product Model data, that enables linking of CAD, CAM, PDM, PLM, CAx systems. JSDAI supports the development of Express data models (ISO 10303-11) and their implementation in Java.

Eclipse Hex Editor Plugin (EHEP) is an Eclipse plugin which allows user to view or modify any file in hex mode.

Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.

Eclim is a set of eclipse and vim plugins to integrate the two projects.

The new XVR Developer Studio is based on Eclipse. It allows to create and manage XVR projects, to author s3d and glsl code, to compile, debug and execute scripts in an HTML page. Currently only for Windows user. It needs an installed JRE >= 1.6

Scrum Vision V3 is an Eclipse Mylyn connector that use Google SpreadSheet as a Scrum Product Backlog. Scrum Vision has moved to www.scrumvision.org You'll find more information and tutorials, issue tracker, and update site.

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

The open-source project for development, analysing and installation of (Asset-Control) Asset Data Model(s), through Eclipse.

BianLian Framework plan to establish a cross-platform, cross-language, JSF .NET like solution. To make all the GUI (both JSF .net and so on) INDEPENDENT to implementation. PS, BianLian is the famous Chinese art with about 1000 years history.

With ShortcutJava you can write Java code with shortcuts such as multiple-exception catches and aliases. You can also create new shortcut plugins. It has an Ant task for compiling with Ant. The shortcuts will work with ANY version of Java!

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

Colorer provides source text syntax highlighting services. It colorizes source codes in editor systems (more than 200 syntaxes). Uses powerful HRC format(XML, RE, context free grammas), allowing to support any language. Available as Eclipse plugin.

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute...

Facebook & Google chat plugin for eclipse. The look and feel and chat texts are in perfect camouflage that your colleagues will not even have the slightest idea that you are chatting. :) Key features * Facebook and Google Instant messaging * Show / Hide offline friends * search friends in your buddy list * Enable / Disable logmode chat texts * Keep accounts offline, when busy * Notification in chat window's tab Also visit homepage for download and usage...

This project has moved to http://d3web.sourceforge.net. All information about d3web-KnowWE can be found there and on www.d3web.de

Set of hints and refactor features for Java language in NetBeans IDE

Web on OfficeFloor. Distribution of the web functionality available on OfficeFloor for use in JEE containers. This is to enable easier adoption by developers of the simplified web development with OfficeFloor.

This Eclipse plugin adds some features to the Remote System Explorer, allowing the user to: 1) Open a file by providing a file path. 2) Save the paths of the selected files/directories to the clipboard. 3) Backup/restore a file/directory.

Java Source editing framework. Starting from common model for source editing, it will end up as an implementation of advanced source editor under various legacy platforms. Will be implemented as platform plug-in/add-on.

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

A plugin for IntelliJ IDEA that will enable support for the PHP language with high-level language features such as code completion, class hierarchy, refactoring.

upl:"universal programing language" is a platform that help new comers and children to learn programming. this platform helps to create programing languages for all languages and all purposes. eventually the languages are translated to java.