Đặc tả ngôn ngữ lập trình

Luận án chú trọng phân tích, mô tả, xác lập các tiêu chí trong vai trò là công cụ xác định các đặc điểm tri nhận trong phạm trù kết cấu mệnh lệnh trong ngôn ngữ nguồn (tiếng Anh) và xem xét các tương đồng, dị biệt xuất hiện trong kết cấu mệnh lệnh ở ngôn ngữ đích (tiếng Việt) trong quá trình phân tích tích hợp đối chiếu.

249p thuyduong0620 01-08-2024 15 7   Download

Đồ án tốt nghiệp "Xây dựng hệ thống quản lý giờ giấc sinh hoạt của học sinh trường mẫu giáo tại Hải Phòng" được thực hiện với mục tiêu nhằm đặc tả hoạt động nghiệp vụ quản lý giờ giấc sinh hoạt của học sinh tại trường mẫu giáo theo phương pháp phân tích thiết kế hướng cấu trúc. Phân tích và thiết kế hệ thống theo phương pháp có cấu trúc đầy đủ theo cả 2 phương diện Dữ liệu và Xử lý. Viết chương trình thử nghiệm quản lý giờ giấc sinh hoạt học sinh trường mầm non tại Hải Phòng, theo ngôn ngữ lập trình tự chọn, dựa trên yêu cầu thiết kế hệ thống.

61p daonhiennhien 03-07-2024 3 3   Download

Đồ án tốt nghiệp "Xây dựng phần mềm quản lý hệ thống doanh nghiệp vận tải ở Hải Phòng" nhằm đặc tả chính xác được các hoạt động nghiệp vụ vận tải của doanh nghiệp. Phân tích và thiết kế hệ thống theo phương pháp có cấu trúc đầy đủ theo cả 2 phương diện Dữ liệu và Xử lý. Viết chương trình thử nghiệm quản lý hệ thống doanh nghiệp vận tải, theo ngôn ngữ lập trình tự chọn, dựa trên yêu cầu thiết kế hệ thống. Đảm bảo đồ án tốt nghiệp có chất lượng.

85p daonhiennhien 03-07-2024 14 7   Download

Phần 2 của cuốn sách "Ngôn ngữ lập trình C++ dành cho sinh viên (Lý thuyết)" cung cấp cho bạn đọc những nội dung gồm: Chương 8 - Đệ quy; Chương 9 - Mảng, Chương 10 - Ứng dụng Multi-file; Phụ lục A - Các quy tắc ưu tiên; Phụ lục B - Các Hàm toán học trong math.h; Phụ lục C - Các thư viện hữu ích;... Mời các bạn cùng tham khảo!

276p khuynhlinhnguyet1009 05-04-2024 11 7   Download

Bài giảng "Xây dựng chương trình dịch: Bài 10 - Phân tích ngữ nghĩa" cung cấp cho người học các kiến thức: những vấn đề ngữ nghĩa: luật về phạm vi ảnh hưởng của biến, các sơ đồ dịch để xây dựng bảng ký hiệu; kiểm tra kiểu (type checking): hệ thống kiểu trong ngôn ngữ lập trình, đặc tả một bộ kiểm tra kiểu, chuyển đổi kiểu;... Mời các bạn cùng tham khảo nội dung chi tiết.

52p kimphuong1128 20-09-2023 13 4   Download

Bài giảng Kỹ thuật lập trình: Ngôn ngữ lập trình C# phần 3: Nhập xuất cơ bản và các hàm thông dụng có sẵn, được biên soạn gồm các nội dung chính sau: Hàm nhập xuất; Các hàm thông dụng. Mời các bạn cùng tham khảo!

20p chankora09 29-06-2023 13 4   Download

Mục tiêu của bài giảng "Kiến trúc máy tính" nhằm liệt kê được các thành phần cơ bản của bộ vi xử lí, mô tả được kiến trúc RISC và kĩ thuật đường ống, phân biệt được các đặc trưng cơ bản của các họ vi xử lí thông dụng: intel 80x86, pentium,... Bài giảng trình bày 3 nội dung: kiến trúc vi xử lí trung tâm Intel 80x86, bộ vi xử lí Intel 80386, bộ vi xử lí 80486 và Pentium.

46p thanhthanh191 20-06-2022 64 5   Download

Giáo trình Trí tuệ nhân tạo - Phần 2: Biểu diễn tri thức và lập luận, Phần này đề cập đến các ngôn ngữ biểu diễn tri thức, đặc biệt là các logic và các phương pháp luận trong mỗi ngôn ngữ biểu diễn tri thức. Các kỹ thuật biểu diễn tri thức và lập luận đóng vai trò quan trọng trong việc thiết kế các hệ thông minh. Mời các bạn cùng tham khảo!

286p hoaanhdao709 19-01-2022 81 17   Download

Tài liệu môn Công nghệ phần mềm cung cấp cho người học những kiến thức như: Phần mềm và công nghệ phần mềm; Phân tích và đặc tả yêu cầu; Thiết kế phần mềm; Lập trình; Xác minh và thẩm định; Sưu liệu phần mềm; Quản lý dự án phần mềm;...Mời các bạn cùng tham khảo!

136p ganuongmuoimatong 10-08-2021 84 11   Download

