CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.

Shahar Maoz Jan Oliver Ringert Bernhard Rumpe

Published in: CoRR (2014)

Keyphrases

databases
multi agent systems
relational databases