References

1. Jens Brüning, Martin Gogolla, Lars Hamann & Mirco Kuhlmann (2012): Evaluating and Debugging OCL Expressions in UML Models. In: Achim D. Brucker & Jacques Julliand: Proc. 6th Int. Conf. Tests and Proofs (TAP 2012). Springer, Berlin, LNCS 7305, pp. 156–162, doi:10.1007/978-3-642-30473-6_13.
2. Martin Gogolla, Fabian Büttner & Mark Richters (2007): USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, pp. 27–34, doi:10.1016/j.scico.2007.01.013.
3. Martin Gogolla, Mirco Kuhlmann & Lars Hamann (2009): Consistency, Independence and Consequences in UML and OCL Models. In: Catherine Dubois: Tests and Proofs, TAP, Lecture Notes in Computer Science 5668. Springer, pp. 90–104, doi:10.1007/978-3-642-02949-3_8.
4. Frank Hilken & Martin Gogolla (2016): User Assistance Characteristics of the USE Model Checking Tool. Technical Report. University of Bremen. Available at http://www.db.informatik.uni-bremen.de/publications/intern/HG2016.pdf.
5. Frank Hilken, Philipp Niemann, Martin Gogolla & Robert Wille (2014): Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. In: Martina Seidl & Nikolai Tillmann: Tests and Proofs, TAP, LNCS 8570. Springer, pp. 99–116, doi:10.1007/978-3-319-21155-8_12.
6. Mirco Kuhlmann & Martin Gogolla (2012): From UML and OCL to Relational Logic and Back. In: Robert France, Juergen Kazmeier, Ruth Breu & Colin Atkinson: Proc. 15th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2012). Springer, Berlin, LNCS 7590, pp. 415–431, doi:10.1007/978-3-642-33666-9_27.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org