-
1
-
-
0033712787
-
Tool demonstration: The FUJABA environment
-
Nickel, U., Niere, J., Ziindorf, A.: Tool demonstration: The FUJABA environment. In: ICSE 2000, pp. 742-745 (2000)
-
(2000)
ICSE 2000
, pp. 742-745
-
-
Nickel, U.1
Niere, J.2
Ziindorf, A.3
-
2
-
-
33748302114
-
The design of a language for model transformations
-
Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Software and Systems Modeling (SoSyM) 5, 261-288 (2005)
-
(2005)
Software and Systems Modeling (SoSyM)
, vol.5
, pp. 261-288
-
-
Agrawal, A.1
Karsai, G.2
Kalmar, Z.3
Neema, S.4
Shi, F.5
Vizhanyo, A.6
-
3
-
-
54249090101
-
Model transformation with a, visual control flow language
-
Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H.: Model transformation with a, visual control flow language. International Journal of Computer Science (IJGS) 1, 45-53 (2006)
-
(2006)
International Journal of Computer Science (IJGS)
, vol.1
, pp. 45-53
-
-
Lengyel, L.1
Levendovszky, T.2
Mezei, G.3
Charaf, H.4
-
4
-
-
84955590678
-
Graph grammar engineering with PROGRES
-
Springer. Heidelberg
-
Schürr, A., Winter, A.J., Ziindorf, A.: Graph grammar engineering with PROGRES. In: Proceedings of the 5th European Software Engineering Conference, pp. 219-234. Springer. Heidelberg (1995)
-
(1995)
Proceedings of the 5th European Software Engineering Conference
, pp. 219-234
-
-
Schürr, A.1
Winter, A.J.2
Ziindorf, A.3
-
5
-
-
33746453737
-
-
Schürr, A., Rötschke, T., Amelunxen, C., Königs. A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, 4066, pp. 361-375. Springer, Heidelberg (2006)
-
Schürr, A., Rötschke, T., Amelunxen, C., Königs. A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361-375. Springer, Heidelberg (2006)
-
-
-
-
8
-
-
84937217390
-
9: A tool for multi-formalism and metamodelling
-
Kutsche, R.-D, Weber, H, eds, ETAPS 2002 and FASE 2002, Springer, Heidelberg
-
9: A tool for multi-formalism and metamodelling. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol. 2306, pp. 174-188. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2306
, pp. 174-188
-
-
de Lara, J.1
Vangheluwe, H.2
-
10
-
-
33646181557
-
The modelling and simulation package PythonDEVS for classical hierarchical DEVS
-
MSDL-TR-2001-01, McGill University
-
Bolduc, J.S., Vangheluwe, H.: The modelling and simulation package PythonDEVS for classical hierarchical DEVS. MSDL technical report MSDL-TR-2001-01, McGill University (2001)
-
(2001)
MSDL technical report
-
-
Bolduc, J.S.1
Vangheluwe, H.2
-
11
-
-
33750248820
-
-
Guerra, E., de Lara, J.: Event-Driven Grammars: Towards the Integration of Metamodelling and Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNGS, 3256, pp. 54-69. Springer, Heidelberg (2004)
-
Guerra, E., de Lara, J.: Event-Driven Grammars: Towards the Integration of Metamodelling and Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNGS, vol. 3256, pp. 54-69. Springer, Heidelberg (2004)
-
-
-
-
12
-
-
84899829959
-
A formal basis for the heuristic determination of minimum cost paths
-
Hart, P., Nilsson, N., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Transactions on Systems Science and Cybernetics 4, 100-107 (1968)
-
(1968)
IEEE Transactions on Systems Science and Cybernetics
, vol.4
, pp. 100-107
-
-
Hart, P.1
Nilsson, N.2
Raphael, B.3
-
13
-
-
84878179451
-
-
Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, 2505, pp. 120-134. Springer, Heidelberg (2002)
-
Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 120-134. Springer, Heidelberg (2002)
-
-
-
-
14
-
-
36348993335
-
Mathematical description of sensorimotor reaction time distribution
-
Zaitsev, A.V., Skorik, Y.A.: Mathematical description of sensorimotor reaction time distribution. Human Physiology 28(4), 494-497 (2002)
-
(2002)
Human Physiology
, vol.28
, Issue.4
, pp. 494-497
-
-
Zaitsev, A.V.1
Skorik, Y.A.2
|