第一完成單位： 軟件研究所
獲獎獎種：國家自然科學(xué)獎
獲獎時間：1989
獲獎等級：1
內(nèi)容簡介：
　　 上世紀(jì)70年代以來，半導(dǎo)體線路生產(chǎn)自動化水平迅速提高，計算機(jī)硬件性能顯著提升，而軟件生產(chǎn)仍處于手工編制狀態(tài)，生產(chǎn)率低下、產(chǎn)品可靠性差，成為計算機(jī)應(yīng)用與發(fā)展的瓶頸。針對這個問題美國工業(yè)界與西歐學(xué)術(shù)界提出了不同的解決方法。美國工業(yè)界的方案著眼于技術(shù)，認(rèn)為提高軟件生產(chǎn)率應(yīng)加強(qiáng)程序設(shè)計技術(shù)的研究以及軟件開發(fā)支撐工具的研制；而西歐學(xué)術(shù)界則認(rèn)為軟件生產(chǎn)率低的主要原因是命令式程序語言中包含的細(xì)節(jié)太多，致使可讀性和可維護(hù)性差，因此應(yīng)設(shè)計一種直接表示程序含義的形式化規(guī)范語言來書寫程序，然后再轉(zhuǎn)換成有效的執(zhí)行程序，其關(guān)鍵是關(guān)于形式化程序語義理論與規(guī)范語言的研究。
　　 中科院軟件所的唐稚松研究員認(rèn)為這兩種方案都對提高軟件生產(chǎn)率有著重要意義，但不應(yīng)彼此分離而應(yīng)緊密結(jié)合起來。為此，從上世紀(jì)80年代初，他就致力于將形式化的時序邏輯語言與軟件工程相結(jié)合的XYZ系統(tǒng)的研究。在1983年IFIP巴黎大會上，他提出了世界上第一個可執(zhí)行時序邏輯語言XYZ/E。XYZ/E既是一時序邏輯系統(tǒng)又是一具有常見程序語言風(fēng)格且可實際用于編程運(yùn)行的程序語言，將程序的動態(tài)語義與靜態(tài)語義結(jié)合了起來，第一次將狀態(tài)轉(zhuǎn)換的控制機(jī)制引入到邏輯系統(tǒng)之中，又第一次將這種時序邏輯形式化理論與最新軟件技術(shù)結(jié)合起來。XYZ系統(tǒng)是一組以XYZ/E為核心的軟件工程工具，包含其它面向?qū)ｉT應(yīng)用的子語言，以及有關(guān)的輔助工具,主要包括：驗證與自動生成工具，支撐逐步求精開發(fā)過程與速成原型工具，支撐模塊程序設(shè)計及構(gòu)件的體系設(shè)計的圖形工具，語言自動轉(zhuǎn)換工具等。這些工具的目的在于支持軟件開發(fā)的全過程。這一成果被國際著名計算機(jī)專家稱為軟件工程領(lǐng)域中發(fā)展可執(zhí)行時序邏輯的先驅(qū)。 

 唐稚松
 

唐稚松