03823nam 22007695 450 991061928640332120230330211000.03-031-19756-910.1007/978-3-031-19756-7(MiAaPQ)EBC7119916(Au-PeEL)EBL7119916(CKB)25179643800041(DE-He213)978-3-031-19756-7(PPN)265855896(EXLCZ)992517964380004120221019d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLeveraging 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 Steffen1st ed. 2022.Cham :Springer Nature Switzerland :Imprint: Springer,2022.1 online resource (436 pages)Lecture Notes in Computer Science,1611-3349 ;13702Print version: Margaria, Tiziana Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Cham : Springer,c2022 9783031197550 Includes bibliographical references and index.Programming - What is Next: The Role of Documentation -- Automated Software Re-Engineering -- DIME Days.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.Lecture Notes in Computer Science,1611-3349 ;13702Software engineeringArtificial intelligenceComputer scienceComputer engineeringComputer networksComputers, Special purposeComputer systemsSoftware EngineeringArtificial IntelligenceTheory of ComputationComputer Engineering and NetworksSpecial Purpose and Application-Based SystemsComputer System ImplementationSoftware 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.005.1Margaria TizianaSteffen BernhardMiAaPQMiAaPQMiAaPQBOOK9910619286403321Leveraging applications of formal methods, verification and validation. Software engineering3058331UNINA