✍ Scribed by Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele
No coin nor oath required. For personal study only.
By Presenting State-of-the-art Research Results On Various Aspects Of Formal And Visual Modeling Of Software And Systems, This Book Commemorates The 60th Birthday Of Hartmut Ehrig. The 24 Invited Reviewed Papers Are Written By Students And Collaborators Of Hartmut Ehrig Who Are Established Researchers In Their Fields. Reflecting The Scientific Interest And Work Of Hartmut Ehrig, The Papers Fall Into Three Main Parts On Graph Transformation, Algebraic Specification And Logic, And Formal And Visual Modeling.
📜 SIMILAR VOLUMES
This Book Presents A Set Of 11 Papers Accompanying The Lectures Of Leading Researchers Given At The 7th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2007, Held In Bertinoro, Italy In May/june 2007. Sfm 2007 Was Devoted To F
This Book Constitutes The Thoroughly Refereed Joint Post-proceedings Of The Two International Workshops On Formal Methods For Industrial Critical Systems, Fmics 2006, And On Parallel And Distributed Methods In Verification, Pdmc 2006, Held In Bonn, Germany In August 2006 In The Course Of The 17th In