Cuốn sách này giới thiệu các phân tích bảo mật kiến ​​trúc để phát hiện các vi phạm truy cập và đường dẫn tấn công trong kiến ​​trúc phần mềm.

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.

Trong phát triển phần mềm, các thành phần ngày càng được tái sử dụng, đặc biệt là để triển khai các chức năng tiêu chuẩn giúp phát triển phần mềm tiết kiệm chi phí hơn. Tuy nhiên, tại thời điểm thiết kế, thường không rõ giải pháp nào cung cấp các chức năng này phù hợp với yêu cầu của hệ thống phần mềm. Công trình này đề xuất một phương pháp và công cụ cho phép các kiến ​​trúc sư phần mềm tự động đánh giá các tác động lên các thuộc tính chất lượng của kiến ​​trúc phần mềm khi tái sử dụng các tính năng.

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 Adaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems tập trung vào việc nghiên cứu và phát triển các phương pháp mô hình hóa kiến trúc phần mềm với sự chú trọng đến khả năng thích ứng và hiệu quả năng lượng. Cuốn sách trình bày cách thức các hệ thống phần mềm có thể được thiết kế để tối ưu hóa hiệu suất năng lượng trong khi vẫn duy trì khả năng thích ứng với các thay đổi và yêu cầu của môi trường hoạt động.