Search results for "Generative AI Engineering"
Items we need to order for you
Engineering Trustworthy Software Systems
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;-Introduction to Digital Twins-Theories of Contracts and Their Applications-From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing? -What Came First, Math or Computing?-Software Engineering for Explainable AI-Distribution Testing: The New Frontier for Formal Methods
R 2,347.38
Theoretical Aspects of Software Engineering
This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14-16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.
R 2,956.12
Model-Driven Engineering of Information Systems
This title includes a number of Open Access chapters.Model-driven engineering (MDE) is the automatic production of software from simplified models of structure and functionality. It mainly involves the automation of the routine and technologically complex programming tasks, thus allowing developers to focus on the true value-adding functionality that the system needs to deliver. This book serves an overview of some of the core topics in MDE. The volume is broken into two sections offering a selection of papers that helps the reader not only understand the MDE principles and techniques, but also learn from practical examples. Also covered are the following topics:• MDE for software product lines• Formal methods for model transformation correctness• Metamodeling with Eclipse eCore• Metamodeling with UML profiles• Test cases generation This easily accessible reference volume offers a comprehensive guide to this rapidly expanding field. Edited by experienced writers with experience in both research and the practice of software engineering, Model-Driven Engineering of Information Systems: Principles, Techniques and Practice is an authoritative and easy-to-use reference, ideal for both researchers in the field and students who wish to gain an overview to this important field of study.
R 7,000.68
Progressions and Innovations in Model-Driven Software Engineering
Progressions and Innovations in Model-Driven Software Engineering investigates the most recent and relevant research on model-driven engineering. Within its pages, researchers and professionals in the field of software development, as well as academics and students of computer science, will find an up-to-date discussion of scientific literature on the topic, identifying opportunities and advantages, and complexities and challenges, inherent in the future of software engineering.
R 7,575.16
New Generation of Portal Software and Engineering
New Generation of Portal Software and Engineering: Emergining Technologies presents a strong understanding of Portals, SOA, the published research in these fields, as well providing an enterprise-based experience of factors that challenge implementation of Portal and SOA projects in practice. This book includes a balance of background information, summarizing the state of a particular area, and new research that is previously unpublished. These include trends in Portal technology, Service Oriented Architecture, Business issues in Portal and SOA uptake, among others.
R 6,979.65
Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .
R 1,991.01
Software Quality: The Next Big Thing in Software Engineering and Quality
This book constitutes the refereed proceedings of the 14th Software Quality Days Conference, SWQD 2022, held in Vienna, Austria, during May 17-19, 2022.The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2022 is “What's The Next Big Thing in Software Engineering and Quality?”.The 4 full papers presented in this volume were carefully reviewed and selected from 8 submissions. The contributions were organized in two topical sections named: AI in Software Engineering; and Quality Assurance for Software-Intensive Systems. The book also contains two invited talks.
R 2,526.14
