Please use this identifier to cite or link to this item: https://dspace.ctu.edu.vn/jspui/handle/123456789/1008
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHuỳnh, Tấn Khải-
dc.contributor.authorBùi, Hoài Thắng-
dc.contributor.authorQuản, Thành Thơ-
dc.contributor.authorNguyễn, Minh Thông-
dc.date.accessioned2018-04-18T07:06:37Z-
dc.date.available2018-04-18T07:06:37Z-
dc.date.issued2013-
dc.identifier.issn1859-2333-
dc.identifier.urihttp://172.18.63.105/jspui/handle/123456789/1008-
dc.description.abstractĐể giúp cho các lập trình viên phát triển nhanh hệ thống phần mềm của họ, cộng đồng nghiên cứu đã đề xuất một số cách tiếp cận cho việc tìm kiếm tự động các hàm API. Hầu hết các nghiên cứu này đều dựa trên các từ khóa được sử dụng trong các mô tả của các hàm API. Tuy nhiên, độ chính xác của các hướng tiếp cận này vẫn còn hạn chế. Đặc tả hình thức với sự chặt chẽ trong cú pháp và ngữ nghĩa có thể được áp dụng để cải thiện kết quả của các hướng nghiên cứu này. Trong bài báo này, đầu tiên, chúng tôi trình bày một khảo sát về các kỹ thuật đặc tả hình thức cho thiết kế phần mềm. Tiếp theo, chúng tôi đề xuất một khung thức cho việc tìm kiếm và tái sử dụng các hàm API tự động dựa trên đặc tả chính thức được mô tả bởi JML. Ngoài ra, khung thức còn hỗ trợ việc tổ hợp tự động các hàm API để đáp ứng các yêu cầu phần mềm. Một số kết quả thử nghiệm cũng được trình bày để cho thấy khả năng thực tế trong hướng tiếp cận của chúng tôi.vi_VN
dc.language.isovivi_VN
dc.relation.ispartofseriesTạp chí Khoa học Trường Đại học Cần Thơ;Số chuyên đề Công nghệ Thông tin .- Tr.152-161-
dc.subjectTìm kiếm hàm tự độngvi_VN
dc.subjectGọi hàm tự độngvi_VN
dc.subjectTái sử dụng thành phầnvi_VN
dc.subjectĐặc tả hình thứcvi_VN
dc.subjectThiết kế thoả thuậnvi_VN
dc.titleMột khung thức tìm kiếm và tái sử dụng hàm API tự động dựa trên đặc tả hình thức =vi_VN
dc.title.alternativeA framework for automatic search and reusage of API functions based on formal specificationvi_VN
dc.typeArticlevi_VN
Appears in Collections:Năm 2017

Files in This Item:
File Description SizeFormat 
_file_753.07 kBAdobe PDFView/Open
Your IP: 3.144.100.245


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.