FiniteSatUSE

An easy to use Java-based application that enables you to correct UML class diagrams, find satisfiabili...
Download

FiniteSatUSE Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Publisher Name:
  • BGU Modeling Group
  • Operating Systems:
  • Windows All
  • File Size:
  • 3.7 MB

FiniteSatUSE Tags


FiniteSatUSE Description

FiniteSatUSE is a console application built in Java that comes with a set of correction methods for UML class diagrams, based on the USE system syntax. FiniteSatUSE is capable of identifying and correcting satisfiability issues, as well as determining their causes. You can use it to propagate the disjoint constraints within the class hierarchy cycles and find classes with incomplete constraints.


FiniteSatUSE Related Software

About SoftwareSea