• 如果-2.0

  • 引用46篇文章[sw03303号]
  • 在规范形式中自然使用,比如统一建模语言或者像Java这样的编程语言。。。
  • E-LOTOS公司

  • 引用25篇文章[sw03017]
  • LOTOS在添加形式到统一建模语言. E-LOTOS,新版本的ISO标准。。。意思是发现矛盾,统一建模语言模型。作为这项工作的一部分。。。提供映射自统一建模语言构造到E-loto。重点是处理。。。统一建模语言用例,类和交互图,因为它们起着主导作用。。。
  • 真空室

  • 引用了20篇文章[sw09471]
  • vUML:一种验证工具统一建模语言模型。统一建模语言(统一建模语言)是一个标准化的。。。提供vUML,一个自动验证的工具统一建模语言模型中物体的行为。。。描述使用统一建模语言状态图。该工具使用旋转模型检查器执行。。。在验证过程中,工具将创建一个统一建模语言显示如何复制的序列图。。。
  • 马蒂

  • 引用21篇文章[sw21826]
  • 嵌入式系统。本规范统一建模语言®配置文件将功能添加到统一建模语言对于模型驱动。。。嵌入式系统(RTE)。这个扩展名为统一建模语言MARTE简介(简称MARTE),提供。。。配置文件旨在替换现有的统一建模语言可调度性、性能和时间配置文件(正式/03-09-01。。。
  • 美国铝业

  • 27条引用[sw09481]
  • 对象模型(样式统一建模语言)更易于自动分析。就像。。。
  • 阿尔古姆

  • 引用16条[sw10874]
  • ArgoUML是领先的开源软件统一建模语言建模工具,包括对所有标准的支持。。。统一建模语言1.4图表。它运行在任何Java平台上,有十种语言。。。
  • 安全UML

  • 引用13篇文章[sw01727]
  • 安全UML:A统一建模语言-基于模型驱动安全性的建模语言。我们提出了一种建模语言。。。基于统一建模语言的系统(统一建模语言). 我们的方法是基于角色的。。。指定授权约束。我们展示了统一建模语言可用于指定与。。。
  • UML2合金

  • 引用13篇文章[sw09885]
  • 结果,从统一建模语言模型提供了利用分析功能的机会。。。基于技术的自动化转换统一建模语言类图与OCL限制合金。。。转变,这源于统一建模语言还有合金。我们将讨论一些。。。
  • 三倍的

  • 引用21篇文章[sw02460]
  • 面向对象和其他数据模型,如统一建模语言、主题映射或RDF架构。描述逻辑。。。
  • VPM公司

  • 参考11篇文章[sw07364]
  • 描述数学领域和统一建模语言作为统一建模语言2.0正在演变为。。。提供有根据的地图统一建模语言不同语义域的模型(Petri网,Kripke。。。数学模型可以在统一建模语言没有繁琐的数学公式的符号。。。
  • 伏贾巴

  • 引用13篇文章[sw04100]
  • Fujaba是“From”的缩写统一建模语言再回到Java。。。
  • LTSA-WS

  • 引用13篇文章[sw10585]
  • 设计者和实施者。场景建模于统一建模语言,以消息序列图的形式。。。
  • ITP/OCL公司

  • 参考7篇文章[sw02727]
  • ITP/OCL:一个基于重写的验证工具统一建模语言+OCL静态类图。在本文中。。。基于支持自动验证的工具统一建模语言关于OCL约束的类图。。。直接基于统一建模语言+OCL类图。完全是这样写的。。。
  • 阿加莎

  • 在10篇文章中引用[sw02930]
  • 例如,可以从统一建模语言规范。。。
  • 海龟-P

  • 引用5篇文章[sw10561]
  • 海龟-P:A统一建模语言关键和分布式系统的正式验证概要文件。。。定时统一建模语言而RT-LOTOS环境,简称TURTLE,则会扩展统一建模语言课堂和活动。。。时间运算符。乌龟是实时的统一建模语言用一个形式化的语义来表达。。。扩展的硬件和软件组件统一建模语言组件和部署图。这些图表的属性。。。
  • 塔胡提

  • 引用5篇文章[sw17610]
  • Tahuti:一个几何素描识别系统统一建模语言类图。我们已经创造并测试。。。中类图的草图识别环境统一建模语言. 该系统基于一个多。。。统一建模语言编辑。。。
  • TCOZ公司

  • 引用8篇文章[sw03382]
  • 自动将TCOZ模型投影到统一建模语言动态系统可视化的状态图。。。
  • 贾维斯

  • 引用4篇文章[sw00469]
  • 贾维斯:A统一建模语言-基于可视化和调试环境的并发Java程序调试。。。通过追踪收集。统一建模语言(统一建模语言)用于显示痕迹。。。建筑。可视化集成到统一建模语言案例工具一起。。。
  • 珍珠

  • 引用4篇文章[sw02990]
  • 模型中引入了管理。因为统一建模语言也成为事实上的标准。。。相似性,方法论的一个接口统一建模语言定义了2,使用统一建模语言的扩展名。。。
  • UMLsec公司

  • 引用3篇文章[sw12754]
  • 开发成本与可验证正确性之间的冲突。统一建模语言提供了一个前所未有的高质量的机会。。。在工业环境中可行。这个统一建模语言安全系统开发扩展UMLsec有助于克服。。。这些挑战。标准使用它统一建模语言扩展机制,可以用来评估。。。统一建模语言使用简化片段的形式语义的漏洞规范统一建模语言. 既定规则。。。