Description

Book Synopsis
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

Table of Contents
Practical and foundational advances in software technology.- Formal foundations of software technology.- Testing and formal analysis.- Graph transformations and model transformations.- Model driven engineering, and tools.

Software Technologies: Applications and

    Product form

    £40.49

    Includes FREE delivery

    RRP £44.99 – you save £4.50 (10%)

    Order before 4pm tomorrow for delivery by Thu 6 Aug 2026.

    A Paperback / softback by Paolo Milazzo, Dániel Varró, Manuel Wimmer

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Software Technologies: Applications and by Paolo Milazzo

      Publisher: Springer International Publishing AG
      Publication Date: Publication Date: 06/12/2016
      ISBN13: 9783319502298, 978-3319502298
      ISBN10: 3319502298

      Description

      Book Synopsis
      This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

      Table of Contents
      Practical and foundational advances in software technology.- Formal foundations of software technology.- Testing and formal analysis.- Graph transformations and model transformations.- Model driven engineering, and tools.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account