TRƯỜNG ĐẠI HỌC CÔNG NGHỆ CHƯƠNG TRÌNH ĐÀO TẠO TRÌNH ĐỘ TIẾN SĨ Chuyên ngành: Kỹ thuật phần mềm

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập – Tự – Hạnh phúc CHƯƠNG TRÌNH ĐÀO TẠO TRÌNH ĐỘ TIẾN SĨ Chuyên ngành: Kỹ thuật phần mềm (Ban hành theo Quyết định số 1158 /QĐ-ĐHCN ngày 15 tháng 11 năm 2018 Hiệu trưởng Trường Đại học Công nghệ) PHẦN I: GIỚI THIỆU CHUNG VỀ CHƯƠNG TRÌNH ĐÀO TẠO Một số thơng tin chun ngành đào tạo - Tên chuyên ngành đào tạo: + Tên tiếng Việt: Kỹ thuật phần mềm + Tên tiếng Anh: Software Engineering - Mã số chuyên ngành đào tạo: 9480103.01 - Tên ngành đào tạo: + Tên tiếng Việt: Kỹ thuật phần mềm + Tên tiếng Anh: Software Engineering - Trình độ đào tạo: Tiến sĩ - Tên văn tốt nghiệp: + Tên tiếng Việt: Tiến sĩ ngành Kỹ thuật phần mềm + Tên tiếng Anh: The degree of Doctor of Phylosophy in Software Engineering - Đơn vị giao nhiệm vụ đào tạo: Trường Đại học Công nghệ, ĐHQGHN Mục tiêu chương trình đào tạo 2.1 Mục tiêu chung Đào tạo chuyên gia có khả nghiên cứu chuyên sâu Công nghệ phần mềm, có khả nghiên cứu độc lập, biết xây dựng dự án nghiên cứu, tham gia lãnh đạo nhóm nghiên cứu, góp phần phát triển ngành công nghệ phần mềm nước nhà 2.2 Mục tiêu cụ thể - Về kiến thức: Nâng cao đến mức độ đại kiến thức Công nghệ phần mềm (CNPM), bổ sung nâng cao kiến thức logic biểu diễn hình thức - Về kỹ năng: Hồn thiện kỹ phân tích, thiết kế hệ thống phần mềm, kỹ nghiên cứu chuyên sâu lý thuyết công nghệ - Về lực: Tiến sĩ chuyên ngành Kỹ thuật phần mềm (KTPM) có hiểu biết sâu rộng cập nhật lĩnh vực phát triển phần mềm, có lực nghiên cứu hướng dẫn nghiên cứu vấn đề mang tính lý thuyết CNPM, có lực hình thức hóa cao vấn đề phát triển phần mềm - Về nghiên cứu: Tiến sĩ chuyên ngành KTPM có khả thực việc nghiên cứu theo hướng sau: Tiến trình phát triển phần mềm, mơ hình hóa kiểm chứng phần mềm, sử dụng lại phát triển phần mềm, phát triển hệ thống nhúng, thời gian thực Thơng tin tuyển sinh 3.1 Hình thức tuyển sinh Xét tuyển theo quy định ĐHQGHN 3.2 Đối tượng tuyển sinh Thí sinh dự tuyển vào chương trình đào tạo tiến sĩ phải đáp ứng điều kiện sau đây: a) Lí lịch thân rõ ràng, khơng thời gian thi hành án hình sự, kỉ luật từ mức cảnh cáo trở lên b) Có đủ sức khoẻ để học tập c) Có tốt nghiệp đại học quy ngành từ loại giỏi trở lên thạc sĩ ngành/chuyên ngành đúng, ngành/chuyên ngành phù hợp ngành/chuyên ngành gần với ngành/chuyên ngành đăng kí dự tuyển; d) Văn sở giáo dục nước ngồi cấp phải thực thủ tục cơng nhận theo quy định hành e) Trong thời hạn 03 năm (36 tháng) tính đến ngày đăng kí dự tuyển tác giả đồng tác giả tối thiểu 01 báo thuộc tạp chí khoa học chuyên ngành 01 báo cáo khoa học đăng kỉ yếu hội nghị, hội thảo khoa học quốc gia quốc tế có phản biện, có mã số xuất ISBN liên quan đến lĩnh vực đề tài nghiên cứu, hội đồng chức danh giáo sư, phó giáo sư ngành/liên ngành cơng nhận Đối với người có thạc sĩ hồn thành luận văn thạc sĩ với khối lượng học học tập 10 tín chương trình đào tạo thạc sĩ phải có tối thiểu 02 báo/báo cáo khoa học f) Có đề cương nghiên cứu, nêu rõ tên đề tài dự kiến, lĩnh vực nghiên cứu; lí lựa chọn lĩnh vực, đề tài nghiên cứu; giản lược tình hình nghiên cứu lĩnh vực ngồi nước; mục tiêu nghiên cứu; số nội dung nghiên cứu chủ yếu; phương pháp nghiên cứu dự kiến kết đạt được; lí lựa chọn đơn vị đào tạo; kế hoạch thực thời gian đào tạo; kinh nghiệm, kiến thức, hiểu biết chuẩn bị thí sinh cho việc thực luận án tiến sĩ Trong đề cương đề xuất cán hướng dẫn g) Có thư giới thiệu 01 nhà khoa học có chức danh giáo sư, phó giáo sư học vị tiến sĩ khoa học, tiến sĩ tham gia hoạt động chuyên môn với người dự tuyển am hiểu lĩnh vực chuyên môn mà người dự tuyển dự định nghiên cứu Thư giới thiệu phải có nhận xét, đánh giá người dự tuyển về: - Phẩm chất đạo đức, lực thái độ nghiên cứu khoa học, trình độ chun mơn người dự tuyển; - Đối với nhà khoa học đáp ứng tiêu chí người hướng dẫn nghiên cứu sinh đồng ý nhận làm cán hướng dẫn luận án, cần bổ sung thêm nhận xét tính cấp thiết, khả thi đề tài, nội dung nghiên cứu; nói rõ khả huy động nghiên cứu sinh vào đề tài, dự án nghiên cứu nguồn kinh phí chi cho hoạt động nghiên cứu nghiên cứu sinh; - Những nhận xét khác mức độ ủng hộ, giới thiệu thí sinh làm nghiên cứu sinh h) Người dự tuyển phải có văn bằng, chứng minh chứng lực ngoại ngữ phù hợp với chuẩn đầu ngoại ngữ chương trình đào tạo ĐHQGHN phê duyệt: - Có chứng ngoại ngữ (theo Bảng tham chiếu chứng tiếng nước quy định Phụ lục 1, quy chế đào tạo tiến sĩ ĐHQGHN theo định 4555/QĐ-ĐHQGHN ngày 24/11/2017 Giám đốc ĐHQGHN) tổ chức khảo thí quốc tế Việt Nam công nhận thời hạn 24 tháng kể từ ngày thi lấy chứng tính đến ngày đăng kí dự tuyển; - Bằng cử nhân thạc sĩ sở đào tạo nước cấp cho chương trình đào tạo tồn thời gian nước ngồi ngơn ngữ phù hợp với ngơn ngữ u cầu theo chuẩn đầu chương trình đào tạo; - Có đại học ngành ngơn ngữ nước ngồi sư phạm tiếng nước phù hợp với ngoại ngữ theo yêu cầu chuẩn đầu chương trình đào tạo, sở đào tạo Việt Nam cấp; - Trong trường hợp tiếng Anh, người dự tuyển phải có khả giao tiếp tiếng Anh chuyên môn cho người khác hiểu tiếng Anh hiểu người khác trình bày vấn đề chun mơn tiếng Anh Hội đồng tuyển sinh thành lập tiểu ban để đánh giá lực tiếng Anh giao tiếp chun mơn thí sinh thuộc đối tượng này; i) Có cơng văn cử dự tuyển quan quản lí trực quy định hành đào tạo bồi dưỡng công chức, viên chức (nếu người dự tuyển công chức, viên chức) j) Cam kết thực nghĩa vụ tài trình đào tạo theo quy định đơn vị đào tạo 3.3 Danh mục chuyên ngành phù hợp chuyên ngành gần - Danh mục chuyên ngành phù hợp: chuyên ngành lĩnh vực Máy tính Cơng nghệ thơng tin - Danh mục chun ngành gần: Cơ sở toán học cho tin học, Khoa học tính tốn, Tốn tin; chun ngành thuộc nhóm Kỹ thuật điện, điện tử viễn thông - Các trường hợp đặc biệt khác: Do Chủ tịch Hội đồng tuyển sinh đơn vị đào tạo thành lập tiểu ban chuyên môn xem xét, định 3.4 Dự kiến quy mô tuyển sinh: 07 NCS/năm PHẦN II CHUẨN ĐẦU RA CỦA CHƯƠNG TRÌNH ĐÀO TẠO Yêu cầu chất lượng luận án Thể qua việc phát giải vấn đề mới, đóng góp cho khoa học thực tiễn, công bố tối thiểu (trong thời gian làm nghiên cứu sinh) 02 báo kết nghiên cứu luận án tạp chí khoa học chun ngành tối thiểu có 01 đăng tạp chí khoa học thuộc danh mục tạp chí ISI/Scopus 02 báo cáo kỉ yếu hội thảo quốc tế có uy tín xuất tiếng nước ngồi có phản biện, có mã số ISBN; 02 báo đăng tạp chí khoa học chun ngành có uy tín nước ngồi Cụ thể: ̶ Luận án phải cơng trình nghiên cứu khoa học độc lập, có đóng góp cho việc giải vấn đề khoa học, lí luận thực tiễn đặt ra, góp phần xây dựng, hình thành khung lí thuyết mới, hệ tư tưởng phù hợp với chuyên ngành Công nghệ phần mềm; ̶ Đề tài luận án phải tiểu ban chuyên mơn thơng qua quy trình xét tuyển đào tạo trình độ tiến sĩ, thủ trưởng đơn vị đào tạo định giao đề tài người hướng dẫn ̶ Kết nghiên cứu luận án phải kết lao động tác giả thu chủ yếu thời gian đào tạo Nếu sử dụng kết quả, tài liệu người khác (bảng, biểu, cơng thức, đồ thị tài liệu khác) phải tác giả đồng ý trích dẫn tường minh Nếu luận án cơng trình khoa học phần cơng trình khoa học tập thể tác giả đóng góp phần phải xuất trình văn thể trí thành viên tập thể cho tác giả sử dụng kết chung tập thể để viết luận án; ̶ Luận án phải công trình nghiên cứu khoa học sáng tạo nghiên cứu sinh, có đóng góp mặt lí luận thực tiễn lĩnh vực nghiên cứu giải pháp có giá trị việc phát triển, gia tăng tri thức khoa học lĩnh vực Máy tính Công nghệ thông tin, giải sáng tạo vấn đề ngành Công nghệ thông tin hay thực tiễn kinh tế - xã hội; ̶ Kết luận án có giá trị lĩnh vực Cơng nghệ phần mềm, lí thuyết khoa học thực tiễn quản lí, tạo dựng giá trị bền vững thơng qua hoạt động người học Yêu cầu kiến thức chun mơn Kiến thức nhóm chun ngành (đối với NCS từ cử nhân) - Đọc hiểu trình bày tài liệu tiếng Anh chuyên ngành; - Hiểu vận dụng khái niệm chung quy trình phát triển phần mềm, kỹ thuật xây dựng hệ thống phần mềm có chất lượng; - Hiểu vận dụng khái niệm chung liên quan đến kiến thức lĩnh vực Cơng nghệ thơng tin Trí tuệ nhân tạo, Tương tác người máy, Mật mã an toàn liệu Kiến thức chuyên ngành (đối với NCS từ cử nhân) - Hoàn thiện vận dụng tốt kỹ thuật phân tích thiết kế hệ thống; - Hiểu vận dụng kỹ thuật kiểm thử đảm bảo chất lượng phần mềm Có khả xây dựng công cụ hỗ trợ kiểm thử tự động; - Hiểu vận dụng kiến trúc phần mềm đại việc xây dựng hệ thống phần mềm; - Biết cách hình thức hóa yêu cầu phần mềm, sử dụng số ngôn ngữ cơng cụ hỗ trợ việc hình thức hóa; - Vận dụng kiến thức liên quan đến quản lý dự án phần mềm công việc; - Biết cách cập nhật kiến thức đại chuyên ngành Công nghệ phần mềm; - Biết vận dụng kỹ thuật, công nghệ ngành Công nghệ thông tin, ứng dụng phát triển phần mềm đặc biệt, bảo đảm chất lượng hệ thống Kiến thức học phần chuyên đề tiến sĩ - Vận dụng tốt phương pháp nghiên cứu kỹ thuật viết báo cáo khoa học; - Biết hình thức hóa mơ hình hệ thống; - Sử dụng thành thạo ngơn ngữ hình thức cơng cụ hỗ trợ; - Hiểu biết nhiều hệ thống phần mềm chuyên dụng Yêu cầu lực nghiên cứu - Thành thạo kỹ thiết lập giả thiết; - Thành thạo kỹ dùng thực nghiệm để khám phá kiến thức; - Thành thạo kỹ kiểm nghiệm bảo vệ giả thiết; - Thành thạo kỹ áp dụng kiến thức vào thực tế; - Thành thạo kỹ thu thập thông tin Yêu cầu kĩ Kĩ nghề nghiệp: - Biết phát tri thức trình bày cách khoa học; - Biết sử dụng công cụ phần mềm hỗ trợ công việc; - Biết vận dụng qui trình thiết kế, phân đoạn qui trình thiết kế phương pháp tiếp cận; - Biết vận dụng qui trình lập kế hoạch, xếp cơng việc, quản lý thời gian nguồn lực; - Biết tìm kiếm, cập nhật, tổng hợp, khai thác thông tin; - Biết tối ưu hóa phương pháp triển khai cơng việc; - Biết sử dụng kiến thức chuyên môn cách linh hoạt; - Có lực nghiên cứu khả lãnh đạo Kĩ bổ trợ: - Có tư logic; - Có tư phân tích, tổng hợp; - Nắm bắt nhu cầu xã hội kiến thức khoa học chun ngành - Có lực phân tích yêu cầu; - Có lực thiết kế giải pháp; - Có lực thực thi giải pháp; - Có lực vận hành hệ thống; - Có lực tiếp thu cơng nghệ - Biết hợp tác, có khả lãnh đạo thành viên khác nhóm; u cầu phẩm chất Trách nhiệm cơng dân - Trung thực; - Khiêm tốn; - Có trách nhiệm; Trách nhiệm, đạo đức, ý thức tác phong nghề nghiệp, thái độ phục vụ - Trung thực với khoa học, không đạo văn; - Trung thành với tổ chức; - Nhiệt tình say mê cơng việc - Có ý thức phục vụ; Mức tự chủ trách nhiệm - Nghiên cứu, sáng tạo tri thức - Thích ứng, tự định hướng dẫn dắt người khác - Phán quyết, định mang tính chun gia - Quản lý nghiên cứu có trách nhiệm cao việc học tập để phát triển tri thức chuyên nghiệp Vị trí làm việc nghiên cứu sinh sau tốt nghiệp - Giảng viên Máy tính Cơng nghệ Thơng tin; - Nghiên cứu viên viện nghiên cứu/công ty; - Chuyên gia nghiên cứu, phát triển hệ thống liên quan CNTT, đặc biệt hệ thống liên quan đến Công nghệ phần mềm Khả học tập, nâng cao trình độ sau tốt nghiệp Sau tốt nghiệp, người học tự nghiên cứu chuyên sâu vấn đề chun ngành cơng nghệ phần mềm; Có thể tự học tập, nâng cao trình độ để nghiên cứu chuyên ngành khác thuộc ngành công nghệ thông tin Các chương trình, tài liệu sở đào tạo tiến sĩ có uy tín quốc tế mà đơn vị đào tạo tham khảo - Chương trình đào tạo sau đại học Trường Khoa học thông tin, Viện Khoa học Công nghệ Tiên tiến Nhật Bản, Nhật Bản - Chương trình đào tạo sau đại học Đại học Wollongong, Úc PHẦN III NỘI DUNG CHƯƠNG TRÌNH ĐÀO TẠO Tóm tắt u cầu chương trình đào tạo 1.1 Đối với NCS chưa có thạc sĩ Người học phải hồn thành học phần chương trình đào tạo thạc sĩ chuyên ngành Kỹ thuật phần mềm nội dung chương trình đào tạo tiến sĩ Tổng số tín phải tích lũy: 139 tín chỉ, đó: - Phần 1: Các học phần bổ sung : + Khối kiến thức chung: 42 tín tín + Khối kiến thức sở chuyên ngành:  Bắt buộc: 18 tín  Tự chọn: 21/48 tín 39 tín - Phần 2: Các học phần, chuyên đề tiến sĩ tiểu luận tổng quan: 17 tín + Các học phần tiến sĩ: tín  Bắt buộc: tín  Tự chọn: 3/6 tín + Chuyên đề NCS: tín + Tiểu luận tổng quan: tín - Phần 3: Nghiên cứu khoa học (là yêu cầu bắt buộc với nghiên cứu sinh khơng tính số tín chương trình đào tạo) - Phần 4: Tham gia sinh hoạt chuyên môn, công tác trợ giảng hỗ trợ đào tạo (là yêu cầu bắt buộc với nghiên cứu sinh khơng tính số tín chương trình đào tạo) - Phần 5: Luận án tiến sĩ: 80 tín 1.2 Đối với NCS có thạc sĩ chuyên ngành gần Tổng số tín phải tích lũy: 106 tín chỉ, đó: - Phần 1: Các học phần bổ sung: tín (tự chọn1) - Phần 2: Các học phần, chuyên đề NCS tiểu luận tổng quan: 17 tín Các mơn học khơng trùng với môn học phải đồng ý người hướng dẫn + Các học phần tiến sĩ: tín  Bắt buộc: tín  Tự chọn: 3/6 tín + Chuyên đề NCS: tín + Tiểu luận tổng quan: tín - Phần 3: Nghiên cứu khoa học (là yêu cầu bắt buộc với nghiên cứu sinh khơng tính số tín chương trình đào tạo) - Phần 4: Tham gia sinh hoạt chuyên môn, công tác trợ giảng hỗ trợ đào tạo (là yêu cầu bắt buộc với nghiên cứu sinh không tính số tín chương trình đào tạo) - Phần 5: Luận án tiến sĩ: 80 tín 1.3 Đối với NCS có thạc sĩ chuyên ngành phù hợp Tổng số tín phải tích lũy: 97 tín chỉ, đó: - Phần 1: Các học phần, chuyên đề tiến sĩ tiểu luận tổng quan: 17 tín + Các học phần tiến sĩ: tín  Bắt buộc: tín  Tự chọn: 3/6 tín + Chuyên đề NCS: tín + Tiểu luận tổng quan: tín - Phần 2: Nghiên cứu khoa học (là yêu cầu bắt buộc với nghiên cứu sinh khơng tính số tín chương trình đào tạo) - Phần 3: Tham gia sinh hoạt chuyên môn, công tác trợ giảng hỗ trợ đào tạo (là yêu cầu bắt buộc với nghiên cứu sinh khơng tính số tín chương trình đào tạo) - Phần 4: Luận án tiến sĩ: 80 tín Khung chương trình 2.1 Khung chương trình dành cho NCS chưa có thạc sĩ Tên học phần STT Mã học phần (ghi tiếng Việt tiếng Anh) Số tín Số tín Mã học Lí Thực Tự phần tiên thuyết hành học 10 Tên học phần STT Mã học phần Số tín (ghi tiếng Việt tiếng Anh) Số tín Mã học Lí Thực Tự phần tiên thuyết hành học PHẦN CÁC HỌC PHẦN BỔ SUNG I Khối kiến thức chung PHI 5001 Triết học Phylosophy 45 0 20 25 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 II Khối kiến thức sở chuyên ngành 39 II.1 Bắt buộc 18 INT 6120 Phương pháp luận nghiên cứu khoa học Scientific Research Methodology Mạng truyền liệu nâng cao INT 6135 INT 6122 INT 6121 INT 6169 INT 6030 Advanced Computer and Communication Network Cơ sở liệu nâng cao Advanced Database Systems Công nghệ phần mềm nâng cao Advanced Software Engineering Phân tích thiết kế hệ thống nâng cao Advanced System Analysis and Design Các vấn đề đại công nghệ phần mềm Advanced Topics on Software Engineering II.2 Tự chọn 10 11 INT 6146 INT 6164 INT 6151 INT 6138 21/48 Trí tuệ nhân tạo nâng cao Advanced Artificial Intelligence Tương tác người – máy Human Computer Interaction Học máy thống kê Statical Machine Learning Mật mã an toàn liệu Cryptogaphy and Data Security 11 Tên học phần STT 12 13 14 15 16 17 18 19 20 21 Mã học phần INT 6155 INT 6176 INT 6179 INT 6171 INT 6156 INT 6172 INT 6173 INT 6177 INT 6175 INT 6178 Số tín Số tín (ghi tiếng Việt tiếng Anh) Các ngun lý ngơn ngữ lập trình Principles Languages of Programming Lập trình mạng Network Programming Quản lý dự án phần mềm Software Project Management Công nghệ phần mềm nhúng Embedded Software Engineering Các phương pháp hình thức cho phát triển phần mềm Formal Methods for Software Development Kiểm thử đảm bảo chất lượng phần mềm Software Testing and Quality Assurance Kiến trúc phần mềm Software Architecture Ngôn ngữ mơ hình hóa cho phát triển phần mềm Modeling Languages Software Development for Kỹ nghệ yêu cầu Requirements Engineering Phát triển ứng dụng doanh nghiệp Enterprise Development Application Mã học Lí Thực Tự phần tiên thuyết hành học 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 INT 6004 Kỹ nghệ phần mềm hướng tác tử 22 INT 6174 23 INT 6170 Agent-oriented Engineering An ninh phần mềm Software Security Software PHẦN CÁC HỌC PHẦN, CHUYÊN ĐỀ TIẾN SĨ VÀ TIỂU LUẬN TỔNG QUAN 12 Tên học phần STT Mã học phần Số tín Số tín (ghi tiếng Việt tiếng Anh) I Các học phần I.1 Bắt buộc 24 25 Phương pháp nghiên cứu kỹ viết báo cáo khoa học INT 8030 INT 8031 Research Methods and Technical Writing Đặc tả kiểm chứng dựa lôgic Specification and Verification based on Logic I.2 Tự chọn 26 27 Mã học Lí Thực Tự phần tiên thuyết hành học INT 8032 INT 8033 30 15 30 15 30 15 30 15 3/6 Các chủ đề lựa chọn Công nghệ phần mềm Selected Topics Engineering in Software Phân tích chương trình ứng dụng Program Applications II Chuyên đề NCS Analysis and 28 INT 8034 Chuyên đề nghiên cứu Sub-theme 0 30 29 INT 8035 Chuyên đề nghiên cứu Sub-theme 2 0 30 30 INT 8036 Chuyên đề nghiên cứu Sub-theme 0 30 0 30 III Tiểu luận tổng quan 31 INT 8037 Tiểu luận tổng quan PHẦN NGHIÊN CỨU KHOA HỌC NCS xây dựng kế hoạch nghiên cứu, tổ chức triển khai công bố cơng trình 32 nghiên cứu liên quan đến luận án tạp chí chuyên ngành hội thảo khoa học hướng dẫn giáo viên hướng dẫn PHẦN THAM GIA SINH HOẠT CHUYÊN MÔN, CÔNG TÁC TRỢ GIẢNG VÀ HỖ TRỢ ĐÀO TẠO 13 Tên học phần STT Mã học phần (ghi tiếng Việt tiếng Anh) Số tín Số tín Mã học Lí Thực Tự phần tiên thuyết hành học Đơn vị chuyên môn lên lịch sinh hoạt chun mơn lịch cho NCS báo cáo, trình bày kết hoạt động chun mơn seminar đơn vị chuyên môn tổ chức học kỳ 33 NCS phải tham gia đầy đủ seminar khoa học hội nghị, hội thảo đơn vị chuyên môn tổ chức, quy định Tham gia công tác trợ giảng, giảng dạy thực hành hoạt động hỗ trợ đào tạo phân công đơn vị chuyên môn PHẦN LUẬN ÁN TIẾN SĨ 34 INT 9001 Luận án tiến sĩ Cộng 80 139 2.2 Khung chương trình dành cho NCS có thạc sĩ chuyên ngành gần Tên học phần STT Mã học phần (ghi tiếng Việt tiếng Anh) Số tín Số tín Lí Thực thuyết hành Tự học Mã học phần tiên PHẦN CÁC HỌC PHẦN BỔ SUNG (9/63) Mạng truyền liệu nâng cao INT 6135 INT 6122 INT 6121 INT 6169 INT 6030 INT 6146 Advanced Computer Network and Communication Cơ sở liệu nâng cao Advanced Database Systems Công nghệ phần mềm nâng cao Advanced Software Engineering Phân tích thiết kế hệ thống nâng cao Advanced System Analysis and Design Các vấn đề đại công nghệ phần mềm Advanced Topics on Software Engineering Trí tuệ nhân tạo nâng cao Advanced Artificial Intelligence 30 15 30 15 30 15 30 15 30 15 30 15 14 Tên học phần STT Mã học phần INT 6164 INT 6151 INT 6138 INT 6155 11 INT 6176 13 14 15 16 17 18 tiếng Anh) Tương tác người – máy Human Computer Interaction Học máy thống kê Statical Machine Learning Mật mã an toàn liệu Cryptogaphy and Data Security Số tín Lí Thực thuyết hành Tự học 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 30 15 Mã học phần tiên Các ngun lý ngơn ngữ lập trình 10 12 (ghi tiếng Việt Số tín INT 6179 INT 6171 INT 6156 INT 6172 INT 6173 INT 6177 INT 6175 Principles Languages of Programming Lập trình mạng Network Programming Quản lý dự án phần mềm Software Project Management Công nghệ phần mềm nhúng Embedded Software Engineering Các phương pháp hình thức cho phát triển phần mềm Formal Methods for Software Development Kiểm thử đảm bảo chất lượng phần mềm Software Testing and Quality Assurance Kiến trúc phần mềm Software Architecture Ngơn ngữ mơ hình hóa cho phát triển phần mềm Modeling Languages for Software Development Kỹ nghệ yêu cầu Requirements Engineering Phát triển ứng dụng doanh nghiệp 19 INT 6178 Enterprise Development 20 INT 6174 Kỹ nghệ phần mềm hướng tác tử Application INT 6004 15 Tên học phần STT Mã học phần (ghi tiếng Việt tiếng Anh) Agent-oriented Engineering 21 Số tín Số tín Lí Thực thuyết hành Tự học Mã học phần tiên Software An ninh phần mềm 30 15 Software Security PHẦN CÁC HỌC PHẦN, CHUYÊN ĐỀ TIẾN SĨ VÀ TIỂU LUẬN TỔNG QUAN INT 6170 I Các học phần tiến sĩ I.1 Bắt buộc 22 23 Phương pháp nghiên cứu kỹ viết báo cáo khoa học INT 8030 INT 8031 Research Methods and Technical Writing Đặc tả kiểm chứng dựa lôgic Specification and Verification based on Logic I.2 Tự chọn 24 25 INT 8032 INT 8033 30 15 30 15 30 15 30 15 3/6 Các chủ đề lựa chọn Công nghệ phần mềm Selected Topics Engineering in Software Phân tích chương trình ứng dụng Program Applications Analysis II Chuyên đề NCS and 26 INT 8034 Chuyên đề nghiên cứu Sub-theme 0 30 27 INT 8035 Chuyên đề nghiên cứu Sub-theme 2 0 30 28 INT 8036 Chuyên đề nghiên cứu Sub-theme 0 30 0 30 III Tiểu luận tổng quan 29 INT 8037 Tiểu luận tổng quan 16 Tên học phần STT Mã học phần (ghi tiếng Việt tiếng Anh) Số tín Số tín Lí Thực thuyết hành Tự học Mã học phần tiên PHẦN NGHIÊN CỨU KHOA HỌC 30 NCS xây dựng kế hoạch nghiên cứu, tổ chức triển khai công bố công trình nghiên cứu liên quan đến luận án tạp chí chuyên ngành hội thảo khoa học hướng dẫn giáo viên hướng dẫn PHẦN THAM GIA SINH HOẠT CHUYÊN MÔN, CÔNG TÁC TRỢ GIẢNG VÀ HỖ TRỢ ĐÀO TẠO Đơn vị chuyên môn lên lịch sinh hoạt chuyên môn lịch cho NCS báo cáo, trình bày kết hoạt động chun mơn seminar đơn vị chun mơn tổ chức học kỳ 31 NCS phải tham gia đầy đủ seminar khoa học hội nghị, hội thảo đơn vị chuyên môn tổ chức, quy định Tham gia công tác trợ giảng, giảng dạy thực hành hoạt động hỗ trợ đào tạo phân công đơn vị chuyên môn PHẦN LUẬN ÁN TIẾN SĨ 32 INT 9001 Luận án tiến sĩ Cộng: 80 106 2.3 Khung chương trình dành cho NCS có thạc sĩ chuyên ngành phù hợp Tên học phần STT Mã học phần (ghi tiếng Việt tiếng Anh) Số tín Số tín Mã học phần Lí Thực Tự tiên thuyết hành học PHẦN CÁC HỌC PHẦN Ở TRÌNH ĐỘ TIẾN SĨ, CHUYÊN ĐỀ TIẾN SĨ VÀ TIỂU LUẬN TỔNG QUAN I Các học phần NCS I.1 Bắt buộc Phương pháp nghiên cứu kỹ viết báo cáo khoa học INT 8030 Research Methods and Technical 30 15 Writing 17 Tên học phần STT Mã học phần (ghi tiếng Việt INT 8031 Đặc tả kiểm chứng dựa lôgic Specification and Verification based on Logic tiếng Anh) I.2 Tự chọn INT 8032 INT 8033 Số tín Số tín Mã học phần Lí Thực Tự tiên thuyết hành học 30 15 30 15 30 15 3/6 Các chủ đề lựa chọn Công nghệ phần mềm Selected Topics Engineering in Software Phân tích chương trình ứng dụng Program Analysis and Applications II Chuyên đề NCS INT 8034 Chuyên đề nghiên cứu Sub-theme 0 30 INT 8035 Chuyên đề nghiên cứu Sub-theme 2 0 30 INT 8036 Chuyên đề nghiên cứu Sub-theme 0 30 0 30 III Tiểu luận tổng quan INT 8037 Tiểu luận tổng quan PHẦN NGHIÊN CỨU KHOA HỌC NCS xây dựng kế hoạch nghiên cứu, tổ chức triển khai công bố công trình nghiên cứu liên quan đến luận án tạp chí chuyên ngành hội thảo khoa học hướng dẫn giáo viên hướng dẫn PHẦN THAM GIA SINH HOẠT CHUYÊN MÔN, CÔNG TÁC TRỢ GIẢNG VÀ HỖ TRỢ ĐÀO TẠO Đơn vị chuyên môn lên lịch sinh hoạt chuyên môn lịch cho NCS báo cáo, trình bày kết hoạt động chun mơn seminar đơn vị chun mơn tổ chức học kỳ 10 NCS phải tham gia đầy đủ seminar khoa học hội nghị, hội thảo đơn vị chuyên môn tổ chức, quy định Tham gia công tác trợ giảng, giảng dạy thực hành hoạt động hỗ trợ đào tạo phân công đơn vị chuyên môn PHẦN LUẬN ÁN TIẾN SĨ 11 INT 9001 Luận án tiến sĩ 80 18 Tên học phần STT Mã học phần (ghi tiếng Việt tiếng Anh) Cộng Số tín Số tín Mã học phần Lí Thực Tự tiên thuyết hành học 97 19 ... sau đại học Đại học Wollongong, Úc PHẦN III NỘI DUNG CHƯƠNG TRÌNH ĐÀO TẠO Tóm tắt u cầu chương trình đào tạo 1.1 Đối với NCS chưa có thạc sĩ Người học phải hồn thành học phần chương trình đào tạo. .. tiến sĩ có uy tín quốc tế mà đơn vị đào tạo tham khảo - Chương trình đào tạo sau đại học Trường Khoa học thông tin, Viện Khoa học Công nghệ Tiên tiến Nhật Bản, Nhật Bản - Chương trình đào tạo. .. STT Mã học phần (ghi tiếng Việt tiếng Anh) Số tín Số tín Mã học phần Lí Thực Tự tiên thuyết hành học PHẦN CÁC HỌC PHẦN Ở TRÌNH ĐỘ TIẾN SĨ, CHUYÊN ĐỀ TIẾN SĨ VÀ TIỂU LUẬN TỔNG QUAN I Các học phần