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

Seite(n): VI, 51 SeitenReport-Nummer: AIB-2017

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-2017-08159