CD2Alloy: A Translation of Class Diagrams to Alloy

(2017) [Bericht]

Report number: AIB-2017

Authors

Selected Authors

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

Identifier

  • REPORT NUMBER: RWTH-2017-08159