以有限狀態機作為視窗程式設計之模型---繪製貝茲曲線的案例研究 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
語言 zh_TW
收錄於
會議性質 國內
校內研討會地點
研討會時間 20040528~20040528
通訊作者
國別 TWN
公開徵稿 Y
出版型式 紙本
出處 陸軍官校八十週年校慶綜合學術研討會暨國科會國防科技航空技術學門研究成果發表會論文集=Proceedings of 2004 Fundamental Academic Conference of ROC Military Academy and Defense Science in Aviation Technology Symposium of National Science Council,14頁
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/95865 )

機構典藏連結