JWorld@TW
the best professional Java site in Taiwan
註冊
|
登入
|
全文檢索
|
排行榜
»
JWorld@TW
»
Software Engineering
列印話題
寄給朋友
訂閱主題
本主題所含的標籤
無標籤
作者
Re:小問題請問大家[ aggregation&composition ] [Re:Biologic]
studman
發文:
47
積分:
0
於 2004-08-06 03:12
小弟目前正在研究OCL2.0
希望能用在Real-Time 或是Safety Critical System的Constraints上
不知 Roberto版主對於OCL在時間跟狀態上描述完整性有否了解或是資料
希望能利用OCL做到Model Checking
在開規格時,就能驗證出是否正確,再修改需求
謝謝您
話題樹型展開
人氣
標題
作者
字數
發文時間
11260
[精華]
小問題請問大家[ aggregation&composition ]
Biologic
251
2003-07-15 09:40
10316
Re:小問題請問大家[ aggregation&composition ]
Roberto
280
2003-07-15 11:31
10314
Re:小問題請問大家[ aggregation&composition ]
Biologic
791
2003-07-15 12:31
10196
Re:小問題請問大家[ aggregation&composition ]
Roberto
852
2003-07-15 13:12
10159
Re:小問題請問大家[ aggregation&composition ]
Biologic
496
2003-07-15 13:31
10205
Re:小問題請問大家[ aggregation&composition ]
Roberto
348
2003-07-15 13:45
10129
Re:小問題請問大家[ aggregation&composition ]
Biologic
492
2003-07-15 14:12
10194
Re:小問題請問大家[ aggregation&composition ]
Roberto
515
2003-07-15 14:27
10203
Re:小問題請問大家[ aggregation&composition ]
Biologic
845
2003-07-15 14:58
10124
Re:小問題請問大家[ aggregation&composition ]
Roberto
855
2003-07-15 15:39
10135
Re:小問題請問大家[ aggregation&composition ]
Biologic
832
2003-07-15 16:09
10156
Re:小問題請問大家[ aggregation&composition ]
Roberto
636
2003-07-15 16:24
10266
Re:小問題請問大家[ aggregation&composition ]
Biologic
140
2003-07-18 10:57
12548
Re:小問題請問大家[ aggregation&composition ]
studman
161
2004-08-06 03:12
»
JWorld@TW
»
Software Engineering
已讀文章
新的文章
被刪除的文章
JWorld@TW
本站商標資訊
Powered by
Powerful JuteForum
® Version Jute 1.5.8