Skip to main content
SpringerLink
Log in
Book cover

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Tiziana Margaria

    1. University of Limerick, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Steffen

    1. TU Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11244)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ISoLA 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Towards a Unified View of Modeling and Programming

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)

      • Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
      Pages 3-21

    3. On Modeling and Programming

      • Neil D. Jones
      Pages 22-34

    4. Definition of Modeling vs. Programming Languages

      • Maged Elaasar
      Pages 35-51

    5. A Non-unified View of Modelling, Specification and Programming

      • Stefan Hallerstede, Peter Gorm Larsen, John Fitzgerald
      Pages 52-68

    6. Using Umple to Synergistically Process Features, Variants, UML Models and Classic Code

      • Timothy C. Lethbridge, Abdulaziz Algablan
      Pages 69-88

    7. Why Programming Must Be Supported by Modeling and How

      • Egon Börger
      Pages 89-110

    8. On Models and Code

      • Marieke Huisman
      Pages 111-118

    9. Type Theory as a Framework for Modelling and Programming

      • Cezar Ionescu, Patrik Jansson, Nicola Botta
      Pages 119-133

    10. Bringing Effortless Refinement of Data Layouts to Cogent

      • Liam O’Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller
      Pages 134-149

    11. Programming Is Modeling

      • Rance Cleaveland
      Pages 150-161

    12. Programming Language Specification and Implementation

      • Peter Sestoft
      Pages 162-183

    13. Modeling with Scala

      • Klaus Havelund, Rajeev Joshi
      Pages 184-205

    14. This Is Not a Model

      • Ole Lehrmann Madsen, Birger Møller-Pedersen
      Pages 206-224

    15. A Unified Approach for Modeling, Developing, and Assuring Critical Systems

      • John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
      Pages 225-245

    16. Towards Interactive Compilation Models

      • Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
      Pages 246-260

    17. From Computational Thinking to Constructive Design with Simple Models

      • Tiziana Margaria
      Pages 261-278

    18. Design Languages: A Necessary New Generation of Computer Languages

      • Bran Selić
      Pages 279-294

    19. From Modeling to Model-Based Programming

      • Gabor Karsai
      Pages 295-308
Back to top

Other volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation. Modeling

  2. Leveraging Applications of Formal Methods, Verification and Validation. Verification

  3. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

  4. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Keywords

About this book

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. 

The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.
Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day. 


Editors and Affiliations

  • University of Limerick, Limerick, Ireland

    Tiziana Margaria

  • TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation