-
1
-
-
33750250454
-
Advanced model transformation language constructs in the VIATRA2 framework
-
To appear in
-
Balogh, A., Varró, D. 2006. Advanced Model Transformation Language Constructs in the VIATRA2 Framework. To appear in ACM SAC'06.
-
(2006)
ACM SAC'06
-
-
Balogh, A.1
Varró, D.2
-
2
-
-
84937217390
-
3: A tool for multi-formalism modelling and meta-modelling
-
FASE'02, Springer
-
3: A Tool for Multi-Formalism Modelling and Meta-Modelling. FASE'02, LNCS 2306, pp.: 174-188. Springer.
-
(2002)
LNCS
, vol.2306
, pp. 174-188
-
-
De Lara, J.1
Vangheluwe, H.2
-
3
-
-
33750232050
-
Fundamentals of algebraic graph transformation
-
Springer
-
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G. 2006. Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer.
-
(2006)
Monographs in Theoretical Computer Science
-
-
Ehrig, H.1
Ehrig, K.2
Prange, U.3
Taentzer, G.4
-
4
-
-
0002262722
-
Role-Based Access Control (RBAC): Features and motivations
-
Springer
-
Ferraiolo, D., Cugini, J., Kuhn, D. R. 1995. Role-Based Access Control (RBAC): Features and Motivations. Computer Security Applications, pp.: 241-248. Springer.
-
(1995)
Computer Security Applications
, pp. 241-248
-
-
Ferraiolo, D.1
Cugini, J.2
Kuhn, D.R.3
-
5
-
-
33746556531
-
A formal approach to the generation of visual language environments supporting multiple views
-
Guerra, E., Díaz, P., de Lara, J. 2005. A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views. Proc. IEEE VL/HCC. pp.: 284-286.
-
(2005)
Proc. IEEE VL/HCC
, pp. 284-286
-
-
Guerra, E.1
Díaz, P.2
De Lara, J.3
-
6
-
-
34548011662
-
Attributed typed triple graph transformation with inheritance in the double pushout approach
-
Guerra, E., de Lara, J. 2006. Attributed Typed Triple Graph Transformation with Inheritance in the Double Pushout Approach. Tech. Rep. Universidad Carlos III. Available at http://www.ii.uam.es/~jlara/investigacion/ techRep_UC3M.pdf
-
(2006)
Tech. Rep. Universidad Carlos III
-
-
Guerra, E.1
De Lara, J.2
-
7
-
-
18944376711
-
Ensuring consistency of conditional graph rewriting - A constructive approach
-
ENTCS
-
Heckel, R., Wagner, A. 1995. Ensuring consistency of conditional graph rewriting - a constructive approach. Proc. SEGRAGRA'95, ENTCS Vol 2.
-
(1995)
Proc. SEGRAGRA'95
, vol.2
-
-
Heckel, R.1
Wagner, A.2
-
8
-
-
33750252219
-
View creation of meta models by using modified triple graph grammars
-
to appear in ENTCS (Elsevier)
-
Jakob, J., Schürr, A. 2006. View Creation of Meta Models by Using Modified Triple Graph Grammars. Proc. GT-VMT'06, to appear in ENTCS (Elsevier).
-
(2006)
Proc. GT-VMT'06
-
-
Jakob, J.1
Schürr, A.2
-
9
-
-
0003277883
-
Coloured petri nets. Basic concepts, analysis methods and practical use (vol. 1)
-
Springer-Verlag
-
Jensen, K. 1992. Coloured Petri Nets. Basic Concepts, analysis methods and practical use (vol. 1). EATCS Monogr. on Theoretical Computer Science. Springer-Verlag.
-
(1992)
EATCS Monogr. on Theoretical Computer Science
-
-
Jensen, K.1
-
12
-
-
34548487973
-
Representing first-Order logic using graphs
-
Proc. ICGT'04, Springer
-
Rensink, A. 2004. Representing First-Order Logic Using Graphs. Proc. ICGT'04, LNCS 3256, pp.: 319-335. Springer.
-
(2004)
LNCS
, vol.3256
, pp. 319-335
-
-
Rensink, A.1
-
13
-
-
84947918251
-
Specification of graph translators with triple graph grammars
-
Springer
-
Schürr, A. 1994. Specification of Graph Translators with Triple Graph Grammars. In LNCS 903, pp.: 151-163. Springer.
-
(1994)
LNCS
, vol.903
, pp. 151-163
-
-
Schürr, A.1
|