SBVR2Alloy: An SBVR to Alloy Compiler.

Nurulhuda A. Manaf Andreas Antoniades Sotiris Moschoyiannis

Published in: SOCA (2017)

Keyphrases

mechanical properties
room temperature
stainless steel
general purpose
real time
data sets
information systems
web services
multi agent systems
digital libraries
software engineering
programming language
highly optimized