教師資料查詢 | 類別: 會議論文 | 教師: 洪文斌 Horng Wen-bing (瀏覽個人網頁)

標題:以有限狀態機作為視窗程式設計之模型---繪製貝茲曲線的案例研究 Modeling Window Programs as Finite State Automata--- A Case Study on Drawing Bezier Curves
學年92
學期2
發表日期2004/05/28
作品名稱以有限狀態機作為視窗程式設計之模型---繪製貝茲曲線的案例研究 Modeling Window Programs as Finite State Automata--- A Case Study on Drawing Bezier Curves
作品名稱(其他語言)
著者洪文斌
作品所屬單位淡江大學資訊工程學系
出版者
會議名稱陸軍官校八十週年校慶綜合學術研討會暨國科會國防科技航空技術學門研究成果發表會=2004 Fundamental Academic Conference of ROC Military Academy and Defense Science in Aviation Technology Symposium of National Science Council
會議地點高雄, 臺灣
摘要本論文中提出一個視窗程式設計的新方法論,即是以有限狀態自動機作為複雜互動式視窗程式設計的模型,來簡化程式設計的複雜度,確保程式邏輯的正確性。將狀態轉換圖表示成表格方式的狀態轉換表以及行動表,使得程式設計易於了解,方便視窗程式的開發、除錯、與維護。文中並以利用滑鼠來繪製貝茲曲線為研究案例,探討如何利用有限狀態機來模擬事件驅動的視窗程式設計,使得互動式視窗程式設計的複雜度變得簡單,程式的邏輯正確性易於驗證,且程式碼易於了解與維護。;A new methodology for window programming is proposed in this paper. It models complex, interactive window programs as finite state machines. It attempts to simplify the complexity of program design and to ensure the correctness of program logic so that it is easy to understand the idea of program design and is convenient for program development, debugging, and maintenance. In addition, a case study on drawing Bezier curves using mouse is also employed to demonstrate the benefits of applying the proposed methodology for modeling the window program as a finite state machine in the program design process.
關鍵字有限狀態自動機;視窗程式設計;貝茲曲線;Finite state machine;Window programming;Bezier curve
語言中文
收錄於
會議性質國內
校內研討會地點
研討會時間20040528~20040528
通訊作者
國別中華民國
公開徵稿Y
出版型式紙本
出處陸軍官校八十週年校慶綜合學術研討會暨國科會國防科技航空技術學門研究成果發表會論文集=Proceedings of 2004 Fundamental Academic Conference of ROC Military Academy and Defense Science in Aviation Technology Symposium of National Science Council,14頁
相關連結
Google+ 推薦功能,讓全世界都能看到您的推薦!