• IF-2.0

  • 46篇参考文献[SW03303]
  • 在规范的形式主义中自然使用UML或者像Java这样的编程语言…
  • E-Lotos

  • 25篇参考文献[SW03017]
  • 在添加形式到UML. E-Lotos,ISO标准的新版本…意思是,发现不一致,UML模型作为这项工作的一部分…给出映射UML构造到E-Lotos。重点放在处理…UML用例,类和交互图,这些占主导地位的部分…
  • VUML

  • 20篇参考文献[SW0941]
  • VUML:一种验证工具UML模型统一建模语言(统一建模语言)UML是标准化的…当前VUML,一个自动验证的工具UML对象行为的模型…描述使用UML状态图图该工具使用自旋模型检查器来执行…在验证过程中,工具创建UML序列图显示如何重现…
  • 马特

  • 21篇参考文献[SW21826]
  • 嵌入式系统。A规范UML®配置文件增加了功能UML对于模型驱动的…嵌入式系统(RTE)。这个扩展名为UML马特简介(简而言之),提供…简介旨在取代现有的UML可调度性、性能和时间的配置文件(正式/ 03-0901…
  • 安全UML

  • 13篇参考文献[ SW01727 ]
  • SecureUML:AUML基于模型驱动的模型安全语言。我们提出了一个建模语言…基于统一建模语言的系统UML我们的方法是基于角色的…指定授权约束。我们展示了如何UML可以用来指定相关的信息…
  • UML2合金

  • 13篇参考文献[SW0985]
  • 结果,从A中创建合金代码UML模型提供了利用分析能力的机会…基于自动转换的技术UML类图与OCL约束合金…转变,起源于根本的差异UML和合金。我们将讨论一些…
  • 阿古卢

  • 15篇参考文献[SW1084]
  • AgouML是领先的开源软件UML建模工具,包括所有标准的支持…UML1.4图。它运行在任何Java平台上,可用十种语言…
  • 三倍的

  • 21篇参考文献[SW02460]
  • 面向对象和其他数据模型UML主题图或RDF模式。描述逻辑…
  • 虚拟样机

  • 11篇参考文献[SW07364]
  • 描述数学领域的元模型框架UMLASUML2正在演变成…提供良好的映射UML模型到不同的语义域(Petri网,克里普克…数学模型可以定义为UML没有繁琐的数学公式的符号…
  • 富贾巴

  • 13篇参考文献[SW04100]
  • Fujaba是“从”的缩写。UML到Java并再次返回…
  • LTSA-WS

  • 13篇参考文献[SW10585 ]
  • 设计者和实施者。场景建模为UML,以消息序列图的形式…
  • ITP/OCL

  • 7篇参考文献[SW02627 ]
  • ITP/OCL:基于重写的验证工具UML+OCL静态类图。在本文中…支持自动验证的工具UML关于OCL约束的类图…直接基于等式规范UML+OCL类图。它完全是写的…
  • Turtle P

  • 5篇参考文献[SW10561 ]
  • Turtle P: AUML关键和分布式系统的形式验证的轮廓…定时的UMLRT-Lotos环境,简称海龟UML班级和活动…时间算子。龟是实时的UML用形式语义表达的轮廓…扩展的软硬件组件UML组件和部署图。这些图表的特性…
  • 塔胡提

  • 5篇参考文献[SW17610]
  • Tahuti:一种几何草图识别系统UML类图。我们创造和测试…类图中的草图识别环境UML. 该系统是基于多…可编辑的易用性UML编辑…
  • TCOZ

  • 8篇参考文献[SW0382]
  • 自动将TCOZ模型导入的工具UML用于动态系统可视化的状态图图…
  • 贾维斯

  • 4篇参考文献[SW0469]
  • JaVis:AUML基于并发Java程序调试并发Java的可视化调试环境。通过追踪收集。统一建模语言UML用于痕迹的可视化…建筑可视化集成到UML案例工具一起…
  • 珍珠

  • 4篇参考文献[SW0990]
  • 将管理引入到模型中。自从UML正在成为阿德的事实标准…相似性,方法论的接口UML2定义,使用UML延伸…
  • 乌尔秒

  • 3篇参考文献[SW1274]
  • 开发成本与可验证的正确性之间的冲突。UML提供高品质的前所未有的机会…在工业背景下是可行的。这个UML用于安全系统开发的扩展UMLSEC有助于克服…这些挑战。使用标准UML扩展机制,可以用来评估…UML使用简化片段的形式语义的脆弱性规范UML. 既定规则…