USE - Validating Pre- and Postconditions (Demo)

A demo of USE for the Software Engineering II class at Federal University of Campina Grande, Brazil.

"USE is a system for the specification of information systems. It is based on a subset of the Unified Modeling Language (UML). A USE specification contains a textual description of a model using features found in UML class diagrams (classes, associations, etc.). Expressions written in the Object Constraint Language (OCL) are used to specify additional integrity constraints on the model. A model can be animated to validate the specification against non-formal requirements. System states (snapshots of a running system) can be created and manipulated during an animation. "

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

Category:

Science & Technology

Tags:

• use
• uml
• demo
• model
• ocl
• specification
• information
• systems
• constraints
• software
• engineering

[fordcredit84]

Great to see a demo on USE. Thanks