Sheffield的Advanced Computer Science 全稱是The University of Sheffield的MSc Advanced Computer Science (Verification and Testing),即謝菲爾德大學高級計算機科學(驗證與測試)理學碩士,下面將詳細介紹Sheffield的Advanced Computer Science 的培養(yǎng)計劃、Sheffield的Advanced Computer Science 的課程介紹(英文版),課程介紹(中文版)、Sheffield的Advanced Computer Science 的研究生申請要求。
謝菲爾德大學
現(xiàn)今對于擁有高級計算機科學專業(yè)技能畢業(yè)生的需求日益增長,特別是在視軟件安全為關(guān)鍵的行業(yè),如制造業(yè)和核能源行業(yè)。在謝菲爾德大學高級計算機科學(驗證與測試)理學碩士項目中,你將專注于軟件的驗證和測試,開發(fā)所需的專業(yè)知識。項目中的創(chuàng)新項目將教導你如何在現(xiàn)實世界中應用你的知識。謝菲爾德大學高級計算機(驗證與測試)科學理學碩士項目中的創(chuàng)新項目將為你提供實踐經(jīng)驗,以幫助你把知識運用于現(xiàn)實。謝菲爾德大學與高級雇主協(xié)商,以確保你擁有就業(yè)所需的技能和個人素質(zhì),因此在謝菲爾德大學高級計算機科學(驗證與測試)理學碩士項目中,你將了解全球商業(yè)和產(chǎn)業(yè)中的重要議題。謝菲爾德大學高級計算機科學(驗證與測試)理學碩士項目的畢業(yè)方向包括進行學術(shù)和行業(yè)研究,在軟件行業(yè)、銀行業(yè)和金融業(yè)就業(yè),就業(yè)企業(yè)包括Logica、IBM、惠普、普華永道國際會計事務所、沃達豐、英國廣播公司和匯豐銀行。
1、Object Oriented Programming and Software Design
2、Research Methods and Professional Issues
3、Dissertation Project
4、Testing and Verification in Safety-critical Systems
5、Theory of Distributed Systems
6、Computer Security and Forensics
7、Software and Hardware Verification
8、Text Processing
9、Modelling and Simulation of Natural Systems
10、Speech Processing
11、3D Computer Graphics
12、Intelligent Web
13、Machine Learning and Adaptive Intelligence
14、Software Development for Mobile Devices
15、Speech Technology
1、面向?qū)ο蟮木幊毯蛙浖O計
2、研究方法和專業(yè)議題
3、論文項目
4、安全關(guān)鍵系統(tǒng)測試和驗證
5、分布式系統(tǒng)理論
6、計算機安全和取證
7、軟件和硬件驗證
8、文本處理
9、自然系統(tǒng)建模和仿真
10、語音處理
11、3D計算機圖形學
12、智能網(wǎng)絡
13、機器學習和自適應智能
14、移動設備軟件開發(fā)
15、語音技術(shù)