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
Identifier
- RWTH PUBLICATIONS: RWTH-2017-08159