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)
Bericht

In: Aachener Informatik Berichte 2017-06
Seite(n)/Artikel-Nr.: VI, 51 SeitenReport-Nummer: AIB-2017

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 3 (Software Engineering) [121510]