Bài giảng Đặc tả hình thức - Chương mở đầu: Nội dung môn học - Nguyễn Trần Thi Văn

Nội dung text: Bài giảng Đặc tả hình thức - Chương mở đầu: Nội dung môn học - Nguyễn Trần Thi Văn

1. Đại học Sư phạm Kỹ thuật TP. HCM Khoa Công nghệ Thông tin o0o BÀI GIẢNG MÔN ĐẶC TẢ HÌNH THỨC Chương mở đầu Nội dung môn học CBGD: Nguyễn Trần Thi Văn
2. Monday, June 14, 2021 Nội dung của chương 1. Chương trình môn học 2. Nội dung môn học 3. Hình thức đánh giá 4. Phần báo cáo trước lớp 5. Phần thực hành 6. Tài liệu học tập và TLTK Đặc tả hình thức Nội dung môn học 2
3. Monday, June 14, 2021 Chương trình môn học – Số tín chỉ: 4 (3 LT + 1 TH) – Số tiết: 75 (45 LT + 30 TH) – Học kỳ: 7 (học kỳ 1 năm thứ tư) – Thời gian học: 15 tuần – Số tiết/tuần: 5 Đặc tả hình thức Nội dung môn học 3
4. Monday, June 14, 2021 Nội dung môn học PHẦN A: Đặc tả – Chương 01: Tổng quan – Chương 02: Các cơ sở của đặc tả – Chương 03: Đặc tả các thành phần cơ bản – Chương 04: Đặc tả và tính đúng đắn của hàm PHẦN B: Ngôn ngữ XML – Ôn tập Đặc tả hình thức Nội dung môn học 4
5. Monday, June 14, 2021 Hình thức đánh giá • Điểm quá trình: 30% thang điểm – Báo cáo: 50% – Thi thực hành: 50% • Thi cuối kỳ: 70% thang điểm – Thi viết trên giấy – Thời lượng: khoảng 90 phút – Trắc nghiệm + Bài tập Đặc tả hình thức Nội dung môn học 5
6. Monday, June 14, 2021 Báo cáo trước lớp • Mỗi sinh viên tham dự lớp học sẽ thực hiện một báo cáo trước lớp. • Danh sách đề tài: được cung cấp vào buổi học thứ 3 của học kỳ. • Nội dung các đề tài: các chủ đề về ngôn ngữ XML (eXtensible Markup Language) • Chọn đề tài: bốc thăm Đặc tả hình thức Nội dung môn học 6
7. Monday, June 14, 2021 Báo cáo trước lớp (2) • Lịch báo cáo: kể từ tuần thứ 8 của học kỳ (buổi học thứ 5), mỗi tuần có 02 SV báo cáo. • Các buổi báo cáo được thực hiện vào tiết cuối của mỗi buổi học (bất kể là giờ lý thuyết hay thực hành). Đặc tả hình thức Nội dung môn học 7
8. Monday, June 14, 2021 Báo cáo trước lớp (3) • Nội dung báo cáo: mỗi SV chuẩn bị 1 báo cáo trình chiếu trong 30-40 phút về đề tài đã được giao. • Nội dung chi tiết và yêu cầu của từng đề tài sẽ được GV phụ trách môn học cung cấp. Đặc tả hình thức Nội dung môn học 8
9. Monday, June 14, 2021 Báo cáo trước lớp (4) • Hình thức đánh giá báo cáo: – GV chấm điểm riêng cho từng thành viên với hệ số 2. – Từng SV còn lại cho điểm SV báo cáo, lấy trung bình và có hệ số 1. – Tiêu chí đánh giá: • Mức độ chuẩn bị • Nội dung truyền đạt • Khả năng truyền đạt • Khả năng trả lời câu hỏi, Đặc tả hình thức Nội dung môn học 9
10. Monday, June 14, 2021 Báo cáo trước lớp (5) • Hình thức đánh giá báo cáo: – Mỗi lần 1 SV không thực hiện chấm điểm cho các SV khác (không có lý do chính đáng) sẽ bị GV trừ 1 điểm trong phần chấm điểm của GV dành cho SV đó. – Phần chấm điểm trung bình cho 1 SV khi không có đủ cột điểm vẫn được thực hiện bình thường. Đặc tả hình thức Nội dung môn học 10
11. Monday, June 14, 2021 Báo cáo trước lớp (6) • Điểm báo cáo chiếm 70% điểm quá trình. • Tất cả các báo cáo liên quan (file powerpoint, các ví dụ minh họa, v.v ) phải được nộp cho GV trễ nhất 3 ngày sau khi báo cáo, qua hộp thư formalspec2006@gmail.com, CC: ntthivan@gmail.com Đặc tả hình thức Nội dung môn học 11
12. Monday, June 14, 2021 Thực hành • Nội dung thực hành: XML • Bài tập thực hành được phát riêng trong 1 tài liệu khác. • SV sẽ làm 01 bài kiểm tra thực hành, lấy 30% điểm quá trình. • Điểm quá trình (các phần) sẽ được công bố vào buổi học cuối cùng của học kỳ. Đặc tả hình thức Nội dung môn học 12
13. Monday, June 14, 2021 Tài liệu học tập • Các bài giảng và tài liệu học tập được cung cấp và trao đổi qua hộp thư formalspec2006@gmail.com • Password: dactahinhthuc • Lưu ý: không tự ý thay đổi mật khẩu của hộp thư! Đặc tả hình thức Nội dung môn học 13
14. Monday, June 14, 2021 Tài liệu tham khảo 1. B.Potter, J.Sinclair, D.Till, Introduction to Formal Specification and Z, Prentice Hall,1991 2. B.Ratcliff, Introducing Specification Using Z: A Practical Case Study Approach, McGraw-Hill,1994 3. J.C.P.Woodcock, Using Standard Z: Specification, Proof and Refinement, Prentice Hall,1994 4. D.Andrews, D.Ince, Practical Formal Methods with VDM, McGraw-Hill,1993 5. Các tài liệu về XML. Đặc tả hình thức Nội dung môn học 14
15. Monday, June 14, 2021 HẾT CHƯƠNG MỞ ĐẦU (còn tiếp ) Đặc tả hình thức Nội dung môn học 15