Login / Signup
A model-driven process for engineering a toolset for a formal method.
Paolo Arcaini
Angelo Gargantini
Elvinia Riccobene
Patrizia Scandurra
Published in:
Softw. Pract. Exp. (2011)
Keyphrases
</>
preprocessing
high accuracy
similarity measure
pairwise
detection method
model driven
error rate
development process
query processing
significant improvement
software architecture
metamodel
model driven engineering