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

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

Aachen : Department of Computer Science of RWTH Aachen University (2017)
Report

In: Aachener Informatik Berichte 2017-06
Page(s)/Article-Nr.: VI, 51 SeitenReport number: AIB-2017