Skip to main content
SpringerLink
Log in

Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

  • Conference proceedings
  • © 2021

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 13036)

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

Included in the following conference series:

Conference proceedings info: ISoLA 2021.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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 (29 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. 6th International School on Tool-Based Rigorous Engineering of Software Systems

    1. Front Matter

      Pages 1-2
      Download chapter PDF

    2. An Introduction to Graphical Modeling of CI/CD Workflows with Rig

      • Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen
      Pages 3-17

    3. Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition

      • Philip Zweihoff, Bernhard Steffen
      Pages 18-40

    4. Integrating External Services in DIME

      • Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
      Pages 41-54

    5. Asking Why

      • Barbara Steffen, Bernhard Steffen
      Pages 55-67

  3. Industrial Track

    1. Front Matter

      Pages 69-69
      Download chapter PDF

    2. Formal Methods for a Digital Industry

      • Falk Howar, Hardi Hungar, Andreas Rausch
      Pages 71-76

    3. Agile Business Engineering: From Transformation Towards ContinuousInnovation

      • Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen
      Pages 77-94

    4. Towards Living Canvases

      • Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria
      Pages 95-116

    5. Use Cases for Simulation in the Development of Automated Driving Systems

      • Hardi Hungar
      Pages 117-128

    6. Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles

      • Robin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar
      Pages 129-145

    7. DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories

      • Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch
      Pages 146-161Open Access

    8. From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics

      • Malte Mauritz, Moritz Roidl
      Pages 162-177

    9. Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data

      • Marcel Altendeitering
      Pages 178-191

  4. Programming: What is Next

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. Programming - What is Next?

      • Klaus Havelund, Bernhard Steffen
      Pages 195-201

    3. Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering

      • Timothy C. Lethbridge
      Pages 202-212

    4. Time for All Programs, Not Just Real-Time Programs

      • Edward A. Lee, Marten Lohstroh
      Pages 213-232

    5. Integrated Modeling and Development of Component-Based Embedded Software in Scala

      • Klaus Havelund, Robert Bocchino
      Pages 233-252
Back to top

Other volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation

Keywords

About this book

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.  

 

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