OO第三次博客作業
一、JML 基礎 梳理JML語言的理論基礎、應用工具鏈情況。 語言介紹 JML (Java Modeling Language) 是用於對 Java 程序進行規格化設計的一種表示語言， ...
原文：OO第三單元博客作業
基於正確規格的程序就可以被認為是正確的程序 本單元的三次作為均為根據jml規格完成代碼。三次作業依次為實現Path路徑類和PathContainer路徑容器類 將PathContainer類擴展成Graph類以實現圖相關問題的處理 將Graph類擴展成RailwaySystem類以支持多種最短路查詢 完成數據結構圖論專題練習 。 本文將從JML語言梳理 部署SMT Solver進行驗證 部署JM ...
2019-05-20 11:00 5 459 推薦指數：
相關推薦
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程序進行規格化設計的語言，其通過定義接口所包含方法的行為，來約束實現接口的類的行為。本章作業就是實現課程組提供的用規格定義好的接口，來學習如何根據規格寫 ...
oo 第一次博客作業
oo 第一次博客作業 早在大一就聽說了oo的各種傳奇故事，大二下學期終於也開始了我的oo之旅。 基於度量來分析自己的程序結構 第一次作業 類圖分析 耦合度分析 可以看出在第一次作業中，我的耦合度非常高，還停留在面向過程式的設計。 第二次作業 類圖 ...
第三單元博客總結
第三單元博客總結 這一單元，主要是進行的JML的使用，以及考察了對於容器，對於算法選擇時候的時間復雜度的控制。 JML的理論基礎和相關工具 JML的核心就是規格和規范，當我們作為設計者想要向開發表達出讓他們做什么 ...
OO第一單元總結
OO第一單元總結 目錄 OO第一單元總結 第一次作業 思路 UML LineCount Metrics Bugs 第二次作業 思路 ...
OO第5~7次作業總結
作業5——多線程電梯 設計框架——UML協作時序圖 （想看大圖的話 crtl+滾輪 比較方便） 我為什么不用UML協作圖（Communication Diagram），而是用UML時序圖（Sequence Diagram）。 一方面，這樣橫平豎直的圖更加直觀美觀。另一方面，使用 ...