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 >

License

Academic Free License (AFL)

Follow FiniteSatUSE

FiniteSatUSE Web Site

Other Useful Business Software
Get Avast Free Antivirus | Your top-rated shield against malware and online scams Icon
Get Avast Free Antivirus | Your top-rated shield against malware and online scams

Boost your PC's defense against cyberthreats and web-based scams.

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Rate This Project
Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
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

  • did not start
Read more reviews >

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