Skip to main content
SpringerLink
Log in

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Tiziana Margaria

    1. University of Limerick, CSIS and Lero, 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 13702)

Included in the following conference series:

Conference proceedings info: ISoLA 2022.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. 

The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.


Similar content being viewed by others

Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Programming - What is Next: The Role of Documentation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)

      • Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
      Pages 3-9

    3. Software System Documentation: Coherent Description of Software System Properties

      • Manfred Broy
      Pages 10-27

    4. Models as Documents, Documents as Models

      • Perdita Stevens
      Pages 28-34

    5. Using Supplementary Properties to Reduce the Need for Documentation

      • Ole Lehrmann Madsen, Birger Møller-Pedersen
      Pages 35-59

    6. Pragmatics Twelve Years Later: A Report on Lingua Franca

      • Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh et al.
      Pages 60-89Open Access

    7. Assurance Provenance: The Next Challenge in Software Documentation

      • Gabor Karsai, Daniel Balasubramanian
      Pages 90-104

    8. Formalization of the AADL Run-Time Services

      • John Hatcliff, Jerome Hugues, Danielle Stewart, Lutz Wrage
      Pages 105-134

    9. Executable Documentation: Test-First in Action

      • Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden et al.
      Pages 135-156

    10. Runtime Verification as Documentation

      • Dennis Dams, Klaus Havelund, Sean Kauffman
      Pages 157-173

    11. Executable Documentation: From Documentation Languages to Purpose-Specific Languages

      • Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen
      Pages 174-192

  3. Automated Software Re-engineering

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. Automating Software Re-engineering: Introduction to the ISoLA 2022 Track

      • Serge Demeyer, Reiner Hähnle, Heiko Mantel
      Pages 195-200

    3. A Consolidated View on Specification Languages for Data Analysis Workflows

      • Marcus Hilbrich, Sebastian Müller, Svetlana Kulagina, Christopher Lazik, Ninon De Mecquenem, Lars Grunske
      Pages 201-215

    4. A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool

      • Dennis Hendriks, Kousar Aslam
      Pages 216-236

    5. Verified Software Units for Simple DFA Modules and Objects in C

      • Lennart Beringer
      Pages 237-258

    6. A Notion of Equivalence for Refactorings with Abstract Execution

      • Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I. Pun, Volker Stolz
      Pages 259-280

    7. Towards a Usable and Sustainable Deductive Verification Tool

      • Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
      Pages 281-300

    8. On Technical Debt in Software Testing - Observations from Industry

      • Sigrid Eldh
      Pages 301-323
Back to top

Other volumes

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

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

  3. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

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

Editors and Affiliations

  • University of Limerick, CSIS and Lero, Limerick, Ireland

    Tiziana Margaria

  • TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation