Analysis and Correctness of Algebraic Graph and Model Transformations

von: Ulrike Golas

Vieweg+Teubner (GWV), 2011

ISBN: 9783834899347 , 226 Seiten

Format: PDF, OL

Kopierschutz: Wasserzeichen

Windows PC,Mac OSX Apple iPad, Android Tablet PC's Online-Lesen für: Windows PC,Mac OSX,Linux

Preis: 96,29 EUR

  • Frontiers in Number Theory, Physics, and Geometry II - On Conformal Field Theories, Discrete Groups and Renormalization
    Interconnect Noise Optimization in Nanometer Technologies
    Life Distributions - Structure of Nonparametric, Semiparametric, and Parametric Families
    Analysis of Toeplitz Operators
    Resource Allocation in Multiuser Multicarrier Wireless Systems
    Full-Chip Nanometer Routing Techniques
  • Silicon-Based RF Front-Ends for Ultra Wideband Radios
    Turbo-like Codes - Design for High Speed Decoding
    POF-Handbuch - Optische Kurzstrecken-Übertragungssysteme
    Wissenschaftlicher Briefwechsel mit Bohr, Einstein, Heisenberg u.a. / Scientific Correspondence with Bohr, Einstein, Heisenberg a.o. - Band/Volume IV Teil/Part IV: 1957-1958
    Numerical Mathematics and Advanced Applications - Proceedings of ENUMATH 2005 the 6th European Conference on Numerical Mathematics and Advanced Applications, Santiago de Compostela, Spain, July 2005

     

     

     

     

 

Mehr zum Inhalt

Analysis and Correctness of Algebraic Graph and Model Transformations


 

Ulrike Golas extends a mathematical theory of algebraic graph and model transformations for more sophisticated applications like the specification of syntax, semantics, and model transformations of complex models. Based on M-adhesive transformation systems, model transformations are successfully analyzed regarding syntactical correctness, completeness, functional behavior, and semantical simulation and correctness.

Dr. Ulrike Golas completed her doctoral thesis under the supervision of Prof. Dr. Hartmut Ehrig at the Institut für Softwaretechnik und Theoretische Informatik at Technische Universität, Berlin.