CD2Alloy: A Translation of Class Diagrams to Alloy and back from Alloy Instances to Object Diagrams

Aachen / Department of Computer Science of RWTH Aachen University (2017) [Report]

Report number: AIB-2017

Authors

Selected Authors

Kautz, Oliver
Maoz, Shahar
Ringert, Jan Oliver
Rumpe, Bernhard

Identifier

  • REPORT NUMBER: RWTH-2017-08159