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 在開規格時，就能驗證出是否正確，再修改需求 謝謝您 |
| 話題樹型展開 |
| » JWorld@TW » Software Engineering |
|
|
已讀文章 新的文章 被刪除的文章 |
