[X] The "/phpMyAdmin/3.2.3/phpMyAdmin-3.2.3-all-languages.tar.gz" file could not be found or is not available. Please select another file.

Share

More
USE: UML-based Specification Environment Icon

USE: UML-based Specification Environment

by fbuettner, h-man2, mircokuhlmann


USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using Mantis (reachable via "Hosted Apps")


http://www.db.informatik.uni-bremen.de/projects/use/





Separate each tag with a space.

Release Date:

2009-06-15

Topic:

Operating System:

License:

Intended Audience:

Registered:

2009-03-12

Ratings and Reviews

  • Thumbs up:

    2
  • Thumbs down:

    0
100% of 2 users recommend this project
  • Thumbs up

    a great program that I've been using for several years to teach OCL in ESIL, Marseille. Thanks Mark and Martin. Laurent

    posted by anonymous 41 days ago
    If you'd like to rate this review, please log in.

View all reviews

Project Feed

  • Forum comment added

    h-man2 commented on the RE: Welcome to Help forum thread

    posted by h-man2 123 days ago

  • Forum comment added

    moelalao commented on the RE: Welcome to Help forum thread

    posted by moelalao 166 days ago

  • USE 2.5.0 file released: use-2.5.0.zip

    - 0000028: [Graphical user interface (GUI)] Objects in object diagram are all placed at same position (H-man2) - resolved. - 0000018: [ASSL (Generator)] Error - Inheritance (ASSL) (H-man2) - resolved. - 0000020: [Graphical user interface (GUI)] No white and black diamonds in object diagram view (H-man2) - resolved. - 0000026: [ASSL (Generator)] Try does not work with Compositions (H-man2) - resolved. - 0000021: [ASSL (Generator)] Generator adds extra @ for set commands (H-man2) - resolved. - 0000025: [Model definition] Exception if no return type is defined for operations (H-man2) - resolved. - 0000006: [Command Language (CMD)] Destruction of object valued operation argument results in exception (H-man2) - resolved. - 0000027: [Command Language (CMD)] Insert of association class instance into other association fails (H-man2) - resolved. - 0000015: [OCL standard conformance] Correct behavior collect and collectNested (Fbuettner) - resolved. - 0000010: [OCL standard conformance] Support for OrderedSet (H-man2) - resolved. - 0000016: [OCL expressions] Incorrect evaluation of OCL expressions including isUnique and Tuple (H-man2) - resolved. - 0000012: [OCL non standard extensions] Allow more then one variable for invariants (H-man2) - resolved. - 0000011: [OCL non standard extensions] Existential Invariants (H-man2) - resolved. - 0000023: [OCL expressions] Tuple equality does not work correctly (H-man2) - resolved. - 0000017: [Model definition] Binding of overridden methods fails (Fbuettner) - resolved. - 0000007: [Graphical user interface (GUI)] Evaluation Browser is slow when many objects involved (H-man2) - resolved. - 0000004: [Graphical user interface (GUI)] Composition: Diamonds are not shown in the object diagram when subclasses are involved (see example) - closed. - 0000024: [OCL expressions] No exception handling after erroneous input (Sequence{Integer}) - closed.

    posted 203 days ago

  • USE 2.5.0 file released: use-2.5.0.tar.gz

    - 0000028: [Graphical user interface (GUI)] Objects in object diagram are all placed at same position (H-man2) - resolved. - 0000018: [ASSL (Generator)] Error - Inheritance (ASSL) (H-man2) - resolved. - 0000020: [Graphical user interface (GUI)] No white and black diamonds in object diagram view (H-man2) - resolved. - 0000026: [ASSL (Generator)] Try does not work with Compositions (H-man2) - resolved. - 0000021: [ASSL (Generator)] Generator adds extra @ for set commands (H-man2) - resolved. - 0000025: [Model definition] Exception if no return type is defined for operations (H-man2) - resolved. - 0000006: [Command Language (CMD)] Destruction of object valued operation argument results in exception (H-man2) - resolved. - 0000027: [Command Language (CMD)] Insert of association class instance into other association fails (H-man2) - resolved. - 0000015: [OCL standard conformance] Correct behavior collect and collectNested (Fbuettner) - resolved. - 0000010: [OCL standard conformance] Support for OrderedSet (H-man2) - resolved. - 0000016: [OCL expressions] Incorrect evaluation of OCL expressions including isUnique and Tuple (H-man2) - resolved. - 0000012: [OCL non standard extensions] Allow more then one variable for invariants (H-man2) - resolved. - 0000011: [OCL non standard extensions] Existential Invariants (H-man2) - resolved. - 0000023: [OCL expressions] Tuple equality does not work correctly (H-man2) - resolved. - 0000017: [Model definition] Binding of overridden methods fails (Fbuettner) - resolved. - 0000007: [Graphical user interface (GUI)] Evaluation Browser is slow when many objects involved (H-man2) - resolved. - 0000004: [Graphical user interface (GUI)] Composition: Diamonds are not shown in the object diagram when subclasses are involved (see example) - closed. - 0000024: [OCL expressions] No exception handling after erroneous input (Sequence{Integer}) - closed.

    posted 203 days ago

  • File released: /USE/2.5.0/use-2.5.0.tar.gz

    posted 204 days ago

  • File released: /USE/2.5.0/use-2.5.0.zip

    posted 204 days ago

  • USE 2.5.0 released!

    The new Version can now be downloaded. It contains a lot of improvements and fixes. See MantisBT under Hosted Apps for details. IMPORTANT: Java 1.6 is now required.

    posted by h-man2 204 days ago

  • File released: /USE/2.4.0/use-2.4.0.zip

    posted 299 days ago

  • USE 2.4.0 file released: use-2.4.0.zip

    posted 299 days ago

Rate and Review

Would you recommend this project?






<

Related Projects

USE: UML-based Specification Environment Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks