Liên hệ
Tiếng Việt
Tiếng Anh
Chủ nhật, 14/06/2026
Fundamental Approaches to Software Engineering. 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Cập nhật vào: Thứ hai - 15/09/2025 04:19
Nhan đề chính: Fundamental Approaches to Software Engineering. 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Nhan đề dịch: Các phương pháp tiếp cận cơ bản đối với kỹ thuật phần mềm. Hội nghị quốc tế lần thứ 28, FASE 2025, được tổ chức như một phần của Hội nghị chung quốc tế về lý thuyết và thực hành phần mềm, ETAPS 2025, Hamilton, ON, Canada, ngày 3–8 tháng 5 năm 2025, Kỷ yếu hội nghị
Tác giả: Artur Boronat
Nhà xuất bản: Springer Nature
Năm xuất bản: 2024
Số trang: 288 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-031-90900-9
SpringerLink
Lời giới thiệu: Cuốn sách này là tuyển tập các công trình nghiên cứu mới nhất được trình bày tại Hội nghị quốc tế FASE 2025, một trong những sự kiện quan trọng thuộc chuỗi hội nghị ETAPS chuyên về lý thuyết và thực tiễn trong kỹ thuật phần mềm. Nội dung cuốn sách tập trung vào những tiến bộ trong các phương pháp, mô hình và công cụ hỗ trợ phát triển phần mềm, bao gồm các kỹ thuật phân tích hình thức, kiểm chứng, thiết kế hướng mô hình, tối ưu hóa quy trình phát triển cũng như ứng dụng của trí tuệ nhân tạo trong kiểm thử và duy trì phần mềm. Các bài viết còn làm rõ sự kết nối giữa lý thuyết và ứng dụng thực tế, góp phần giải quyết những thách thức hiện tại trong việc xây dựng các hệ thống phần mềm ngày càng phức tạp và có độ tin cậy cao. Sách cung cấp một nguồn tài liệu khoa học uy tín, giúp củng cố và mở rộng nền tảng tri thức trong lĩnh vực kỹ nghệ phần mềm. Nó không chỉ đóng vai trò như một diễn đàn để công bố những kết quả nghiên cứu tiên tiến, mà còn hướng tới việc định hình những xu hướng mới, khuyến khích trao đổi học thuật và hợp tác quốc tế. Thông qua đó, cuốn sách góp phần nâng cao chất lượng phát triển phần mềm, thúc đẩy sự đổi mới và gia tăng hiệu quả trong cả môi trường học thuật lẫn công nghiệp. Sách phù hợp với các nhà nghiên cứu, giảng viên, nghiên cứu sinh và sinh viên chuyên ngành công nghệ thông tin, khoa học máy tính và kỹ nghệ phần mềm, cũng như các kỹ sư phần mềm, nhà phát triển hệ thống và chuyên gia công nghệ đang tìm kiếm những kiến thức cập nhật để cải thiện phương pháp làm việc.
Từ khóa: Kỹ thuật phần mềm. Trí tuệ nhân tạo. Kiểm chứng phần mềm. Tài liệu hội nghị.
Từ khóa: Kỹ thuật phần mềm. Trí tuệ nhân tạo. Kiểm chứng phần mềm. Tài liệu hội nghị.
Nội dung cuốn sách gồm những phần sau:
Ghi lại thiết kế hệ thống với thông số kỹ thuật thực thi chính thức
Hướng tới mô hình ngôn ngữ lớn hướng dẫn Kernel trực tiếp Fuzzing
DeepCRCEval: Xem xét lại đánh giá về tạo bình luận đánh giá mã
VOCE: Kỹ sư trực điện thoại ảo để phân tích sự cố cảnh báo tự động bằng mô hình ngôn ngữ lớn
Hybridize Functions: Công cụ tự động tái cấu trúc các chương trình học sâu bắt buộc thành thực thi đồ thị
Học tổng hợp cho Automata song song đồng bộ
Phân vùng trạng thái tượng trưng cho học tăng cường
Các mẫu kiến trúc chính thức cho phần mềm rô-bốt thích ứng
RoboScene: Ký hiệu để xác minh chính thức tương tác giữa người và rô-bốt
Hệ thống chuyển đổi đồ thị theo thời gian ngẫu nhiên
Chứng minh màu của bạn: Xác minh chính thức màu bộ nhớ đệm của Bộ Hypervisor
Lý luận về khả năng thay thế ở cấp độ Bytecode JVM
Tải xuống chương PDF
Những tiến bộ trong thử nghiệm phần mềm tự động: Test-Comp 2025
Fizzer với Local Space Fuzzing
ESBMC v7.7: Tự động hóa phân tích độ phủ nhánh bằng cách sử dụng công cụ dựa trên CFG và giải quyết SMT
