Chuyển Ngôn Ngữ Trong Biểu Diễn Yêu Cầu Phần MềmYêu cầu phần mềm thường được mô tả bằng ngôn ngữ tự nhiên vốn được coi là nhập nhằng, thiếu tính rõ ràng. Các phương pháp hình thức hiện tại lại chỉ cho phép kiểm chứng yêu cầu khi chúng được mô tả bằng ngôn ngữ hình thức vốn được coi là khá khó hiểu đối với nhóm phát triển (bao gồm người thiết kế, lập trình viên, người kiểm thử,…). Để giải quyết vấn đề nêu trên, Konrad và Cheng [12] đã đưa ra một hệ thống luật mô tả (SPSKC) xây dựng bởi một số lượng giới hạn các từ vựng và cấu trúc tiếng anh. SPSKC giúp ghi lại yêu cầu chức năng bằng một ngôn ngữ là tập con của ngôn ngữ tự nhiên (tiếng anh) mà lại có thể dịch tự động sang logic hình thức. Tuy nhiên, SPSKC lại gặp vấn đề khi không mô tả các yêu cầu phi chức năng. Để bổ sung điểm yếu này, chúng ta có thể kết hợp thêm với hệ thống luật mô tả đưa ra bởi Grunske L (SKSG) [6]. Luận văn thạc sĩ Công nghệ thông tin Chuyên ngành Công nghệ phần mềm Người hướng dẫn khoa học: PGS. TS. Trương Ninh Thuận Tác giả: Nguyễn Thị Huyền Trang Số trang: 82 Kiểu file: PDF Ngôn ngữ: Tiếng Việt Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2013 Link Download http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1012473https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1