Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Springer International Publishing (Verlag)
978-3-031-19755-0 (ISBN)
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.
| Erscheinungsdatum | 21.10.2022 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XIII, 427 p. 140 illus., 68 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 667 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | Applications • Architecting • Artificial Intelligence • Computational Linguistics • computer programming • Computer Science • computer software maintenance • conference proceedings • Databases • distributed computer systems • Distributed Systems • Embedded Systems • Formal Logic • Informatics • object-oriented programming • parallel processing systems • Research • Signal Processing • software architecture • Software Design • Software engineering • Software Quality • Verification and Validation |
| ISBN-10 | 3-031-19755-0 / 3031197550 |
| ISBN-13 | 978-3-031-19755-0 / 9783031197550 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
