食材铺反向词典

statechart

S 开头单词

常见例句

  • The paper is focus on the test case generation methods based on Z language and statechart.
    然后从UML状态图的操作语义,提出了把Z语言和状态图结合自动生成测试用例的方法。
  • 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.
    试图实现以上状态图会导致编译期错误,因为B具有正交区域,且它的直接或间接外层状态包含有深历史伪状态。
  • 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).
    实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点。
  • 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).
    摘要基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。
  • Automatic Transform UML Statechart into PVS
    从UML状态图到PVS规范的自动转换、验证
  • Statechart Mountain Algorithm (SMA)
    Statechart山脉算法
  • 返回 statechart
  • 上一篇
  • 下一篇
热门奈飞电影 奈飞网剧 最新奈飞网剧 奈飞网剧剧情 奈飞电影剧情 热门奈飞网剧 迪士尼电影 热门迪士尼电影 迪士尼电影剧情 最新迪士尼电影 热门免费短剧 华纳电影 最新华纳电影 热门华纳电影 华纳电影剧情 游戏赢 菜谱大全 成语接龙 名字大全 年龄计算器 netflix电影 吉他入门学习 热门netflix电影 netflix电影剧情 netflix电影 吉他谱大全 钢琴谱大全 简谱大全 美国大片

食材铺反向词典 · 80125.cn