時(shí)序邏輯程序設(shè)計(jì)與軟件工程（下冊(cè) 軟件工程方法與工具）

定　價(jià)：￥30.00

作　者：	唐稚松等著
出版社：	科學(xué)出版社
叢編項(xiàng)：	國(guó)家自然科學(xué)基金研究專(zhuān)著信息科學(xué)系列
標(biāo)　簽：	程序設(shè)計(jì) 軟件工程

ISBN：	9787030099280	出版時(shí)間：	2002-01-01	包裝：
開(kāi)本：	26cm	頁(yè)數(shù)：	241～486頁(yè)	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　國(guó)家自然科學(xué)基金研究成果專(zhuān)著出版基金資助。本冊(cè)介紹了軟件工程方法與工具，內(nèi)容包括面向模塊程序設(shè)計(jì)的可視化圖形工具，基于形式規(guī)范的逐步求精過(guò)程、速成原型與模型檢驗(yàn)方法，可視化體系結(jié)構(gòu)描述語(yǔ)言與工具及其在軟件開(kāi)發(fā)過(guò)程中的的應(yīng)用等。