Formal Methods for Executable Software Models 14th International Sch
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014
- PDF / 8,452,049 Bytes
- 350 Pages / 439.37 x 666.142 pts Page_size
- 98 Downloads / 175 Views
Tutorial
Marco Bernardo Ferruccio Damiani Reiner Hähnle Einar Broch Johnsen Ina Schaefer (Eds.)
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014 Bertinoro, Italy, June 16–20, 2014, Advanced Lectures
123
Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany
8483
Marco Bernardo Ferruccio Damiani Reiner Hähnle Einar Broch Johnsen Ina Schaefer (Eds.)
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014 Bertinoro, Italy, June 16-20, 2014 Advanced Lectures
13
Volume Editors Marco Bernardo Università di Urbino, Dipartimento di Scienze di Base e Fondamenti Piazza della Republica 13, 61029 Urbino, Italy E-mail: [email protected] Ferruccio Damiani Università di Torino, Dipartimento di Informatica Corso Svizzera 185, 10149 Torino, Italy E-mail: [email protected] Reiner Hähnle Technische Universität Darmstadt, Fachbereich Informatik Hochschulstraße 10, 64289 Darmstadt, Germany E-mail: [email protected] Einar Broch Johnsen University of Oslo, Department of Informatics P.O. Box 1080 Blindern, 0316 Oslo, Norway E-mail: [email protected] Ina Schaefer Technische Universität Braunschweig Institut für Softwaretechnik und Fahrzeuginformatik Mühlenpfordtstraße 23, 38106 Braunschweig, Germany E-mail: [email protected] ISSN 0302-9743 e-ISSN 1611-3349 ISBN 978-3-319-07316-3 e-ISBN 978-3-319-07317-0 DOI 10.1007/978-3-319-07317-0 Springer Cham Heidelberg New York Dordrecht London Library of Congress Control Number: 2014939047 LNCS Sublibrary: SL 2 – Programming and Software Engineering © Springer International Publishing Switzerland 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software
Data Loading...
