» Từ khóa: phần mề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 405 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 415 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 418 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 416 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

MISA-SME phiên bản 7.9 là phần mềm kế toán cho các doanh nghiệp. Phần mềm được thiết kế từ nhiều phân hệ độc lập, tích hợp với nhau tạo thành một hệ thống quản trị tài chính chặt chẽ. MISA-SME phiên bản 7.9 chạy trên máy tính cá nhân hoặc mạng cục bộ cho phép nhiều người cùng chia sẻ một tệp dữ liệu. Với nhiều năm kinh nghiệm trong lĩnh...

 244 p dtu 05/10/2012 399 2 Download

Từ khóa: phần mềm kế toán, đề tài kế toán, tồng hợp kế toán, luận văn kế toán, bài tập kế toán, kế toán doanh nghiệp, kế toán tài chính

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 460 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

Nếu thực hiện nhiều thao tác vẽ trực tiếp trên device context của màn hình thì sẽ bị tình trạng màn hình bị “giật”. Khi sử dụng kỹ thuật MemDC có thể hạn chế được hiện tượng “giật” màn hình: Trước tiên cần tạo ra 1 device context ảo trong bộ nhớ tương thích với device context thật sự cần xử lý. Sau đó, tất cả mọi thao tác vẽ sẽ...

 8 p dtu 02/10/2012 351 2 Download

Từ khóa: điều khiển visual c, ứng dụng máy tính, kỹ thuật máy tính, phần mềm ứng dụng, phần mềm visual c, giao diện visual c

Như các bạn đã biết Windows Communication Foundation là một nền tảng lập trình phân tán dựa trên cơ sở các bản tin SOAP. Do vậy cần phải đảm bảo tính bảo mật của các bản tin trao đổi giữa client với dịch vụ để có thể bảo vệ được dữ liệu khỏi những đối tượng không mong muốn. Việc này có thể thực hiện nhờ vào việc WCF hỗ trợ trao đổi...

 15 p dtu 01/10/2012 321 2 Download

Từ khóa: phục hồi máy tính, crack phần mềm, ứng dụng máy tính, kỹ thuật máy tính, phần mềm ứng dụng, phần mềm WCF

WCF là công nghệ nền tảng nhằm thống nhất nhiều mô hình lập trình giao tiếp được hỗ trợ trong .NET 2.0 thành một mô hình duy nhất. Vào tháng 11 năm 2005, .NET 2.0 được Microsoft phát hành trong đó có cung cấp các hàm API riêng biệt cho các liên lạc dựa trên SOAP để tối đa hoá sự làm việc giữa các nền tảng sử dụng Web Services, đồng thời .NET 2.0 còn...

 16 p dtu 01/10/2012 351 2 Download

Từ khóa: phục hồi máy tính, crack phần mềm, ứng dụng máy tính, kỹ thuật máy tính, phần mềm ứng dụng, phần mềm WCF

Silverlight cho phép HTTP / HTTPS giao tiếp với các dịch vụ lƣu trữ trên máy chủ web với cả hai trƣờng hợp bên trong và bên ngoài tên miền của bạn đƣợc lƣu trữ trên cơ sở ứng dụng Silverlight. Chủ đề này thảo luận về một số kịch bản HTTP giao tiếp và làm thế nào để bạn có thể kích hoạt các kịch bản.

 14 p dtu 01/10/2012 322 2 Download

Từ khóa: phục hồi máy tính, crack phần mềm, ứng dụng máy tính, kỹ thuật máy tính, phần mềm ứng dụng, phần mềm Silverlight

Trong các ứng dụng trên nền tảng Silverlight 2 có cho phép truy cập dữ liệu theo nhiều công nghệ hay phƣơng thức khác nhau. Cách đơn giản nhất để hiển thị và tƣơng tác ngƣời dùng là Data Binding. Cách khác nữa để truy cập dữ liệu từ ứng dụng máy khách, nhƣ là một sự thay thế tối ƣu của cookie, chúng ta có thể sử dụng công nghệ Isolated Storage....

 16 p dtu 01/10/2012 373 2 Download

Từ khóa: phục hồi máy tính, crack phần mềm, ứng dụng máy tính, kỹ thuật máy tính, phần mềm ứng dụng, phần mềm Silverlight

Animation là một ảo giác đƣợc tạo ra bằng cách thay đổi một loạt các hình ảnh. Não nhận các hình ảnh nhƣ là một thay đổi cảnh. Trong phim ảo giác này được tạo bằng cách sử dụng các camera có ghi lại rất nhiều hình ảnh, khi hình ảnh đƣợc phát trở lại bằng một máy chiếu, các khán giả thấy một hình ảnh chuyển động. Silverlight có chứa rất...

 8 p dtu 01/10/2012 361 2 Download

Từ khóa: phục hồi máy tính, crack phần mềm, ứng dụng máy tính, kỹ thuật máy tính, phần mềm ứng dụng, phần mềm Silverlight