1 option
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 13702
- Language:
- English
- Subjects (All):
- Software engineering.
- Artificial intelligence.
- Computer science.
- Computer engineering.
- Computer networks.
- Computers, Special purpose.
- Computer systems.
- Software Engineering.
- Artificial Intelligence.
- Theory of Computation.
- Computer Engineering and Networks.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Local Subjects:
- Software Engineering.
- Artificial Intelligence.
- Theory of Computation.
- Computer Engineering and Networks.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Physical Description:
- 1 online resource (436 pages)
- Edition:
- 1st ed. 2022.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2022.
- 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.
- Contents:
- Programming - What is Next: The Role of Documentation
- Automated Software Re-Engineering
- DIME Days.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 9783031197567
- 3031197569
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.