Imagem da capa

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

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range o...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Ogata, Kazuhiro (Editor), Mery, Dominique (Editor), Sun, Meng (Editor), Liu, Shaoying (Editor)
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Edição:	1st ed. 2024.
Colecção:	Lecture Notes in Computer Science, 15394
Assuntos:	Computer science. Computer programming. Software engineering. Compilers (Computer programs). Application software. Natural language processing (Computer science). Theory of Computation. Programming Techniques. Software Engineering. Compilers and Interpreters. Computer and Information Systems Applications. Natural Language Processing (NLP).
Acesso em linha:	https://doi.org/10.1007/978-981-96-0617-7
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Publicado em: (2023)

Compiler Construction Fundamentals and Applications /
Por: Mössenböck, Hanspeter
Publicado em: (2025)

Learn coding with Python and JavaScript A practical introduction for beginners /
Por: Zuckarelli, Joachim L.
Publicado em: (2024)

Design Patterns with Java An Introduction /
Por: Musch, Olaf
Publicado em: (2023)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Publicado em: (2023)

Guide to Java A Concise Introduction to Programming /
Por: Streib, James T., et al.
Publicado em: (2023)

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

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

Introduction to Compiler Design
Por: Mogensen, Torben Ægidius
Publicado em: (2024)

A Concise Introduction to Software Engineering With Open Source and GenAI /
Por: Jalote, Pankaj
Publicado em: (2025)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Publicado em: (2025)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Publicado em: (2023)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Publicado em: (2023)

Programming Languages: Principles and Paradigms
Por: Gabbrielli, Maurizio, et al.
Publicado em: (2023)

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /
Publicado em: (2025)

Handbook on Natural Language Processing for Requirements Engineering
Publicado em: (2025)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Publicado em: (2024)

Collaboration in Knowledge Discovery and Decision Making Third International Workshop, DECISIONING 2024, Pereira, Colombia, June 4–6, 2024, Proceedings /
Publicado em: (2025)

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures /
Publicado em: (2025)

AIxIA 2024 – Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings /
Publicado em: (2025)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part I /
Publicado em: (2025)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part II /
Publicado em: (2025)

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers /
Publicado em: (2024)

Requirements Engineering: Foundation for Software Quality 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8–11, 2024, Proceedings /
Publicado em: (2024)

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Publicado em: (2024)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
Por: Aho, Alfred V.

The Essence of Compilers /
Por: Hunter, Robin
Publicado em: (2007)

The Essence of Compilers /
Por: Hunter, Robin
Publicado em: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
Por: Aho, Alfred V.

The Essence of Compilers /
Por: Hunter, Robin
Publicado em: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
Por: Aho, Alfred V.

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Publicado em: (2025)

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

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Publicado em: (2025)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Publicado em: (2024)

AIxIA 2022 – Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings /
Publicado em: (2023)

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8–11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers /
Publicado em: (2025)

AIxIA 2023 – Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings /
Publicado em: (2023)

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17–20, 2023, Proceedings /
Publicado em: (2023)

Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7–10, 2025, Proceedings /
Publicado em: (2025)