Tài liệu, ebook Công Nghệ Thông Tin

Định lý 6.4: Nếu L được chấp nhận bởi một PDA chấp nhận chuỗi bởi Stack rỗng thì L là ngôn ngữ phi ngữ cảnh Cách xây dựng: Đặt G(V, T, P, S) là CFG, trong đó: • V là tập các đối tượng dạng [q, A, p] Đặt PDA M(Q, Σ, Γ, δ, q0, Z0, Ø) chấp nhận L với Stack rỗng • S là ký hiệu bắt đầu mới được thêm vào • P là tập các luật sinh dạng 1. S → [q0, ...

16 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 1341 | Lượt tải: 0

CFL ñóng với phép hợp, phép kết nối và phép bao ñóng Kleen. CFL không ñóng với phép giao CFL không ñóng với phép lấy phần bù

7 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 1331 | Lượt tải: 0

Software metrics provide a quantitative way to asses the quality of product attributes. • A software metric needs to be simple, computable, persuasive, consistent, and objective. • The function point and bang metrics provide quantitative means for evaluating the analysis model. • Metrics for design consider high-level, component level, and i...

32 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 3679 | Lượt tải: 0

PROS Model is downloadable Standard process for evaluating vendors (assessors are sanctioned by SEI) Training available on the model Includes all processes CONS Not recognized by some commercial vendors Requires significant training to interpret the model Assumes that the internal staff is a software/system expert Does not include human re...

47 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 1569 | Lượt tải: 0

1. Mục tiêu SQA: thỏa mãn khách hàng 2. Nguyên tắc SQA: bài bản, không ngừng cải tiến 3. Các yếu tố chất lượng McCall 4. Các thành phần của một hệ thống chất lượng

42 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 2137 | Lượt tải: 0

- Viết đặc tả PM - Thiết kế các chức năng phù hợp với yêu cầu - Viết kế hoạch dự án + KHĐBCL - Viết PM demo - Báo cáo viết (*.doc) cho tất cả các phần trên - Báo cáo nói (PPT) và Demo chương trình

32 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 1498 | Lượt tải: 0

Đồ án: điểm theo nhóm : 8-10 SV – Không có đăng kí nhóm: 0 điểm đồ án – Không tham gia đồ án: 0 điểm đồ án – Không nộp báo cáo viết/viết không đúng yêu cầu: không chấm điểm thực hành • Thi : – Vắng quá 20% giờ LT: cấm thi – Thi trắc nghiệm: mang theo viết chì 2B – Ghi/tô sai SBD: -1 điểm bài thi – Không ghi/tô Mã đề: 0 điểm thi

17 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 1517 | Lượt tải: 0

Tìm hiểu Firewall Tìm hiểu Proxy Server Tìm hiểu các phần mềm nguồn mở viết bằng java liên quan đến Firewall và Proxy Server trên mạng, cụ thể website sourceforge.net Viết báo cáo về chương trình (Lấy điểm, miễn thi)

26 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 1508 | Lượt tải: 0

Mô tả: Viết chương trình sắp xếp các dòng ở đầu vào, loại bỏ các dòng giống nhau và đánh số các dòng, sau đó in ra màn hình. Với ví dụ đầu vào là: hey Jude! don’t make it bad take a sad song and make it beter take a sad song and make it beter take a sad song and make it beter thì sẽ in ra là: 1 and make it beter 2 don’t make it bad 3 hey Jude!...

18 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 1835 | Lượt tải: 0

In (some) colloquial C style (not written by BS) It’s so long and complicated! How do I know it’s correct? My first reaction – BS See, you don’t need any fancy and complicated language features!!! not my comment – BS IMHO not a very good problem for using C Not an atypical application, but not low-level systems programming It’s also C++ exce...

44 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 1347 | Lượt tải: 0