Azala

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

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Lee, Edward A. (Argitaratzailea), Mousavi, Mohammad Reza (Argitaratzailea), Talcott, Carolyn (Argitaratzailea)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edizioa:	1st ed. 2025.
Saila:	Lecture Notes in Computer Science, 15560
Gaiak:	Software engineering. Software Engineering.
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-031-85134-6
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Argitaratua: (2025)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Argitaratua: (2023)

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

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
Argitaratua: (2025)

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

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
Argitaratua: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Argitaratua: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Argitaratua: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Argitaratua: (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 /
Argitaratua: (2024)

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings /
Argitaratua: (2025)

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

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

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 /
Argitaratua: (2023)

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

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

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

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

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8–10, 2024, Proceedings /
Argitaratua: (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 /
Argitaratua: (2023)

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 /
Argitaratua: (2023)

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

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

Agile-SOFL Agile Formal Engineering Method /
nork: Liu, Shaoying
Argitaratua: (2024)

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

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

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

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

Software Ecosystems Tooling and Analytics /
Argitaratua: (2023)

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Argitaratua: (2025)

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

Guide to Software Project Management
nork: O'Regan, Gerard
Argitaratua: (2025)

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis /
Argitaratua: (2024)

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

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Argitaratua: (2023)

Managing Information Technology
nork: Castillo, Francisco, et al.
Argitaratua: (2024)

Metrics for Test Reporting Analysis and Reporting for Effective Test Management /
nork: Witte, Frank
Argitaratua: (2024)

Managing Software Supply Chains Theory and Practice /
nork: Wang, Ying, et al.
Argitaratua: (2025)

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

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