statechart

常見例句

• The paper is focus on the test case generation methods based on Z language and statechart.
  然后從UML狀態(tài)圖的操作語義,提出了把Z語言和狀態(tài)圖結(jié)合自動生成測試用例的方法。
• Attempts to implement this statechart will lead to a compile-time error because B has orthogonal regions and its direct or indirect outer state contains a deep history pseudo state.
  試圖實現(xiàn)以上狀態(tài)圖會導(dǎo)致編譯期錯誤，因為B具有正交區(qū)域，且它的直接或間接外層狀態(tài)包含有深歷史偽狀態(tài)。
• A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented(A-O) technique and the statechart of unified modeling language(UML).
  實例研究表明,該方法在并發(fā)軟件設(shè)計階段實現(xiàn)了橫切關(guān)注點的分離策略,并使得系統(tǒng)模型具有松耦合、適應(yīng)性和可跟蹤性的優(yōu)點。
• A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect oriented (A-O) technique and the statechart of unified modeling language (UML).
  摘要基于面向側(cè)面技術(shù)及統(tǒng)一建模語言狀態(tài)圖提出了并發(fā)式軟件系統(tǒng)開發(fā)過程中橫切特性的建模方法。
• Automatic Transform UML Statechart into PVS
  從UML狀態(tài)圖到PVS規(guī)范的自動轉(zhuǎn)換、驗證
• Statechart Mountain Algorithm (SMA)
  Statechart山脈算法
返回 statechart