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 thu thập kiến ​​thức sâu sắc của hội thảo Dagstuhl năm 2017 về năng suất trong công nghệ phần mềm, một cuộc họp của các nhà lãnh đạo cộng đồng, những người cùng nhau hướng tới mục tiêu xem xét lại các định nghĩa và thước đo truyền thống về năng suất.

Cuốn sách này bao gồm sự đóng góp của các nhà nghiên cứu hàng đầu và các nhà lãnh đạo tư tưởng trong ngành về các chủ đề khác nhau liên quan đến bản chất của công nghệ phần mềm và ứng dụng của chúng trong các dự án công nghiệp.

Cuốn sách này được biên tập về robot, các chương bao gồm các chủ đề như hệ thống robot nhận thức, trí tuệ nhân tạo, phản hồi lực, hệ thống nhúng lái xe tự động, hệ thống nhiều robot, khung phần mềm robot cho hệ thống Điều khiển thời gian thực và Công nghiệp 4.0.

Các chương mô tả những phát hiện chính của các công trình tương ứng, cho thấy sự liên quan và khả năng ứng dụng của chúng vào thực tiễn và các dự án công nghệ phần mềm công nghiệp, đồng thời cung cấp thêm thông tin và phát hiện mà sau đó mới được phát hiện, ví dụ: khi áp dụng các kết quả vào công nghiệp. Bằng cách này, cuốn sách không chỉ thú vị đối với các nhà nghiên cứu khác mà còn đối với các chuyên gia phần mềm công nghiệp, những người muốn tìm hiểu về việc áp dụng các phương pháp tiên tiến nhất trong công việc hàng ngày của họ.

Công nghệ phần mềm có thể giúp mọi người tạo ra các chương trình bền vững, có thể mở rộng để giải quyết các vấn đề mà mọi người quan tâm. Cuốn sách này nói về các phương pháp công nghệ phần mềm: cách mọi người đạt được các mục tiêu cụ thể trong công nghệ phần mềm.

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

Android is a powerful, flexible, open source platform for mobile devices and its popularity is growing at an unprecedented pace. This update to the bestselling first edition dives in to cover the exciting new features of the latest release of the Android mobile platform.

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.