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.
Calculation of camshafts - allows to define a camshaft profile on the set trajectory which should provide the given mechanism. The trajectory can be set graphically, co-ordinates or function.
A tool for visualization and analysis of logs as sequence diagrams
MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems.
The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments.
MSCViewer features integration with a Python interpreter which allows writing Python scripts...
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Conzilla is a concept browser. It browses and edits 'context-maps', a construct similar to conceptual models, UML diagrams or mind-maps. Conzilla uses RDF to describe and distribute such models.
GSH builder is a free Galois Sub-Hierarchy visualization tool.
The algorithm for calculating GSH is called Pluton and the present
Java realization is based on two articles.
"Efficiently computing a linear extension of the sub-hierarchy of a
Concept Lattice" by Anne Berry, Marianne Huchard,
Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad.
"Performances of Galois Sub-hierarchy-building algorithms" by
Gabriela Arevalo, Anne Berry, Marianne Huchard,
Guillaume Perrot and...
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
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.
Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.
Banks, lending institutions
Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
Clothes - sewing CAD for creation of models of clothes.
Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.
Waters - the Waikato Analysis Tool for Events in Reactive Systems.
This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
MEM Net - Mote EMulator Network.
This project will focus on:
1) MEM - Wireless Sensor Node (mote) emulator
2) MEM Net - network of emulated motes
So far, the only released package is visual-sim-slides.
More comming next !
A UML-based spec (implemented in Java and soon in C++) for managing geometric/geographic objects. See <a href="http://geobject.org">geobject.org</a> (<a href="http://geobject.org/GeobjectPublicLicenseV1_0.htm">Geobject Public License 1.0</a>)