FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.

Features

  • Detection method for finite satisfiability problems.
  • Identification methods for finite satisfiability problem causes.
  • Identification method for class hierarchy cycles for which the finite satisfiability method provides only partial results.
  • A method for propagation of hidden disjoint and incomplete generalization set constraints
  • A method for removing redundancies in multiplicity constraints

Project Activity

See All Activity >

Categories

UML, Computer-Aided Software Engineering (CASE)

License

Academic Free License (AFL)

Follow FiniteSatUSE

FiniteSatUSE Web Site

You Might Also Like
Red Hat Ansible Automation Platform on Microsoft Azure Icon
Red Hat Ansible Automation Platform on Microsoft Azure

Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.

Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
Learn More
Rate This Project
Login To Rate This Project

User Ratings

1.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
0
0
0
0
1
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Be the first to post a review of FiniteSatUSE!

Additional Project Details

Operating Systems

Windows

Intended Audience

Science/Research, Developers

User Interface

Command-line

Programming Language

Java

Related Categories

Java UML Tool, Java Computer-Aided Software Engineering (CASE) Software

Registered

2011-08-16
Report inappropriate content