SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Science of Computer Programming

Volumn 44, Issue 2, 2002, Pages 205-227

Designing the automatic transformation of visual languages

(3) Varró, Dániel a Varró, Gergely a Pataricza, András a

a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS (Hungary)

Author keywords

Dependability; Graph transformation; Model transformation; MOF; Planner algorithms; System verification; UML; Validation; Visual languages

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SOFTWARE ENGINEERING;

UNIFIED MODELING LANGUAGES (UML); VISUAL LANGUAGES (VL);

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036642571 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(02)00039-4 Document Type: Article

Times cited : (94)

References (21)

1
- 0033116147
- Graph transformation for specification and programming
- (1999) Sci. Comput. Programming , vol.34 , pp. 1-54
- Andries, M.¹ Engels, G.² Habel, A.³ Hoffmann, B.⁴ Kreowski, H.-J.⁵ Kuske, S.⁶ Plump, D.⁷ Schürr, A.⁸ Taentzer, G.⁹

2
- 0033740002
- High-level integrated design environment for dependability
- Workshop on Real-Time Dependable System
- (1999) Proc. WORDS'99
- Bondavalli, A.¹ Dal Cin, M.² Latella, D.³ Pataricza, A.⁴

3
- 84978922841
- Automatic dependability analyses for supporting design decisions in UML
- (1999) Proc. HASE'99: The 4th IEEE International Symposium on High Assurance Systems Engineering , pp. 64-71
- Bondavalli, A.¹ Majzik, I.² Mura, I.³

4
- 0006035568
- Technical Report, University of Ulm, April
- (1999) Einsatz von model-checking zur analyse von MSCs über statecharts
- Canver, E.¹

5
- 0001006870
- G. Rozenberg (Ed.), Foundations, World Scientific, Singapore, Ch. Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach
- (1997) Handbook of Graph Grammars and Computing by Graph Transformations , vol.1 , pp. 163-245
- Corradini, A.¹ Montanari, U.² Rossi, F.³ Ehrig, H.⁴ Heckel, R.⁵ Löwe, M.⁶

6
- 84947291940
- Process semantics of Petri Nets over partial algebra
- (2000) ICATPN: International Conference on the Application and Theory of Petri Nets 2000 , pp. 146-165
- Desel, J.¹ Juhas, G.² Lorenz, R.³

7
- 0003994820
- Applications, Languages and Tools, World Scientific, Singapore
- (1999) Handbook on Graph Grammars and Computing by Graph Transformation , vol.2
- Ehrig, H.¹ Engels, G.² Kreowski, H.-J.³ Rozenberg, G.⁴

8
- 0006035569
- On formal semantics and integration of object oriented modeling languages
- (2000) EATCS , vol.70 , pp. 77-81
- Ehrig, H.¹ Geisler, R.² Grosse-Rhode, M.³ Klar, M.⁴ Mann, S.⁵

9
- 0000145484
- G. Rozenberg (Ed.), Foundations, Ch. Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach, World Scientific, Singaore
- (1997) Handbook of Graph Grammars and Computing by Graph Transformations , vol.1 , pp. 247-312
- Ehrig, H.¹ Heckel, R.² Korff, M.³ Löwe, M.⁴ Ribeiro, L.⁵ Wagner, A.⁶ Corradini, A.⁷

10
- 33746469481
- Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
- A. Evans, S. Kent, B. Selic (Eds.), UML 2000 - The Unified Modeling Language. Advancing the Standard, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1939 , pp. 323-337
- Engels, G.¹ Hausmann, J.H.² Heckel, R.³ Sauer, S.⁴

11
- 0002298359
- Seamless formalizing the UML semantics through metamodels
- K. Siau, T. Halpin (Eds.), Ch. 14. Idea Publishing Group, Hershey, PA
- (2001) Unified Modeling Language: Systems Analysis, Design and Development Issues , pp. 224-248
- Fernandez Aleman, J.L.¹ Toval Alvarez, A.²

12
- 1542355510
- Story diagrams: A new graph transformation language based on UML and Java
- H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Proceedings of the Theory and Application to Graph Transformations, TAGT'98, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1764 , pp. 269-309
- Fischer, T.¹ Niere, J.² Torunski, L.³ Zündorf, A.⁴

13
- 0003465730
- Technical Report, SRI International, September
- (1999) The PVS language reference, Version 2.3
- Owre, S.¹ Shankar, N.² Rushby, J.³ Stringer-Calvert, D.⁴

14
- 0006071807
- MTRANS: A general framework, based on XSLT, for model transformations
- J. Whittle et al. (Eds.)
- (2001) Workshop on Transformations in UML , pp. 93-97
- Peltier, M.¹ Bézivina, J.² Guillaume, G.³

15
- 0004063990
- Foundations, World Scientific, Singapore
- (1997) Handbook of Graph Grammars and Computing by Graph Transformations , vol.1
- Rozenberg, G.¹

16
- 0006035437
- Tool support for transforming UML models to a formal language
- J. Whittle et al. (Eds.)
- (2001) Workshop on Transformations in UML , pp. 111-115
- Saez, J.¹ Toval Alvarez, A.² Fernandez Aleman, J.L.³

17
- 85032478255
- Introduction to PROGRES, an attributed graph grammar based specification language
- M. Nagl (Ed.), Graph-Theoretic Concepts in Computer Science, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.411 , pp. 151-165
- Schürr, A.¹

18
- 0010320732
- Technical Report, RWTH Aachen, Fachgruppe Informatik, Germany
- (1994) Specification of graph translators with triple graph grammars
- Schürr, A.¹

19
- 0006134138
- Towards common exchange formats for graphs and graph transformation systems
- J. Padberg (Ed.)
- (2001) UNIGRA 2001: Uniform Approaches to Graphical Process Specification Techniques
- Taentzer, G.¹

20
- 0001274951
- Designing the automatic transformation of visual languages
- H. Ehrig, G. Taentzer (Eds.)
- (2000) GRATRA 2000, Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems , pp. 14-21
- Varró, D.¹ Varró, G.² Pataricza, A.³

21
- 0028750404
- An introduction to least commitment planning
- (1994) AI Mag. , vol.15 , Issue.4 , pp. 27-61
- Weld, D.S.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.