» Từ khóa: lập trình

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 311 2 Download

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

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 322 2 Download

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

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 311 2 Download

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

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 316 2 Download

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

Bài viết này sẽ giúp cho mọi người hiểu rõ hơn về cách thức hoạt động của 1 file flash và nắm được 1 số khái niệm cơ bản. (Có khá nhiều khái niệm cần giải thích từ đầu nên bài viết sẽ chỉ đưa ra 1 vài khái niệm cơ bản nhất. Các khái niệm còn lại sẽ được lần lượt đi qua trong các bài viết sau) Flash hoạt động như thế nào? Khởi...

 23 p dtu 06/10/2012 288 2 Download

Từ khóa: thiết kế web, TWEEN hình chuyển động, giáo trình thiết kế web, lập trình web, quản trị web, công nghệ thông tin

C++ (đọc là "C cộng cộng" hay "xi-plus-plus", IPA: /siː pləs pləs/) là một loại ngôn ngữ lập trình. Đây là một dạng ngôn ngữ đa mẫu hình tự do có kiểu tĩnh và hỗ trợ lập trình thủ tục, dữ liệu trừu trượng, lập trình hướng đối tượng, và lập trình đa hình. Từ thập niên 1990, C++ đã trở thành một trong những ngôn ngữ thương mại phổ biến...

 10 p dtu 02/10/2012 348 2 Download

Từ khóa: ứng dụng máy tính, kỹ thuật máy tính, phần mềm ứng dụng, lập trình C, thự hành đồ họa

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 tượng, và...

 32 p dtu 02/10/2012 142 2 Download

Từ khóa: Giáo trình ngôn ngữ C, ngôn ngữ lập trình, kỹ thuật lập trình, lập trình C, lập trình máy tính, kỹ thuật máy tính

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 tượng, và...

 10 p dtu 02/10/2012 150 2 Download

Từ khóa: Giáo trình ngôn ngữ C, ngôn ngữ lập trình, kỹ thuật lập trình, lập trình C, lập trình máy tính, kỹ thuật máy tính

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 tượng, và...

 8 p dtu 02/10/2012 143 2 Download

Từ khóa: Giáo trình ngôn ngữ C, ngôn ngữ lập trình, kỹ thuật lập trình, lập trình C, lập trình máy tính, kỹ thuật máy tính

MỤC LỤC GIỚI THIỆU .......................................................................................................... 5 GIÁO TRÌNH LÝ THUYẾT....................................................................................... 6 TÀI LIỆU THAM KHẢO........................................................................................... 6 Bài 1...

 175 p dtu 28/09/2012 300 2 Download

Từ khóa: Công nghệ thông tin, Tin học ứng dụng, Thiết kế web, Độ họa web, Công nghệ web, Lập trình web

Cách tốt nhất để xây dựng các trang web với các trang web tiêu chuẩn phù hợp HTML và CSS. HTML đặt nền tảng cơ cấu nội dung, và sau đó CSS giúp và trình bày trang. Sử dụng chúng đúng cách với các tiêu chuẩn web đi đến các trang web nhanh hơn, dễ quản lý hơn, tương thích chéo hơn, và truy cập hơn so với các trang web xây dựng bất kỳ cách nào Cuốn...

 45 p dtu 25/09/2012 345 2 Download

Từ khóa: HTMLl dog beat practice guide XHTML & CSS, công nghệ thông tin, lập trình web, tổng hợp các bài tập cơ bản, biến trong java, kiểu chuỗi, các phương thức trên thanh trược

Tồn tại nhiều loại đối tượng có các thuộc tính và hành vi tương tự hoặc liên quan đến nhau: Person, Student, Manager,…Xuất hiện nhu cầu sử dụng lại cácmã nguồn đã viết, Sử dụng lại thông qua copy, Sử dụng lại thông qua quan hệ has_a, Sử dụng lại thông qua cơ chế “kế thừa”

 30 p dtu 16/05/2012 287 2 Download

Từ khóa: lập trình java, giáo trình lập trình, lập trình máy tính, code lập trình, ngôn ngữ lập trình, thủ thuật lập trình, Kế thừa của java, lớp kế thừa