Slika na naslovnici

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings /

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference...

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	SpringerLink (Online service)
Drugi avtorji:	Kosmatov, Nikolai (Editor), Kovács, Laura (Editor)
Format:	Elektronski eKnjiga
Jezik:	angleščina
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Izdaja:	1st ed. 2025.
Serija:	Lecture Notes in Computer Science, 15234
Teme:	Software engineering. Software Engineering.
Online dostop:	https://doi.org/10.1007/978-3-031-76554-4
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings /
Izdano: (2024)

Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /
Izdano: (2023)

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8–10, 2024, Proceedings /
Izdano: (2024)

Agile-SOFL Agile Formal Engineering Method /
od: Liu, Shaoying
Izdano: (2024)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Izdano: (2023)

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
Izdano: (2024)

Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings /
Izdano: (2024)

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings /
Izdano: (2025)

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Izdano: (2023)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Izdano: (2024)

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings /
Izdano: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Izdano: (2023)

Coordination Models and Languages 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /
Izdano: (2023)

Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings /
Izdano: (2025)

Cloud Computing and Services Science 12th International Conference, CLOSER 2022, Virtual Event, April 27–29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26–28, 2023, Revised Selected Papers /
Izdano: (2024)

Distributed Applications and Interoperable Systems 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings /
Izdano: (2023)

Intelligent Systems and Advanced Computing Sciences 4th International Conference, ISACS 2023, Taza, Morocco, October 26–27, 2023, Proceedings /
Izdano: (2025)

End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings /
Izdano: (2023)

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022, Revised Selected Papers, Part I /
Izdano: (2023)

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers /
Izdano: (2023)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Izdano: (2023)

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday /
Izdano: (2025)

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings /
Izdano: (2025)

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings /
Izdano: (2023)

Blockchain – ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings /
Izdano: (2025)

Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part I /
Izdano: (2024)

Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II /
Izdano: (2024)

Software Ecosystems Tooling and Analytics /
Izdano: (2023)

An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques /
od: Hu, Chenglie
Izdano: (2023)

Reference Architectures for Critical Domains Industrial Uses and Impacts /
Izdano: (2023)

UML-Based Software Product Line Engineering with SMarty
Izdano: (2023)

Software Architecture Research Roadmaps from the Community /
Izdano: (2023)

Software Architectures Topics Usually Missed in Textbooks /
od: Nagl, Manfred, et al.
Izdano: (2024)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Izdano: (2023)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Izdano: (2024)

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23–25, 2024, Proceedings /
Izdano: (2024)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Izdano: (2024)

Subject-Oriented Business Process Management. Models for Designing Digital Transformations 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21–22, 2024, Proceedings /
Izdano: (2025)

Software Architecture. ECSA 2024 Tracks and Workshops Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings /
Izdano: (2024)

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19–20, 2024, Proceedings /
Izdano: (2024)