» Từ khóa: Ngôn ngữ lập trình hệ thống

Kết quả 13-19 trong khoảng 19

Ngôn ngữ Lập trình C+ - Operator Overloading

So với C, C++ tăng cường thêm nhiều tính năng, bao gồm: khai báo như mệnh đề, chuyển kiểu giống như hàm, new/delete, bool, các kiểu tham chiếu, const, các hàm trong dòng (inline), các đối số mặc định, quá tải hàm, vùng tên (namespace), các lớp (bao gồm tất cả các chức năng liên quan tới lớp như kế thừa, hàm thành viên (phương pháp), hàm ảo, lớp trừu...

81 p dtu 17/10/2012 207 1

Từ khóa: Ra vào dữ liệu, Ngôn ngữ Lập trình C++, lập trình C++, kỹ thuật lập trình, lập trình máy tính, môi trường lập trình, hệ thống lập trình
Ngôn ngữ lập trình C++ – Ra vào dữ liệu

Trong tiêu chuẩn 1998 của C++ có hai phần chính: phần ngôn ngữ cốt lõi và phần Thư viện chuẩn C++(STL - Standard Template Library) . Phần thư viện này lại bao gồm hầu hết thư viện tiêu bản chuẩn và phiên bản có điều chỉnh chút ít của thư viện chuẩn C. Nhiều thư viện C++ hiện hữu không thuộc về tiêu chuẩn như là thư viện Boost. Thêm vào đó, nhiều thư...

94 p dtu 17/10/2012 270 2

Từ khóa: Ra vào dữ liệu, Ngôn ngữ Lập trình C++, lập trình C++, kỹ thuật lập trình, lập trình máy tính, môi trường lập trình, hệ thống lập trình
Ngôn ngữ lập trình C++ – Cấu trúc dữ liệu trừu tượng

Trong tiêu chuẩn 1998 của C++ có hai phần chính: phần ngôn ngữ cốt lõi và phần Thư viện chuẩn C++(STL - Standard Template Library) . Phần thư viện này lại bao gồm hầu hết thư viện tiêu bản chuẩn và phiên bản có điều chỉnh chút ít của thư viện chuẩn C. Nhiều thư viện C++ hiện hữu không thuộc về tiêu chuẩn như là thư viện Boost. Thêm vào đó, nhiều thư...

83 p dtu 17/10/2012 221 1

Từ khóa: Cấu trúc dữ liệu trừu tượng, Ngôn ngữ Lập trình C++, lập trình C++, kỹ thuật lập trình, lập trình máy tính, môi trường lập trình, hệ thống lập trình
Đặc tả hình thức - Đặc tả và tính đúng đắn của hàm

Phương pháp này chính là phương pháp kiểm thử chủ đạo được áp dụng trong giai đoạn lập trình và giai đoạn kiểm thử của quy trình phát triển phần mềm trên thế giới hiện nay. Các công cụ hỗ trợ phương pháp này: Công cụ phát sinh các dữ liệu thử nghiệm. Công cụ cho phép thực thi hàm và ghi nhận kết quả. Công cụ kiểm tra tính phù hợp của...

40 p dtu 11/10/2012 232 2

Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Các cơ sở của đặc tả

Thực hiện các phép toán trên mệnh đề. Lập bảng chân trị của 1 dạng mệnh đề. Chứng minh dạng mệnh đề là hằng đúng/sai. Chứng minh 2 dạng mệnh đề tương đương logic. Chứng minh các phép suy diễn trên mệnh đề.

68 p dtu 11/10/2012 225 2

Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - tổng quan

Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.

27 p dtu 11/10/2012 229 2

Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Nội dung môn học

Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.

15 p dtu 11/10/2012 227 2

Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên