Search Results for "java swing projects" - Page 5

SATIN is a component model for mobile systems. It is a research project, and allows systems to adapt by a) Reasoning about what they can currently do b) send and recieve classes, objects, components and data. It is used in a number of projects.

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.

COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE. It uses adaptive monitoring to automatically adjust the target coverage. COMPAS is completely portable across J2EE application servers and OSs.

Fourth generation database designer and code-generator for educational purposes and speeding-up database designing and creating work.

Thinkingcap is an enterprise, meta-model driven, next-generation 100% Java application server. It offers caching, indexing, platform neutral queries, transactions, multi-user concurrency and permissions control, web services, schema extraction etc.

Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.

UMLet is an open-source Java tool for rapidly drawing UML diagrams, with a focus on a sound and pop-up-free user interface. Its homepage is www.umlet.com. v15.1 released on March 20, 2023.

ArgoUML is hosted at http://www.argouml.org, please go there for all file releases and resources. Thanks!

A simple Java Swing library defining a navigator for huge graphs.

This is a little Java Swing applications that lets you draw Finite State Machines (FSMs) and generates portable ANSI-C source code.

Project of MEPHI Students (K8-224).

Pava is an implementation of Relation Oriented Programming Language

Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question.

LogicBuilder helps developers create complete and correct logic structures (if then else). Logic structures based on multiple variables are prone to human error. LogicBuilder eliminates this source of error.

Entity Relationship Designer written totally in java (using Sun Java Studio) and based on Mogwai ER Designer. Includes ability to connect to several data sources including mySQL.

This project starts to create an open tool for creating, manipulating and visualizing DTDs (in a later state it should work also with other other specification languages such as XML Schema and RELAX NG).

SeSAm (Shell for Simulated Agent Systems) provides a generic environment for modelling and experimenting with agent-based simulation with a special focus on the easy construction of complex models including dynamic interdependencies or emergent behaviour

Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.

JLayerCheck checks package dependencies in Java projects to ensure that they match the desired architecture. Packages are grouped into modules and dependencies are specified. It can also find cycles and orphaned classes.