Search Results for "engineering software"

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.

EJE is a simple Java editor, perfect to learn Java, without learning a complex development tool. EJE is multi-platform (written in Java), light- weight, user-friendly and have several useful basic features. A good help to start with Java! Supports the study of the Java for Aliens book (www.javaforaliens.com), or other my books (Italian Language) like www.nuovojava.it. You don't need to install the JDK anymore (the runtime is embedded). See the video "How to create the "Hello World App in...

Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example

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 Verilog editor is a plugin for the Eclipse IDE. It provides Verilog(IEEE-1364) and VHDL language specific code viewer, contents outline, code assist etc. It helps coding and debugging in hardware development based on Verilog or VHDL.

Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations

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

Asterix IDE (Integrated Development Environment) is especially designed to provide many languages supports in one IDE. Asterix IDE offers superior support for JAVA, C/C++(mingw32-g++) and HTML developers to write, compile and run their code at one place. Asterix IDE lets you quickly and easily make program with multiple programming language support. With its constantly improving Java Editor, many rich features and an extensive range of tools are provided. An IDE is much more than a...

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.

JUDO is a Java IDE for children and beginning programmers. JUDO is designed to be an educational tool to teach programming concepts and to spark excitement and interest in programming.

This project is an eclipse plug-in aiming to link the eclipse UML2 tools to the eclipse JDT. The leading idea is to use the UML editors as code editors. With a reverse engineering functionality, avoiding a generation process allows to use easily UML

xMxmlCompiler is an eclipse plugin that provides an Eclipse Builder on mxml resource changes and a GUI to the Flex 4 compiler (mxmlc) of the open SDK. It run on GNU/Linux and Windows eclipse platform version.

Pure Java IDE for brainfuck, which follows the principle of KISS.

The MML Framework is a temporal-spatial biological model representation language. The MML Project provides the application tool set which facilitates the goals of representing biological models using the MML specifications.

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.

this is an eclipse Distro meant for SWE642 students and can be used by other introductory courses in web development.

Blocks is a block-oriented graphical programming language. Programming is simply a matter of dragging and dropping blocks. Blocks can be used as an education language, as an extension language for Java applications or as an autonomous script language.

ManMetAssembly is an assembly simulator wirtten in Java. The aim is to replace "Sim8086" used in universities, as well as enhancing the simulator by proviging fetch-execute cycle information, as well as features oftern found in modern IDEs.

ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.

FIRSTclipse is a set of plugins for the Eclipse IDE that allows for full development for FIRST entirely inside of Eclipse.

j2moose is an eclipse plugin to export java and jsp source code to a format understood by the Moose reengineering environment.

mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.

Struts-It provides comprehensive support for developing Struts-based web applicatons. It is based on Eclipse 3.1 and well integreted with WTP 0.7. Supports Struts 1.1, 1.2 and JSTL.

YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.