學術出版;;Publications
Permanent URI for this communityhdl:11536/1
收集所有交通大學研究人員與學生個人或團體所發表之各項學術著作,涵蓋期刊論文、教師專書、學位論文等項。;;Collections of Publications of NCTU Researchers and Students Like Journal Papers and Thesis.
Browse
4 results
🏛️國立陽明交通大學機構典藏
Search Results
Item type:Item, 一個體導向編譯功能規格庫建立之研究(1993) ;王豐堅 ;WANG FENG-JIAN交通大學資訊工程研究所程式語言的編譯理論自60年代以來,一直是理論 研究(資訊科學)的主要一支.雖然其解法已漸為世 人所熟悉,但過去以來的研究,尤其是建構編譯程 式技術的研究,著重於自動化產生整個或部分編 譯器.而編譯器的製作又相當繁雜.為此,這些自動 產生的工具最常見的莫過�語彙分析器,�語法分析器,�語意分析器...... 等.其中又以語彙,法分析器最常以自動化方式產 生,如UNIX上的Lex與YACC等.自語意分析器以降,自動化的規格常需伴隨著程 式語言的Context Free Grammar不同語言的語法不同,其 規格(尤指語意以降)幾乎沒辦法再利用.而編譯的 功能又多且繁雜,過去以來的研究確實顯示其功 能多類似,諸如Name Checking,Type Checking,.......個人等在過去國科會的計畫案中發展出一套個體 導向編譯器規格撰寫方法與相關之分析理論.由 於個體導向程式技巧在軟體再利用方面獲致相當 大的成功,因此,我們希望在本年度的研究中(圖一 )�成立一編譯器規格的資料庫,尤其是處理Name Checkings, TypeCheckings, Symbol Table Handlings等基本的 語意分析工作之規格.�發展一專屬此資料庫(尤其是編譯器規格)的 Interface Tool,以便強化搜尋或萃取.Item type:Item, 整合性高速網路軟體工程環境之研究設計---子計畫II:一個建立高速網路的再利用軟體環境之研究(1996) ;王豐堅 ;WANG FENG-JIAN國立交通大學資訊工程研究所Item type:Item, 整合性高速網路通訊軟體工程之研究設計---子計畫II:一建立高速網路的再利用軟體環境之研究(II)(1997) ;王豐堅 ;WANG FENG-JIAN交通大學資訊工程研究所我們於計劃第一年時將ATM的特性引入,已建立一套用來製作ATM PROTOCOL機器的物件導向模式OOATM Model,也製作一套相對應的C++程式庫。由於在OOATM Model中每一object有一對應的class(es)及其method(s)目錄,應用OOATM Model來設計或撰寫ATM PROTOCOL機器的程式確實可以改善再利用。在過去半年中,我們一直探討OOATM Model中歸納出來的object與Estelle的規格描述方法間的關係,以便將建立一個自OOC Model(規格specification)轉譯成Estelle語言的工具,以便利用在Estelle上的工具(尤其是verification tool)來提升我們此一物件導向方法的精確性。我們已找出OOATM Model中的object和Estelle語法間部分的對應關係如下。視覺程式技術已日漸成熟也為各界所採用,這一年度我們將根據Visual programming技術與前兩年的成果,建立一個適合ATM的物件導向規格撰寫方法/語言/編輯器的VISUAL環境。我們將以第一年發展出來的OOATM Model及其C++ 程式庫為基礎發展一個ProtocolCode Generator,並加上第二年發展的OOATM to Estelle Translator,整合而成一套簡化的ATM specification工具,不但簡化規格撰寫,同時又能將規格自動轉換成C++/objectcode。Item type:Item, 一支援3-Tier Programs測試的工具之研究與製作(2000) ;王豐堅 ;WANG FENG-JIAN交通大學資訊工程系