Cuốn sách mở này cung cấp cái nhìn tổng quan về các luận văn của năm người được đề cử cho Giải thưởng Ernst Denert về Kỹ thuật phần mềm năm 2019.

Cuốn sách này đề xuất các khái niệm về (i) mô hình hóa và phân tích độ tin cậy dựa trên các mô hình kiến ​​trúc của các hệ thống phần mềm chuyên sâu trong giai đoạn đầu phát triển, (ii) phân tích và tổng hợp các ngôn ngữ mô hình hóa và kỹ thuật phân tích để cho phép linh hoạt hơn trong quá trình phát triển và (iii) thu hẹp các cấp độ trừu tượng khác nhau giữa dữ liệu của giai đoạn vận hành, mô hình kiến ​​trúc và mã nguồn của giai đoạn phát triển.

Cuốn sách này cung cấp tổng quan về nghiên cứu về các khía cạnh khác nhau của tính đa dạng và hòa nhập trong kỹ thuật phần mềm, cũng như các công cụ, phương pháp và hoạt động được đề xuất để thúc đẩy tính đa dạng và xây dựng các nhóm phần mềm và môi trường phát triển hòa nhập. Cuốn sách mô tả những thách thức nghiên cứu trong việc nghiên cứu tính đa dạng và hòa nhập trong phần mềm.

Nội dung của cuốn sách bao gồm các khía cạnh của phương pháp không lưới, mô phỏng số, mô hình toán học, học sâu và phân tích dữ liệu. Các phương pháp không lưới, chẳng hạn như phương pháp Galerkin không có phần tử cải tiến, phương pháp phân tách thứ nguyên, nội suy, di chuyển, bình phương nhỏ nhất, phương pháp Galerkin phân tách thứ nguyên, tổng quát hóa, nội suy, không có phần tử và nội suy cải tiến, biến phức, phần tử - Phương pháp Galerkin miễn phí được trình bày

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting.

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components.

The ninth edition of Software Engineering presents a broad perspective of software engineering, focusing on the processes and techniques fundamental to the creation of reliable, software systems. Increased coverage of agile methods and software reuse, along with coverage of 'traditional' plan-driven software engineering, gives readers the most up-to-date view of the field currently available