... xây dựng tự động mô hình mô tả chính xác hành vi của một thành phần phần mềm. Qua đó đề xuất giải pháp cho việc xây dựng mô hình thành phần phần mềm. Đưa ra kết quả thực nghiệm: công cụ sinh ... tái sử dụng và tích hợp các thành phần phần mềm. Các ứng dụng được xây dựng bằng cách tích hợp các thành phần độc lập cùng tương tác với nhau. Các thành phần này có thể được xây dựng nên bởi ... ngữ hình thức, NXB Khoa học và kỹ thuật, Hà Nội. [2] Đoàn Văn Ban (2007), Ôtômát và ngôn ngữ hình thức, Đại học Thái Nguyên. [3] Đỗ Đức Giáo (2004), Toán rời rạc, NXB đại học QGHN. [4] Đặng...