行為樹

行為樹是一種正規的圖形化建模語言，主要應用於系統工程和軟件工程。行為樹使用定義良好的表示法來明確地表示數百甚至數千個自然語言需求，其典型用途是表達大型軟件整合系統利益相關者的需求。^[1]^[2]^[3]^[4]

概念

[1]
Dromey, R.G. 2007.
[2]
R.G.Dromey, "Formalizing the Transition from Requirements to Design" （頁面存檔備份，存於互聯網檔案館）, in "Mathematical Frameworks for Component Software – Models for Analysis and Synthesis", Jifeng He, and Zhiming Liu (Eds.
[3]
R.G.Dromey, From Requirements to Design: Formalizing the Key Steps （頁面存檔備份，存於互聯網檔案館）, (Invited Keynote Address), SEFM-2003, IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Sept. 2003, pp. 2-11.
[4]
Wen, L., Dromey, R.G. 2007.