Version History
The road so far...
Version 0.5.1
- Errors in the algorithm for reducing multiplicities were corrected
- Version info integrated in GUI
Version 0.5
- New algorithm for tightening upper and lower bounds for parallel association chains
- The associations participating in an XOR constraint can now be selected by the user
- Elimination of errors concerning the opening of an existing specification
Version 0.4
Version 0.3
- Undo/Redo
- Oriented Associations
Version 0.2
- Manage constraints as equations over associations
- Use of constraints to find tighter upper bounds in
specifications
Version 0.1
- Manage Specifications in form of annotated UML class diagrams
- Automatically check specifications, mark inconsistent parts of
specifications
- Manage configurations
- Automatically check if configurations are valid instances of a
specification, show reasons why a configuration is not an instance of a
configuration
- Export diagrams (specifications, configurations) as image file
(jpg, gif, png)