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

Other Useful Business Software
Secure remote access solution to your private network, in the cloud or on-prem. Icon
Secure remote access solution to your private network, in the cloud or on-prem.

Deliver secure remote access with OpenVPN.

OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
Get started — no credit card required.
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

Filter Reviews:
All
  • srgrass Posted 2021-03-20
    did not start
Read more reviews >

Additional Project Details

Operating Systems

Windows

Intended Audience

Developers, Science/Research

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