A Formalization of SOCCA
暂无分享,去创建一个
This paper presents an integrated and formalized description of the abstract syntax and the semantics of visual languages used in the object-oriented method SOCCA. The formalization is made by using EER/GRAL descriptions for the syntax and an operational semantics notated inZ for the semantics.
[1] John J. Marciniak. Encyclopedia of software engineering (vol. 1 A-N) , 1994 .
[2] Joseph Douglas Horton,et al. Merge Path Improvements for Minimal Model Hyper Tableaux , 1999, TABLEAUX.