OO第三單元博客作業
——“基於正確規格的程序就可以被認為是正確的程序 ” 本單元的三次作為均為根據jml規格完成代碼。三次作業依次為實現Path路徑類和PathContainer路徑容器類；將PathContainer類擴展成Graph類以實現圖相關問題的處理；將Graph類擴展成RailwaySystem類以支持 ...
原文：第三單元博客總結
第三單元博客總結 這一單元，主要是進行的JML的使用，以及考察了對於容器，對於算法選擇時候的時間復雜度的控制。 JML的理論基礎和相關工具 JML的核心就是規格和規范，當我們作為設計者想要向開發表達出讓他們做什么的時候，我們往往需要用注釋的方式來進行表述，比如某個類應該有什么變量，干什么，再比如某個方法應該做什么，什么可以變，什么不可以變化，以及對於數據有着特殊的要求等等一系列的要求。我最開始的時 ...
2020-05-19 14:54 3 563 推薦指數：
相關推薦
OO第二單元總結博客
前言 相較於第一單元作業，由於對面向對象語言和層次化設計有了比較充分的認識，第二單元相對輕松（但還是很痛苦）。第二單元作業相較於第一單元，輸入輸出接口課程組已經提供，沒有第一單元非常瑣碎的化簡等細節問題，困難點分布比較集中，攻克起來更加容易，主要是多線程編程的程序安全問題。第二單元作業第一次 ...
2020 OO 第三單元總結 JML語言
title: 2020 OO 第三單元總結 date: 2020-05-21 10:10:06 tags: OO categories: 學習 第三單元終於結束了，這是我目前為止最慘的一單元，第十次作業強測20分，互測殺成狗……雖然都知道只關注分數沒有什么意義，我更應該去體會的是通過JML學習 ...
BUAA_OO_2020_第三單元總結
BUAA_OO_2020_第三單元總結 JML理論基礎 簡介 JML(Java Modeling Language)是一種用於對JAVA程序進行規格化設計的語言，其通過定義接口所包含方法的行為，來約束實現接口的類的行為。本章作業就是實現課程組提供的用規格定義好的接口，來學習如何根據規格寫 ...
【作業3.0】HansBug的第三次博客規格總結
轉眼間第三次作業了，似乎需要說點啥，那就說點。 規格&工業 說到這個，不得不提一下軟件開發的發展史。 歷史的進程 早在上世紀50年代，就已經有早期的編程語言出現，也開始有一些程序編寫者出現（多為資深電子工程師，和半路出家的數學家）。 然而那個時代，軟件開發基本局限於自己或自己部門 ...
iOS 第三方庫、插件、知名博客總結
間 MBProgressHUD一款提示框第三方庫 MWPhotoBrowser一款簡單的 iOS 照片瀏覽 ...
iOS 第三方庫、插件、框架、教程、XCode 插件、組件、知名博客總結
用到的組件 1、通過CocoaPods安裝 項目名稱 項目信息 AFNetw ...
OO第一單元總結
OO第一單元總結 目錄 OO第一單元總結 第一次作業 思路 UML LineCount Metrics Bugs 第二次作業 思路 ...