合工大計(jì)算機(jī)學(xué)院-程序設(shè)計(jì)-11第十一章-面向?qū)ο筌浖?gòu)造(更新版)
【正文】 序斷言機(jī)制 ? 程序斷言：在程序中描述程序需求說明的表達(dá)式（類似離散數(shù)學(xué)中的謂詞） 程序斷言的用法 ? 程序斷言主要形式 ? 前置條件 require引入前置斷言 ? 后置條件 ensure引入后置斷言 ? 類的不變式 invariant引入不變式 ? 循環(huán)的不變式 ? 控制語句等 check引入控制語句 167。 面向?qū)ο筌浖?gòu)造 ? 一個(gè)大型軟件的開發(fā)過程 ? 面向?qū)ο蟪绦颍惖慕Y(jié)構(gòu)化集合 –標(biāo)識(shí)對(duì)象為行為 –標(biāo)識(shí)對(duì)象之間的關(guān)系 –建立對(duì)象的類描述 –創(chuàng)建并驅(qū)動(dòng)對(duì)象的運(yùn)行
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1