Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai,
"Domain Translation Using Graph Transformations",
Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, pp. 159--168, April, 2003.
Download: Sprinkle_JM_4_7_2003_Domain_Tra.pdf (255.82 KB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle,
"On the use of Graph Transformations in the Formal Specification of Computer-Based Systems",
IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.
Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 KB)