Search

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.

This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10–11, 2024. The 16 full papers and the 11 short papers included in this volume were carefully reviewed and selected from 45 submissions. The papers cover the following topics: AI logic foundation; AI logic reasoning; AI logic applications.

This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30–November 1, 2024. The 17 full papers and 5 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Best Paper Award; Industry and Challenge Tracks; Mutation Testing and Code Generation; Advancing Code Vulnerability Detection; Short Papers; Tutorial; Journal First; Health Track; Innovations in Software Testing and AI Compliance; Improving Software Testing Reliability and Advancements in Testing Methodologies.

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.

Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering – a key goal of this textbook. This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices essential for key tasks in software projects. It begins with a chapter covering industry-standard software, open-source tools, and the basics of prompt engineering for LLMs. The second chapter delves into project management, including development process models, planning, and team-working. Subsequent chapters focus on requirements analysis and specification, architecture design, software design, coding, testing, and application deployment. Each chapter presents concepts, practical methods, examples, the application of LLMs, and the role of open-source software. A companion website provides some comprehensive case studies, as well as teaching material including presentation slides. This textbook is ideal for an introductory course on software engineering where the objective is to develop knowledge and skills to execute a project—specifically in a team employing contemporary software engineering practices and using open source and LLMs. It is also suitable for professionals who want to be introduced to the systematic approach of software engineering and/or use of open source and LLMs. The author is a distinguished professor at IIIT-Delhi and a well-known academic in software engineering. He has served as vice president in Infosys Technologies Limited and as a visiting researcher at Microsoft Corporation. Reviews of the first edition:'This book's title provides an excellent description of its content.... This compact volume is organized into eight well-focused chapters containing numerous examples and well-designed self-test exercises. Includes an excellent collection of references and a very useful index. Summing Up: Highly recommended. Upper-division undergraduate through professional readers; two-year technical program students.'(J. Beidler, Choice, Vol. 46 (6))'Jalote's intention in this book is to present just enough material to teach beginning software engineers what they need to know to do a development project that carries a smallproduct from conception through delivery. The result is a short book... making this sort of book very attractive as a text for introductory software engineering.... topics are well chosen and their discussion is good.'(Christopher Fox, ACM Computing Reviews)