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.
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.
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>)
Landlords, multi-family homes, manufactured home communities, single family homes, associations, commercial properties and mixed portfolios.
Rent Manager is award-winning property management software built for residential, commercial, and short-term-stay portfolios of any size. The program’s fully customizable features include a double-entry accounting system, maintenance management/scheduling, marketing integration, mobile applications, more than 450 insightful reports, and an API that integrates with the best PropTech providers on the market.