形式化開發(fā)方法 文章 進(jìn)入形式化開發(fā)方法技術(shù)社區(qū)

一種基于UML 的嵌入式系統(tǒng)可視化開發(fā)方法

• 近年來，在嵌入式領(lǐng)域中缺乏一個(gè)成熟的始終一貫的形式化開發(fā)方法，這已成為制約嵌入式系統(tǒng)發(fā)展的瓶頸之一。本文結(jié)合統(tǒng)一建模語言UML，對嵌入式系統(tǒng)開發(fā)方法進(jìn)行了有益的探索研究，提出了一種基于UML的適合于嵌入式系統(tǒng)的形式化開發(fā)方法，并以嵌入式遠(yuǎn)程溫度監(jiān)控系統(tǒng)為例，驗(yàn)證了該方法的可行性和有效性。
• 關(guān)鍵字： UML  嵌入式系統(tǒng)  形式化開發(fā)方法