A formal approach to the generation of visual language environments supporting multiple views

Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Volumn 2005, Issue , 2005, Pages 284-286

  Guerra, Esther ^a   Díaz, Paloma ^a   De Lara, Juan ^b  

^a UNIVERSIDAD CARLOS III DE MADRID   (Spain)

^b UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER GRAPHICS; MATHEMATICAL MODELS; METADATA; SYNTACTICS; TRANSLATION (LANGUAGES); VISUALIZATION;

GRAPH GRAMMARS; GRAPH TRANSFORMATION; META-MODELLING; VISUAL LANGUAGES;

FORMAL LANGUAGES;

EID: 33746556531     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2005.6     Document Type: Conference Paper

References (8)

1. 3: A Tool for Multi-Formalism Modelling and Meta-Modelling. LNCS 2306, pp.: 174 - 188. Springer.
2. Díaz, P., Aedo, I., Panetsos, F. 2001. Modeling the Dynamic Behavior of Hypermedia Applications. IEEE Transactions Software Engineering, 27(6). 550-572.
3. Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. 1999. Handbook of Graph Grammars and Computing by Graph Transformation. (1). World Scientific.
4. Grundy, J.C., Mugridge, W.B., Hosking, J.G. 1998 Visual Specification of MultiView Visual Environments. IEEE Symposium on Visual Languages, 236-243.
5. Guerra, E., de Lara, J. 2003. A Framework for the Verification of UML Models. Examples using Petri Nets. Proc. JISBD'03. pp.: 325-334. Alicante.
6. http://www.metacase.com/
7. Schürr, A. 1994. Specification of Graph Translators with Triple Graph Grammars. LNCS 903, pp.: 151-163. Springer.
8. Zhu, N., Grundy, J.C. and Hosking, J.G., 2004. Pounamu: a meta-tool for multi-view visual language environment construction VL/HCC, pp. 254-256.