ConceVE: Conceptual modeling and formal validation for everyone

Ross Gore, Saikou Y. Diallo, Jose J. Padilla. ConceVE: Conceptual modeling and formal validation for everyone. ACM Trans. Model. Comput. Simul., 24(2), 2014. [doi]

Abstract

Abstract is missing.