上个月有机会用了一下Telelogic 的Tau3.0,说一下感觉。
Telelogic Tau3.0是Telelogic的支持uml2.0的建模工具,同时提供了模型验证(Model Verifier),代码生成(code generator)。这是个欧洲公司,据说已经有14年的业内经验了。那个时候uml的版本还是负的2.0吧。
1.Uml建模
比较容易使用。
最重要的是,它对模型的要求比较严格。比如序列图中的对象或者消息,必须是已经定义的。否则会出错的。这样严格应该是为了代码生成和模型验证吧。
Tau3.0有一种特殊的图,叫做text图,一般来说是一个类的方法的实现。在text 图里面有一个action symbol,就是一个类似输入框...
1875 days前 / 1,494 次浏览阅读全文
最近无聊转了一下电器店,突然想买个游戏机。考虑来考虑去,决定买ps3。
虽然觉得xbox360比较好。xbox便宜,两个版本各不到3万和4万,而60g的ps3要6万多。
http://www.amazon.co.jp/exec/obidos/ASIN/B000JJ9K3U/intermezzo-22/
但是ps3能装linux。所以决定买ps3了。
看了网上的一些东西,总结了一些可用的linux。
1。Yellow Dog Linux v5.0 for PLAYSTATION3 (YDL)
美国的Terra soft开发的。公司网址http://www.terrasoftsolutions.com/tss_home.shtml
基于 Fedora Core5的,内核2.6.16。桌面系统为E17。附带了CELL处理器开发工具箱Cell SDK 1.1
带支持100美元,不带...
1969 days前 / 1,529 次浏览阅读全文
以dot net的ML为基础,性能相当于C#,是一个集脚本,函数式,面向对象等于一身的语言。
它的主页在:http://research.microsoft.com/fsharp/fsharp.aspx
2190 days前 / 1,694 次浏览阅读全文
那就请去CSDN。
最近发现,csdn的论坛和blog,总是有很多引起激烈争吵或者回复的帖子。
在工作之余,不失为一种休闲解乏的好方法。
不过为什么我们国家怎么这么爱吵架,人身攻击,骂的还挺露骨,我是不好意思说出这样的话,呵呵。
今天无意看到的:
http://blog.csdn.net/gigix/archive/2006/03/17/626839.aspx
2198 days前 / 1,181 次浏览阅读全文
随便看看
热门标签
adb
Android
android sdk google
bing
components
control
deb
debian
eclipse
ed
gconf
gconfd
gconftool
gconftool-2
google
hibernate
hprof
java
launchpad
leak
linux
memory
microsoft
ms
NO_PKG_MANGLE
package
pkgstriptranslations
ppa
rc.local
roma
Ruby
section
shell
sns
tech
ubuntu
vi
vim
wave
zenity
自动启动






最新评论