FiniteSatUSE

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

Cut Data Warehouse Costs up to 54% with BigQuery

Migrate from Snowflake, Databricks, or Redshift with free migration tools. Exabyte scale without the Exabyte price.

BigQuery delivers up to 54% lower TCO than cloud alternatives. Migrate from legacy or competing warehouses using free BigQuery Migration Service with automated SQL translation. Get serverless scale with no infrastructure to manage, compressed storage, and flexible pricing—pay per query or commit for deeper discounts. New customers get $300 in free credit.

Try BigQuery Free

Rate This Project

User Ratings

1.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

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

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

Similar Business Software

Cycloid

Cycloid is the unified Internal Developer Portal and Platform, made for platform engineering done right. Accelerate your platform engineering adoption from years to weeks, optimize the developer experience and operational efficiency by accelerating the delivery of a developer portal and...

See Software
Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software
Kasm Workspaces

Kasm Workspaces streams your workplace environment directly to your web browser…on any device and from any location. Kasm uses our high-performance streaming and secure isolation technology to provide web-native Desktop as a Service (DaaS), application streaming, and secure/private web...

See Software
NetNut

Get ready to experience unmatched control and insights with our user-friendly dashboard tailored to your needs. Monitor and adjust your proxies with just a few clicks. Track your usage and performance with detailed statistics. Our team is devoted to providing customers with proxy solutions...

See Software
TeamDesk

TeamDesk is the leading AI-enhanced Low-Code database platform for creating powerful and flexible web-based databases with AI assisted development and AI-enhanced data analysis. AI-Assisted Development streamlines database design, no coding, no technical skills required. AI-enhanced Data...

See Software