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

定　價：￥30.00

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

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

內(nèi)容簡介

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