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

메뉴 건너뛰기

Electronic Communications of the EASST

Volumn 18, Issue , 2009, Pages

Completeness and correctness of model transformations based on triple graph grammars with negative application conditions

(3) Ehrig, Hartmut a Hermann, Frank a Sartorius, Christoph a

a TECHNISCHE UNIVERSITÄT BERLIN (Germany)

Author keywords

Completeness; Correctness; Model transformation; Negative application conditions; Triple graph grammars

Indexed keywords

EID: 84973234425 PISSN: None EISSN: 18632122 Source Type: Journal
DOI: 10.14279/tuj.eceasst.18.270.257 Document Type: Conference Paper

Times cited : (21)

References (14)

1
- 33645700604
- Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
- M. Baleani, A. Ferrari, L. Mangeruca, A. L. Sangiovanni-Vincentelli, U. Freund, E. Schlenker, H.-J. Wolff. Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. Design, Automation and Test in Europe Conference and Exhibition 2:1044-1049, 2005. doi:http://doi.ieeecomputersociety.org/10.1109/DATE.2005.105
- (2005) Design, Automation and Test in Europe Conference and Exhibition , vol.2 , pp. 1044-1049
- Baleani, M.¹ Ferrari, A.² Mangeruca, L.³ Sangiovanni-Vincentelli, A.L.⁴ Freund, U.⁵ Schlenker, E.⁶ Wolff, H.-J.⁷

