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) [Report]
Page(s): VI, 51 SeitenReport number: AIB-2017
Authors
Authors
Kautz, Oliver
Maoz, Shahar
Ringert, Jan Oliver
Rumpe, Bernhard
Identifier
- REPORT NUMBER: RWTH-2017-08159