... dùng logic vị từ đặctả phát biểu sau: a) (1đ) Mảng a không chứa số âm xuất liên tiếp b) (1đ) x, y, z xuất lần a xuất theo thứ tự Câu 02: (1đ) Cho S tập hợp chuỗi ký tự Hãy đặctả hàm đếm SỐ TỪ ... tượng XMLHttpRequest sử dụng để: a) Hiển thị nội dung thông tin lên trình duyệt b) Truy xuất liệu từ tài liệu XML c) Kết nối thông tin trước hiển thị d) Giao tiếp bất đồng với server để gửi nhận ... tạo không đăng ký với lưu liệu lịch sử trình duyệt, đó, nút Back hoạt động không ý muốn b) Khó có khả ghi nhớ (bookmark) lại trang trung gian Ajax tạo c) Sử dụng Ajax chiếm dụng nhiều tài nguyên...
... hợp • Các tiếp cận đặctảhìnhthức hệ thống đa tác tử đệ quy Đặctảhìnhthức sử dụng khái niệm toán học để mô tả hệ thống, đặc biệt có ý nghĩa lĩnh vực tin học Đặctảhìnhthức dựa sở toán học ... sử dụng lý thuyết kiểu để đặctả hệ thống đa tác tử đệ quy Giải pháp mở hướng phát triển: nghiên cứu khả cài đặt từ đặc tả; phát triển lĩnh vực chứng minh hình thức; mở rộng giải pháp để đặctả ... ngôn ngữ thích ứng với số mô hình MAS, nhiên với mô hình MAS đệ quy mà chọn lựa ngôn ngữ chưa đáp ứng Hệ thống đa tác tử đệ quy 3.1 Mô hình nguyên âm AEIO Khái niệm đệ quy sử dụng mô hình MAS...
... khóa-tuyển:ℕ1) sốlượngSV: ℕ BÀI TẬP ĐẶCTẢHÌNHTHỨC #8 Bài 71 : Đặctả kiểu liệu NGAY Đặctả điều kiện ngày hợp lệ Bài 72: Đặctả hàm trả ngày sau ngày cho trước Bài 73: Đặctả hàm trả ngày thứ n (n >= ... Hãy đặctả kiểu ĐƠN-THỨC & ĐA-THỨC Bài 77: Đặctả hàm tính đạo hàm (cấp 1) đa thức Bài 78: Đặctả hàm tìm tất nghiệm (phân biệt) đa thức Tập-Nghiệm :: sốNghiệm: ℕ nghiệm : ℝ* Bài 79: Đặctả hàm ... ! Ví dụ: s = “University of Natural Sciences ” gồm tiếng (word) BÀI TẬP ĐẶCTẢHÌNHTHỨC #6 51 Đặctả lại 48 với phương án sử dụng biến tạm để xóa ký tự khoảng trắng đầu chuỗi có 52 Đặctả yêu...
... Basic, … - Ngôn ngữ hình thức: Là ngôn ngữ với từ vựng, cú pháp, ngữ nghĩa định nghĩa chặt chẽ dựa sở toán học Đặctảhìnhthức (formal specification) Đặctảhìnhthứcđặctảvới tính chất: - ... Xoadau ( s)) 4.6 ĐẶCTẢ ĐỆ QUY Đặctả đệ quy thực chất cách thứcđặctả hàm theo dạng truy hồi Một đặctả gọi đệ quy phần biểu thức Where hàm có sử dụng đến thân hàm đặctả Ví dụ : Ta xét hàm ... cấu hình hay qui mô Việc sử dụng phương thứcđặctả ngôn ngữ đặctả yêu cầu cao người phát triển Ngay việc đặctả chứng minh hìnhthức có lỗi xãy Giới hạn công cụ hỗ trợ cho việc đặctả 5.4...
... • 𝐼𝑛𝑣 thuộc tính mô tả giá trị đặc trưng 𝐹𝑑 • 𝑆𝑀𝑆𝑝𝑒𝑐 hàm đặctả phương thức mà gắn phương thức 𝑜𝑝(𝑖𝑛, 𝑜𝑢𝑡) 𝑆𝑀𝑑 𝑝 với thiết kế 〈𝛼, 𝐹𝑃〉, với (𝛼(𝑖𝑛 ∪ 𝑜𝑢𝑡)) ⊆ 𝐹𝑑, • 𝐵𝑒ℎ𝑎𝑣 mô tả hành vi mở rộng mà ... hiệu việc sử dụng lý thuyết vết vào số mô hình thiết kế hệ thống hướng thành phần tạo cho mô hình mô hình hóa hệ thống có đặctả tương tranh thời gian Các mô hình sử dụng bao gồm: Mô hình dựa thiết ... hiệu tập (chương trình) biến, 𝐹𝑃 ký hiệu đặctả chức phương thức có dạng (𝑝 𝑅), 𝐹𝑁 ký hiệu đặctả có yếu tố thời gian thi có hìnhthức 𝑙 ≤ 𝑑𝑢𝑟 ≤ 𝑢, với 𝑙, 𝑢 số thực không âm, 𝑙 ≤ 𝑢 Chúng đưa...
... Chương I: Mở đầu Bài giảng môn ĐặctảHìnhthức o Ngôn ngữ lập trình o Ngôn ngữ hìnhthức I.2.3 Đặctảhìnhthức (formal specification): Đặctảhìnhthứcđặctảvới tính chất: o Chính xác quán ... pháp hìnhthức (formal methods): Trong tin học, thuật ngữ phương pháp hìnhthức (ngôn ngữ hình thức, đặctảhình thức, v.v…) thường dùng để kỹ thuật dựa sở toán học dùng trình mô tả chi tiết (đặc ... Chuyển kết I.3 LỊCH SỬ RA ĐỜI VÀ PHÁT TRIỂN CỦA ĐẶCTẢHÌNH THỨC: Các kỹ thuật đặctảhìnhthức sử dụng ngành Tin học suốt 30 năm qua (từ năm đầu thập niên 70) Có nhiều mô ngôn ngữ đặctả đời,...
... liệt kê Hình 3.2b minh họa tập tin chứa đặctả đầu vào AGTool sinh giả định từ đặctảHình 3.2b Hình 3.3 mô tảkết sinh AGTool Hình 3.3: Kết sinh AGTool 26 Chương AGTool 3.2 Hạn chế AGTool Với chức ... định nghĩa Hình 2.10 Hình 2.11 đặctả định danh hoa, thường U pperCaseLetter đặctả chữ hoa LowerCaseLetter đặctả chữ thường gạch ’_’ Digit đặctả chữ số thập phân 10 Chương Kiến thức ConstantIdent: ... thiết hai thành phần lại rules trailer tùy chọn Cấu trúc tập tin đặctả từ vựng mô tảHình 2.35 Hình 2.36 ví dụ mô tả tập tin đặctả từ vựng (* thành phần header *) { header } (* thành phần định...
... học Đặctảhìnhthức (formal specification) Đặctảhình thứ đặctảvới tính chất: - Chính xác quán - Ngắn gọ đầy đủ - Có thể xử lý máy vi tính Đặctảhìnhthức có ứng dụ g - sau: Sử dụ g ro ... từ nhữ g đặctả trừu ượ g đến nhữ g đặctả cụ thể Đưa nguồn gốc việc kiểm tra liệu từ nhữ g đặctảhìnhthức Nhược điểm : 10 Những hệ hìnhthức khó hiểu gây k ó k ă ro g việ rao đổi với khách ... h: 3.3 Đ T ĐỆ QUY Đặctả đệ quy thực chất cách thứ đặctả hàm theo dạng truy hồi Mộ đặctả gọi đệ quy phần biểu thức Where hàm có sử dụ g đến bả â Ví dụ : a xé àm đa g đượ đặctả àm ìm k ước chuỗi...
... t hình th c Trang 29 Các điểm chìa khoá ● ● ● ● Đặctả hệ thống hìnhthức bổ sung thêm vào kỹ thuật đặctảhìnhthứcĐặctảhìnhthức xác rõ ràng Chúng loại bỏ băn khoăn, nghi đặctảĐặctảhình ... t hình th c Trang Các chủ đề ● ● ● Đặctảhìnhthức qui trình phần mềm Đặctả giao diện hệ thống Đặctả hành vi Bùi Th H ng Ch ng c t hình th c Trang Các phương pháp hìnhthức ● ● ● Đặctảhình ... Giải thích lý kỹ thuật đặctảhìnhthức lại giúp hoàn thiện vấn đề yêu cầu hệ thống Mô tả cách sử dụng kỹ thuật đại số để đặctả â giao diện Mô tả cách sử dụng kỹ thuật dựa vào mô hình để đặc tả...
... trúc tập tin đặctả từ vựng 23 2.36 Ví dụ tập tin đặctả từ vựng 24 2.37 Cấu trúc tập tin đặctả cú pháp 24 3.1 Mô hình công cụ kiểm ... NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Đậu Quốc Toản NGHIÊN CỨU KHẢ NĂNG CHUYỂN ĐỔI GIỮA CÁC ĐẶCTẢHÌNHTHỨC VÀ ỨNG DỤNG TRONG KIỂM CHỨNG PHẦN MỀM Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật Phần ... 43 Kết luận 44 Tài liệu tham khảo 46 viii Danh sách hình vẽ 2.1 Ví dụ LTS 2.2 Phương pháp biểu diễn liệt kê LTS 2.3 Ví dụ LF ...
... lại loại đặctả sử dụng LTS loại đặctả sử dụng hàm lôgic Việc chuyển đổi cần thiết tận dụng ưu điểm loại đặctả Đó lí em lựa chọn đề tài “Phương pháp chuyển đổi qua lại đặctảhìnhthức cho ... đổi Với thuật toán mã hóa 4.1 4.2 đưa chương phía trước, hoàn toàn chuyển đổi từ dạng đặctả sử dụng LTS sang dạng đặctả sử dụng hàm lôgic từ dạng đặctả sử dụng hàm logic, dạng đặctả sử dụng ... đổi sang dạng đặctả biểu diễn dạng đặctả sử dụng hàm lôgic đoán nhận bởi dạng đặctả sử dụng hàm lôgic Mệnh đề 2: Ngôn ngữ dạng đặctả sử dụng hàm lôgic sau chuyển sang dạng đặctả biểu diễn...
... gen liên kết, ñiều khiển nhiều tính trạng quan trọng khả ñiều tiết áp suất thẩm thấu (OA), Khả chống chịu thủy phân, chúng liênkếtvới tính trạng hình thái học rễ lúa Biến thiên kiểu hình ñối với ... nghiệp thích ứng khôn ngoan với khí hậu - Xác ñịnh chế ñổi ñể kết nối tài cho biến ñổi khí hậu với ñầu tư vào nông nghiệp thích ứng khôn ngoan với khí hậu - Tăng cường lực lập kế hoạch thựcdự án thích ... thấy ñối với tính trạng chống chịu khô hạn thường thay ñổi từ ñến ñối với tính trạng thuộc thành phần kiện chống chịu hạn, QTL thường trải rộng toàn genome với nhiều nhóm liênkết gen Thí dụ, tính...