【摘要】：介紹支持面向?qū)ο蟮男问矫枋稣Z言ＣＯＯＺ的集成支撐環(huán)境ＣＯＯＺ－Ｔｏｏｌｓ的設(shè)計原則、系統(tǒng)結(jié)構(gòu)、功能、特點和關(guān)鍵的實現(xiàn)技術(shù)。ＣＯＯＺ是Ｚ語言的面向?qū)ο髷U(kuò)充，從而將形式化語言和面向?qū)ο髾C制有機結(jié)合起來。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的軟件開發(fā)，，它主要由如下工具組成：規(guī)格說明編輯、瀏覽工具、語法語義檢查工具、聯(lián)機幫助工具、項目管理工具。
[Abstract]:This paper introduces the design principle, system structure, function, characteristics and key implementation technology of COOZ-Tools, an integrated support environment supporting object-oriented formal description language (COOZ). COOZ is an object-oriented extension of Z language, thus organically combining formal language with object-oriented mechanism. COOZ-Tools supports software development based on COOZ. It is mainly composed of the following tools: specification editing, browsing tools, syntax and semantics checking tools, online help tools, project management tools.
【作者單位】： 南京大學(xué)計算機軟件新技術(shù)國家重點實驗室 計算機科學(xué)與技術(shù)系
【基金】：國家“九五”攻關(guān)項目,國家自然科學(xué)基金
【分類號】：TP312

【共引文獻(xiàn)】

相關(guān)期刊論文 前5條

1 朱智勇;面向?qū)ο筌浖问介_發(fā)方法[J];湖南科技學(xué)院學(xué)報;2005年11期

2 黃春榮,李宣東,鄭國梁;UML模型到COOZ規(guī)約的形式化轉(zhuǎn)換[J];計算機工程與應(yīng)用;2003年20期

3 袁曉東,李宣東,鄭國梁;一種面向?qū)ο蟮男问交O(shè)計方法──從COOZ需求規(guī)格說明到設(shè)計[J];計算機工程與科學(xué);1998年03期

4 陳怡海,繆淮扣;兩種形式語言:RSL與Z的分析比較[J];計算機應(yīng)用與軟件;2002年04期

5 阮幼林,李傳湘;一種基于Z和精化演算的形式化開發(fā)方法[J];小型微型計算機系統(tǒng);2001年05期

相關(guān)博士學(xué)位論文 前2條

1 陳怡海;面向?qū)ο筌浖?guī)格說明的構(gòu)造及確認(rèn)技術(shù)研究[D];上海大學(xué);2007年

2 高曉雷;SOZRSL軟件需求規(guī)格說明語言及其求精[D];上海大學(xué);2004年

相關(guān)碩士學(xué)位論文 前3條

1 燕昊;UML建模的形式化研究[D];蘭州大學(xué);2006年

2 蘇北;Z規(guī)格說明中冪集算子自動求精的研究與實現(xiàn)[D];沈陽工業(yè)大學(xué);2006年

3 于云赫;Z規(guī)格說明中關(guān)系和函數(shù)到C++STL的自動轉(zhuǎn)換[D];沈陽工業(yè)大學(xué);2007年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 郭善增,史美林;形式描述語言ASN.1及其編譯器的設(shè)計與實現(xiàn)[J];煙臺大學(xué)學(xué)報(自然科學(xué)與工程版);1988年00期

2 胡習(xí)文,李福生;電力系統(tǒng)實時數(shù)據(jù)傳輸應(yīng)用層協(xié)議描述[J];電力系統(tǒng)自動化;1991年02期

3 胡家寶;;形式描述技術(shù)及其應(yīng)用[J];船海工程;1991年05期

4 科卞;;SDL語言研究[J];電子科技大學(xué)學(xué)報;1992年01期

5 張堯?qū)W,肖淑男,史美林;協(xié)議形式描述語言Estelle的交互生成方法[J];計算機研究與發(fā)展;1993年01期

6 虞紅英，江南，張根度，劉秀虹;通用網(wǎng)絡(luò)協(xié)議自動監(jiān)視分析系統(tǒng)的實現(xiàn)[J];計算機工程;1996年06期

7 袁曉東,鄭國梁;Z的面向?qū)ο髷U(kuò)充COOZ的設(shè)計[J];軟件學(xué)報;1997年09期

8 袁曉東,李宣東,鄭國梁;一種面向?qū)ο蟮男问交O(shè)計方法──從COOZ需求規(guī)格說明到設(shè)計[J];計算機工程與科學(xué);1998年03期

9 胡家寶,彭向榮;一種適用于過程控制系統(tǒng)建模的形式描述語言PROTOB[J];計算機應(yīng)用與軟件;1998年01期

10 袁曉東，胡德強，許皓，李勇，鄭國梁;形式描述語言COOZ的集成支撐環(huán)境COOZ-Tools[J];計算機工程與設(shè)計;1999年01期

相關(guān)博士學(xué)位論文 前1條

1 賈育;基于演于構(gòu)件的軟件復(fù)用方法[D];中國科學(xué)院研究生院（軟件研究所）;2002年

本文編號：2526560