Accéder directement au contenu

Burkhart Wolff

4
Documents

Présentation

[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")

Publications

longuet

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection

Delphine Longuet , Frédéric Tuong , Burkhart Wolff
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain
Communication dans un congrès hal-01214466v1

On the Semantics of Object-Oriented Data Structures and Path Expressions

Achim D. Brucker , Delphine Longuet , Frédéric Tuong , Burkhart Wolff
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Sep 2013, Miami, United States
Communication dans un congrès hal-01214460v1

A Specification-Based Test Case Generation Method for UML/OCL

Achim D. Brucker , Matthias P. Krieger , Delphine Longuet , Burkhart Wolff
Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oct 2010, Oslo, Norway
Communication dans un congrès hal-01760563v1
Image document

HOL-TestGen Version 1.8 USER GUIDE

Achim D. Brucker , Lukas Brügger , Abderrahmane Feliachi , Chantal Keller , Matthias P. Krieger
[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Rapport hal-01765526v1