Search Results for "education software in java"

ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level...

Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

StochKit is an extensible stochastic simulation framework developed in C++ that aims to make stochastic simulation accessible to practicing biologists and chemists, while remaining open to extension via new stochastic and multiscale algorithms. StochKit is part of the StochSS project [http://www.stochss.org/], and we are relying on continued funding for sustained development. Please consider registering to show your support. Register here:...

A simple editor for PlantUML. Requires PlantUML (and its dependencies, java and graphviz/dot). Some features: * update the diagram while editing * code assistant to insert ready-made code snipets * written in Qt4, so it should run on all platforms supported by Qt4 and PlantUML * option to cache the PlantUML output to speed redo, undo and loading from disk * can be used as a PlantUML viewer (see the wiki for more info)

That project aims at studying the impact of IT systems interactions on traveller demand and airline revenues. Passenger demand is generated (Monte Carlo) and injected into simulated CRS and airline IT systems. Differential analysis is then performed on various changes compared to a bottom line scenario.

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.

E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.

CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.

This program is used to create and solve queueing network models using Mean Value Analysis using a GUI front end and the WX widget library.

This is a collection of tools and a code library to assist engineers who are developing SystemVerilog based verification environments. Components include utility libraries, scoreboard and shutdown manager implementation, register tool, etc.

An army of ARM assembly language tools.

Quantum Mechanical Toolkit And 3D Viewer for C++. Allows Data Visualisation via Images, Surfaces and Volume plots using OpenGL, as well as rapid development Quantum Mechanical Simulations. Uses the Blitz++, VTK Visualisation and Qt Libraries.

ServiceComposer is a tool to develop composite Web services using the Model-Driven Architecture principles and UML 2 modeling language. More precisely, the modeling language used in a UML 2 profile called UML-S (UML for Services engineering). A class

System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.

SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

2D-GraLab is a program that is dedicated to automatically generating schematic representation of nonbonding interactions across the protein binding interfaces.

pmMDA - poor man MDA - is a pragmatic MDA code generation engine based on Velocity. The implementation is done in Java. The input model is defined using UML tools - e.g. ArgoUML -. Target frameworks are provided to realize complex applications.

A PetriNet editor/simulator/analyser.

The AccessMusic project provides a set of tools for creating accessible music which are freely available to download. These tools allow you to convert music scores from traditional western music notation to formats for the Blind and visually impaired.

a framework library with a template method interface and inheritable classes for an executable process design which produces an executable which is both a GUI and a console application. It provides multi-threading for work items of the provider process .

LPOO3d é uma ferramenta de visualização de informações baseada em Ogre3d desenvolvida por alunos da UPE para projetos de Linguagem de Programação Orientada a Objetos (JAVA).

Entirely wrote in pure Java, this code generator take UML models in XMI file format and generate C++ or Java source code.