...
机译:将UML状态图表示法扩展为对安全性进行建模
Information and Computer Science Department, King Fahd University of Petroleum and Minerals, Dhahran, Kingdom of Saudi Arabia;
Extended Notation; Industrial Survey; Security Modeling; Statecharts; Subject-Based Experiment; extended notation; industrial survey; security modeling; subject-based experiment;
机译:通过扩展的无上下文语法对UML状态图进行基于模型的测试
机译:使用UML状态图表示法自动压缩状态机
机译:面向方面的建模:应用面向方面的UML用例并扩展Aspect-Z
机译:PLC-StateCharts:一种在开环控制工程中集成UML-StateCharts的方法 - 行为语义和模型检查的方面
机译:将安全方面系统集成到UML 2.0设计模型中的模型到模型转换方法
机译:UMLS知识源服务器:用于传递UMLS数据的对象模型
机译:将UmL statecharts表示法扩展到模型安全方面