Achim D. Brucker 394d570c0c | ||
---|---|---|
.. | ||
README.md | ||
rbt-with-empty-tree-class.pdf | ||
rbt-with-empty-tree-class.zargo | ||
rbt.ocl | ||
rbt.pdf | ||
rbt.zargo |
README.md
Red-Black-Tree
A model of red-black-trees in UML/OCL. This example is used in the paper Extending OCL with Null-References. for illustrating the use of 'null' in OCL 2.1.
Data Sheet
- Format: ArgoUML 0.26
- Language: UML/OCL (2.1)
For further information (license, citation, etc.), please look at the README.md of the main directory.
Publications
- Achim D. Brucker, Matthias P. Krieger, and Burkhart Wolff. Extending OCL with Null-References. In Models in Software Engineering. Lecture Notes in Computer Science (6002), pages 261-275, Springer-Verlag, 2009. Selected best papers from all satellite events of the MoDELS 2009 conference. https://www.brucker.ch/bibliography/abstract/brucker.ea-ocl-null-2009 doi: 10.1007/978-3-642-12261-3_25