LIBROS DEL AUTOR: anna lena lamprecht

2 resultados para LIBROS DEL AUTOR: anna lena lamprecht

anna lena lamprecht Eliminar filtro Quitar filtros
  • Leveraging Applications of Formal Methods, Verification, and Validation
    Anna-Lena Lamprecht
    This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selec...
    Disponible

    66,88 €

  • User-Level Workflow Design
    Anna-Lena Lamprecht
    The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and the support of semantics-based frameworks make application development accessible to users with almost no programming expertise. This monograph establishes requirement-centric sci...
    Disponible

    60,35 €