2
- 56449119386
- Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation
- Springer Verlag, Heidelberg
- H. Ehrig, C. Ermel. Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation. In Proc. International Conference on Graph Transformation (ICGT'08). LNCS 5214, pp. 194-210. Springer Verlag, Heidelberg, 2008. http://tfs.cs.tu-berlin.de/publikationen/Papers08/EE08a.pdf
- (2008) In Proc. International Conference on Graph Transformation (ICGT'08). LNCS 5214 , pp. 194-210
- Ehrig, H.¹ Ermel, C.²

3
- 37149028275
- Information Preserving Bidirectional Model Transformations
- Dwyer and Lopes (ed.). Springer
- H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, G. Taentzer. Information Preserving Bidirectional Model Transformations. In Dwyer and Lopes (eds.), Fundamental Ap-proaches to Software Engineering. LNCS 4422, pp. 72-86. Springer, 2007. http://tfs.cs.tu-berlin.de/publikationen/Papers07/EEE+07.pdf
- (2007) Fundamental Ap-proaches to Software Engineering. LNCS 4422 , pp. 72-86
- Ehrig, H.¹ Ehrig, K.² Ermel, C.³ Hermann, F.⁴ Taentzer, G.⁵

4
- 85042853787
- From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
- Ermel et al. (eds.). EC-EASST
- H. Ehrig, K. Ehrig, F. Hermann. From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. In Ermel et al. (eds.), Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT' 08). Volume 10. EC-EASST, 2008. http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19
- (2008) Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT' 08). . EC-EASST , vol.10
- Ehrig, H.¹ Ehrig, K.² Hermann, F.³

5
- 77249145687
- On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars
- Karsai and Taentzer (eds.). ACM, New York, NY, USA
- H. Ehrig, C. Ermel, F. Hermann. On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars. In Karsai and Taentzer (eds.), Proc. Third International Workshop on Graph and Model Transformation (GraMoT'08). ACM, New York, NY, USA, 2008. doi:http://doi.acm.org/10.1145/1370175.1370244 http://tfs.cs.tu-berlin.de/publikationen/Papers08/EEH08.pdf
- (2008) Proc. Third International Workshop on Graph and Model Transformation (GraMoT'08)
- Ehrig, H.¹ Ermel, C.² Hermann, F.³

6
- 57449119209
- Technical report 2008/05, Technische Universität Berlin,Fakultät IV
- H. Ehrig, C. Ermel, F. Hermann. On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version). Technical report 2008/05, Technische Universität Berlin,Fakultät IV, 2008. http://iv.tu-berlin.de/TechnBerichte/2008/2008-05.pdf
- (2008) On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
- Ehrig, H.¹ Ermel, C.² Hermann, F.³

7
- 33645145389
- Fundamentals of Algebraic Graph Transformation
- Springer Verlag
- H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer Verlag, 2006. http://www.springer.com/3-540-31187-4
- (2006) EATCS Monographs in Theoretical Computer Science
- Ehrig, H.¹ Ehrig, K.² Prange, U.³ Taentzer, G.⁴

8
- 84973234425
- Technical report 2009/3, TU Berlin
- H. Ehrig, F. Hermann, C. Sartorius. Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version). Technical report 2009/3, TU Berlin, 2009. http://www.eecs.tu-berlin.de/fileadmin/f4/TechReports/2009/tr-2009-03.pdf
- (2009) Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
- Ehrig, H.¹ Hermann, F.² Sartorius, C.³

9
- 56449125050
- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
- Ehrig et al. (ed.). Springer Verlag, Heidelberg
- H. Ehrig, U. Prange. Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. In Ehrig et al. (eds.), Proc. International Conference on Graph Transformation (ICGT'08). LNCS 5214, pp. 178-193. Springer Verlag, Heidelberg, 2008. http://tfs.cs.tu-berlin.de/publikationen/Papers08/EP08a.pdf
- (2008) Proc. International Conference on Graph Transformation (ICGT'08). LNCS 5214 , pp. 178-193
- Ehrig, H.¹ Prange, U.²

10
- 0030172972
- Graph Grammars with Negative Application Conditions
- A. Habel, R. Heckel, G. Taentzer. Graph Grammars with Negative Application Conditions. Special issue of Fundamenta Informaticae 26(3,4):287-313, 1996
- (1996) Special issue of Fundamenta Informaticae , vol.26 , Issue.3-4 , pp. 287-313
- Habel, A.¹ Heckel, R.² Taentzer, G.³

11
- 38549181034
- On the Correctness of Model Transformations in the Development of Embedded Systems
- Kordon and Sokolsky (eds.). Springer
- G. Karsai, A. Narayanan. On the Correctness of Model Transformations in the Development of Embedded Systems. In Kordon and Sokolsky (eds.), Monterey Workshop. LNCS 4888, pp. 1-18. Springer, 2006
- (2006) Monterey Workshop. LNCS 4888 , pp. 1-18
- Karsai, G.¹ Narayanan, A.²

12
- 31044434241
- Tool Integration with Triple Graph Grammars-A Survey
- Electronic Notes in Theoretical Computer Science, Elsevier Science, Amsterdam
- A. Königs, A. Schürr. Tool Integration with Triple Graph Grammars-A Survey. In Proc. SegraVis School on Foundations of Visual Modelling Techniques. Volume 148, pp. 113-150. Electronic Notes in Theoretical Computer Science, Elsevier Science, Amsterdam, 2006. http://www.sciencedirect.com/science/journal/15710661
- (2006) In Proc. SegraVis School on Foundations of Visual Modelling Techniques , vol.148 , pp. 113-150
- Königs, A.¹ Schürr, A.²

13
- 84947918251
- Specification of Graph Translators with Triple Graph Grammars
- Tinhofer (ed.). Springer Verlag, Heidelberg
- A. Schürr. Specification of Graph Translators with Triple Graph Grammars. In Tinhofer (ed.), WG94 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science. LNCS 903, pp. 151-163. Springer Verlag, Heidelberg, 1994
- (1994) WG94 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science. LNCS 903 , pp. 151-163
- Schürr, A.¹

14
- 56449131232
- 15 Years of Triple Graph Grammars
- Ehrig et al. (eds.). Springer
- A. Schürr, F. Klar. 15 Years of Triple Graph Grammars. In Ehrig et al. (eds.), ICGT. LNCS 5214, pp. 411-425. Springer, 2008. doi:10.1007/978-3-540-87405-8 28
- (2008) ICGT. LNCS 5214 , pp. 411-425
- Schürr, A.¹ Klar, F.²

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