最佳答案

• 

  課程顧問-小管家 2022-05-12 11:32:50

  立即咨詢

  　　澳大利亞新南威爾士大學(xué)COMP3141課程介紹了各種編程技術(shù)，這些技術(shù)可以應(yīng)用于實際軟件系統(tǒng)開發(fā)的設(shè)計和實現(xiàn)階段。課程介紹了通過正式設(shè)計進行測試的方法，并討論了提高軟件正確性的靜態(tài)和動態(tài)方法之間的權(quán)衡。整個課程中所討論的方法都需要得到軟件工具的支持，這些工具有助于管理設(shè)計、實施和測試。總的來說，COMP3141課程的中心主題是使用函數(shù)式編程、邏輯屬性和類型來介紹程序設(shè)計、實現(xiàn)、確認和驗證。

  　　一、澳大利亞新南威爾士大學(xué)COMP3141課程每周安排：

  　　1、課程概述，函數(shù)式編程

  　　2、數(shù)據(jù)類型和類型類，關(guān)于Haskell的推理

  　　3、基于屬性的測試和快速檢查

  　　4、設(shè)計程序?qū)傩?/p>

  　　5、控制效果，狀態(tài)空間，錯誤

  　　6、Break

  　　7、應(yīng)用函子和單子

  　　8、豐富類、GADTS

  　　9、多態(tài)和參數(shù)化，類型論

  　　10、客座講座或擴展主題

  

  　　二、澳大利亞新南威爾士大學(xué)COMP3141課程學(xué)習(xí)目標：

  　　1、使用Haskell和函數(shù)式編程編寫實用軟件。

  　　2、根據(jù)邏輯屬性和功能正確性來指定程序。

  　　3、能在輔助軟件設(shè)計和實現(xiàn)中，區(qū)分和平衡靜態(tài)方法(如形式方法和類型系統(tǒng))和動態(tài)方法(如測試)之間的權(quán)衡。

  　　4、理解類型在程序設(shè)計、實現(xiàn)、確認和驗證中的作用。

  　　5、根據(jù)邏輯屬性的正式規(guī)范使用各種工具。

  　　澳大利亞新南威爾士大學(xué)COMP3141課程的目的是逐漸讓同學(xué)接觸到一種以數(shù)學(xué)為基礎(chǔ)的方法來描述和實現(xiàn)軟件系統(tǒng)，使同學(xué)獲得開發(fā)對最終產(chǎn)品的正確性有高度信心的工程軟件所需的基本技能。因此同學(xué)在課程學(xué)習(xí)過程中，應(yīng)循序漸進地掌握上述內(nèi)容，以實現(xiàn)學(xué)習(xí)目標。如果同學(xué)在此過程中遇到難題，隨時來問我們就可以，我們都能解答。

其他答案