Đề tài này chọn phương pháp lập trình với ngôn ngữ python để mô hình hóa mẫu dữ liệu mẫu ngẫu nhiên. Việc mô tả dữ liệu bằng phương pháp này có vai trò quan trọng, nó giúp cho chúng ta phân tích được những đặc tính của dữ liệu, mối quan hệ giữa các mẫu khác nhau. Từ đó đưa ra được kết quả chính xác cho mẫu dữ liệu. Mời các bạn cùng tham khảo!

6p maoamin 30-06-2021 52 9   Download

Bài giảng đã giải thích các đặc tính của phương pháp hướng đối tượng, mô tả các pha của phương pháp hướng đối, định nghĩa lớp trong C thăng, khai báo biến, viết và chạy chương trình C thăng. Mời các bạn cùng tham khảo nội dung chi tiết.

44p abcxyz123_08 12-04-2020 34 4   Download

Chương 7 - Lập trình ứng dụng cho giao thức UDP. Chương này giới thiệu giao thức UDP và các đặc trưng của giao thức này. Tiếp đến ta đi vào tìm hiểu các lớp DatagramPacket và DatagramSocket để viết các chương trình ứng dụng mạng cho giao thức UDP.

20p kexauxi4 01-10-2019 54 4   Download

Chương này trình bày các khái niệm căn bản về ngôn ngữ lập trình Java. Giới thiệu lịch sử phát triển và cấu trúc của máy ảo Java. Những đặc trưng đã tạo nên sức mạnh của ngôn ngữ Java cũng được giới thiệu trong chương này. Cũng trong chương này chúng ta sẽ đi vào tìm hiểu cách cấu hình và cài đặt môi trường biên dịch, chạy và soạn thảo ngôn ngữ Java. Tiếp đến ta sẽ đi vào tìm hiểu các thành phần cơ bản của Java như kiểu dữ liệu, cấu trúc lệnh tuần tự rẽ nhánh, lặp, và nhảy.

43p kexauxi4 01-10-2019 52 3   Download

Luận án trình bày tổng quan nghiên cứu về lập luận, luật tục và luật tục Êđê; về mối quan hệ giữa ngôn ngữ và văn hoá...; Xác định và miêu tả cấu trúc lập luận trong luật tục Êđê; Lí giải đặc trưng văn hoá của người Êđê được phản ánh qua lập luận trong luật tục.

165p quenchua 30-09-2019 73 12   Download

Cấu trúc của mô hình được đề xuất chủ yếu căn cứ vào đặc điểm, nhu cầu sử dụng của phụ tải và ảnh hưởng lớn đến độ tin cậy và hiệu quả vận hành EH. Để minh chứng cho vấn đề này, bài báo tiến hành tính toán vận hành tối ưu EH với nhiều cấu trúc khác nhau (thông qua 12 kịch bản vận hành) với dữ liệu phụ tải giả thiết áp dụng tính toán cho một khu đô thị mới tại Việt Nam.

8p viboruto2711 15-05-2019 41 2   Download

Trong luận văn này tác giả đã tập trung tìm hiểu về bộ công cụ kiểm chứng Uppaal, đi sâu vào tìm hiểu ngôn ngữ đặc tả của Uppaal, tìm hiểu cách đặc tả một hệ thống phần mềm dưới dạng các ô-tô-mát thời gian và điều khiển sự vận hành của hệ thống thông qua ngôn ngữ lập trình C++, cũng như tìm hiểu cơ chế kiểm chứng của bộ công cụ này cho các hệ thống thời gian thực.

63p hanh_tv26 04-04-2019 49 6   Download

Bài giảng "Xây dựng chương trình dịch - Bài 10: Phân tích ngữ nghĩa" trình bày các nội dung: Những vấn đề ngữ nghĩa, kiểm tra kiểu (hệ thống kiểu trong ngôn ngữ lập trình, đặc tả một bộ kiểm tra kiểu, chuyển đổi kiểu), bảng ký hiệu (luật về phạm vi ảnh hưởng của biến, các sơ đồ dịch để xây dựng bảng ký hiệu). Mời các bạn cùng tham khảo nội dung chi tiết.

9p tieu_vu16 03-01-2019 58 3   Download

Bài giảng chương 1 trình bày những nội dung cơ bản như: Ngôn ngữ lập trình, trình biên dịch, các mối liên quan với trình biên dịch, nhóm các giai đoạn của trình biên dịch. Mời các bạn cùng tham khảo.

19p dien_vi01 04-10-2018 72 3   Download

Bài giảng chương 2 trình bày những nội dung cơ bản như: Định nghĩa cú pháp, sự biên dịch trực tiếp cú pháp (syntax-directed translation), phân tích cú pháp, trình biên dịch cho biểu thức đơn giản, sự phân tích từ vựng, sự hình thành bảng danh biểu, máy trừu tượng kiểu chồng,... Mời các bạn cùng tham khảo.

42p dien_vi01 04-10-2018 49 3   Download

Bài giảng chương 3 trình bày những nội dung cơ bản như: Vai trò cuả bộ phân tích từ vựng, các tính chất của token, chứa tạm chương trình nguồn, đặc tả token, nhận dạng token, sơ đồ dịch,... Mời các bạn cùng tham khảo để biết thêm chi tiết.

33p dien_vi01 04-10-2018 75 2   Download