Argo UML怎么用啊？

Adam_wx 2013-03-24 07:40:38

Argo UML怎么用啊？我找了很久，也没有找到教程。不会用啊

...全文

166 2 打赏收藏举报

写回复

2 条回复

切换为时间正序

请发表友善的回复…

发表回复

Adam_wx 2013-04-01

打赏
举报

回复

已经会了，还是要谢谢你啊

LCore 2013-03-24

打赏
举报

回复

没用过帮顶！不过我使用的是JUDE 现在改名叫Astah

博客介绍了Eclipse中常用的UML插件，包括Argo Uml和argoeclipse，为使用Eclipse进行UML相关开发的人员提供了插件选择参考。

模型检测是一种自动验证软件系统正确性的技术，针对软件测试覆盖率不足的问题。它涉及状态迁移系统和模态/时序公式，通过抽象、偏序规约、符号化模型检验等方法解决状态爆炸问题。on-the-fly技术则在动态生成模型时进行性质验证。NuSMV、SPIN和UPPAAL是常用的模型检测工具，分别支持CTL、线性时序逻辑和实时系统验证。

本文提供了Rational Rose 2000及其他多种UML工具的下载资源与介绍，包括Together、RoseDelphiLink等插件以及Rational Suite Analyst Studio的相关资料，覆盖了从需求分析到软件设计的多个阶段。

博客可能围绕UML活动展开，涉及IBM相关工具如Websphere，UML作为一种语言在信息技术领域用于建模等，借助相关工具可更好地进行开发设计等工作。

文章讨论了几个开源的UML建模工具，包括ArgoUML、StarUML、UMLet、VP-UML等。其中，UMLet因其轻量级、开源、免费、自定义元素丰富等特点获得推荐。

62,620

社区成员

307,251

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章