Search Results for "scientific plotting software"

Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.

GUI utility in pure Java for viewing and editing XML content; example of application built with Superficial http://superficial.sourceforge.net

The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.

BANAL - Banal And Not A Language. A prototyping notation compatible with Java and C# (via the largest possible common footprint between the two).

KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.

This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

GISWidgets is a set of reusable UI widgets for geographic applications (GIS), such as referencing dialogs, legends, styling widgets or map panes. The project is based on GeoTools (in Java) and supports several GUI toolkits (e.g Swing, SWT). Note that, while functional, this library is not developed any further.

jDSM is a Java library for representing and analyzing Design Structure Matrices (DSM). It can be used to analyze any Java software with regards to modularity.

Runtime library for the JUndo language. See http://verdantium.blogspot.com/

JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/

MultiJADS is a domain independent multiagent active design documents shell. It uses multiagent technology to support activities in concurrent and distributed design systems and is based on the Active Design Documents (ADD) approach.

Design and develop Recommendation and Adaptive Prediction Engines to address eCommerce opportunities. Build a portfolio of engines by creating and porting algorithms from multiple disciplines to a usable form. Try to solve NetFlix and other challenges.

Java objects that share parts of immutable graphs. Reused subgraphs have directly or indirectly recursive Elements. Selected components get replaced by new counterparts in Context of Mirrors - translation tables. Deep copies are not involved.

The Bidirectional Object-oriented Transformation Language (BOTL) is a tool for object-oriented model transformations.

Charmy is a tool for specification of Software Architectures through diagrammatic, UML-based notations, and validation of the architectural specification conformance with respect to functional requirements.

RAS is the acronym for Result Assessment System. The primary purpose of RAS is helping users manage, visualize, assess and report results obtained from experimental search algorithms.

This is meant to be a powerful, but easy to use math software. It's by the user and for the users.

GeoWidgets is a set of reusable UI widgets for geographic applications (GIS), such as referencing dialogs, legends, styling widgets or map panes. The project is based on GeoTools (in Java) and supports several GUI toolkits (e.g Swing, SWT). Note that, while functional, this library is not developed any further.

Simulation of a simple factory building cars. The aim is to design and refactor the code according to some semi-precise specification.