G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle. On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science, 9(11):1296--1321, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Applying a Model Transformation Taxonomy to Graph Transformation .. - Mens, al. (2005) Self-citation (Karsai) (Correct)
No context found.
Karsai, G., A. Agrawal and F. Shi, On the use of graph transformations for the formal specification of model interpreters, Journal of Universal Computer Science 9 (2003), pp. 1296--1321.
Introducing Embedded Software and Systems Education and.. - Janos Sztipanovits.. Self-citation (Karsai) (Correct)
No context found.
G. Karsai, A. Agrawal, and F. Shi, "On the Use of Graph Transformations for the Formal Specification of Model Interpreters," Journal of Universal Computer Science, Volume 9, Issue 11, pp. 1296-1321, November, 2003.
Model Migration through Visual Modeling - Sprinkle, Karsai Self-citation (Karsai Sprinkle) (Correct)
No context found.
G. Karsai, A. Agrawal, F. Shi, 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, pp. 19-27, Huntsville, Alabama, April 9, 2003.
Validation of Model Transformations - First Experiences.. - Jochen Uster And (Correct)
No context found.
G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle. On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science, 9(11):1296--1321, 2003.
Developing Product-lines for Distributed Real-time.. - Nechypurenko, Deng, .. (Correct)
No context found.
G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle, "On the Use of Graph Transformations in the Formal Specification of Computer-Based Systems," Proceedings of IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, April 2003.
A Model-driven Development Environment for Composing.. - Trombetti, Gokhale.. (Correct)
No context found.
Karsai G. and Agrawal A. and Shi F. and Sprinkle J., "On the use of Graph Transformations in the Formal Specification of Computer-Based Systems," in Proceedings of IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, Apr. 2003, IEEE.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC