Amazon cover image
Image from Amazon.com

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings. Part II / Tiziana Margaria, Bernhard Steffen (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 13702.Publisher: Cham : Springer, [2022]Copyright date: ©2022Description: 1 online resource (xiii, 427 pages) : illustrations (chiefly color)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783031197567
  • 3031197569
Other title:
  • ISoLA 2022
Subject(s): Genre/Form: Additional physical formats: No titleDDC classification:
  • 005.1 23/eng/20221028
LOC classification:
  • QA76.9.F67 I83 2022
Online resources:
Contents:
Programming - What is Next: The Role of Documentation -- Automated Software Re-Engineering -- DIME Days.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes author index.

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.

Programming - What is Next: The Role of Documentation -- Automated Software Re-Engineering -- DIME Days.

Online resource; title from PDF title page (SpringerLink, viewed October 28, 2022).

Powered by Koha