Search Results for "java swing" - Page 4

TAT is a tool to aid in producing a list of Actors, Use Cases, Candidate Classes and Attributes from a plain text file of a statement of requirements by highlighting words and clicking on the appropriate button or menu item. Results saved as text or XML.

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.

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).

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.