Analysis and Correctness of Algebraic Graph and Model Transformations

Analysis and Correctness of Algebraic Graph and Model Transformations

Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Golas, Ulrike (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Wiesbaden : Vieweg+Teubner, 2011.
Θέματα:	Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Graph and Model Transformation General Framework and Applications /
ανά: Ehrig, Hartmut, κ.ά.
Έκδοση: (2015)

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut, κ.ά.
Έκδοση: (2006)

Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /
Έκδοση: (2008)

System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /
Έκδοση: (2005)

Words and Graphs
ανά: Kitaev, Sergey, κ.ά.
Έκδοση: (2015)

Graph Separators, with Applications
ανά: Rosenberg, Arnold L., κ.ά.
Έκδοση: (2002)

Augmented Marked Graphs
ανά: Cheung, King Sing
Έκδοση: (2014)

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings /
Έκδοση: (2009)

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings /
Έκδοση: (2007)

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings /
Έκδοση: (2008)

Algorithms and Models for the Web-Graph 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007. Proceedings /
Έκδοση: (2007)

Practical Graph Analytics with Apache Giraph
ανά: Martella, Claudio, κ.ά.
Έκδοση: (2015)

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings /
Έκδοση: (2006)

Principles of Compilers A New Approach to Compilers Including the Algebraic Method /
ανά: Su, Yunlin, κ.ά.
Έκδοση: (2011)

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Έκδοση: (2008)

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems /
ανά: Herde, Christian
Έκδοση: (2011)

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut
Έκδοση: (2006)

Optimisation, Econometric and Financial Analysis
Έκδοση: (2007)

Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2 /
Έκδοση: (2009)

Computer-Aided Design of User Interfaces IV Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI’2004 Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI’2004 13–16 January 2004, Funchal, Isle of Madeira /
Έκδοση: (2005)

Advanced Parallel Processing Technologies 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings /
Έκδοση: (2009)

Emerging Trends in Technological Innovation First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings /
Έκδοση: (2010)

Massively Multi-Agent Technology AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers /
Έκδοση: (2008)

Advances in Bioinformatics and Computational Biology Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings /
Έκδοση: (2008)

Visual Information Systems. Web-Based Visual Information Search and Management 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings /
Έκδοση: (2008)

Grid-Based Problem Solving Environments IFIP TC2/ WG 2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software July 17–21, 2006, Prescott, Arizona, USA /
Έκδοση: (2007)

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile /
Έκδοση: (2006)

Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings /
Έκδοση: (2009)

Linear Network Error Correction Coding
ανά: Guang, Xuan, κ.ά.
Έκδοση: (2014)

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers /
Έκδοση: (2007)

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers /
Έκδοση: (2005)

Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers /
Έκδοση: (2005)

Modeling Time in Computing
ανά: Furia, Carlo A., κ.ά.
Έκδοση: (2012)

Biologically Inspired Algorithms for Financial Modelling
ανά: Brabazon, Anthony, κ.ά.
Έκδοση: (2006)

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
Έκδοση: (2005)

Modern Language Models and Computation Theory with Applications /
ανά: Meduna, Alexander, κ.ά.
Έκδοση: (2017)

Basic Graph Theory
ανά: Rahman, Md. Saidur
Έκδοση: (2017)

Pro Excel Financial Modeling Building Models for Technology Startups /
ανά: Sawyer, Tom Y.
Έκδοση: (2009)

List Decoding of Error-Correcting Codes Winning Thesis of the 2002 ACM Doctoral Dissertation Competition /
ανά: Guruswami, Venkatesan
Έκδοση: (2005)

Critical Infrastructure Protection II
Έκδοση: (2008)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών