JWorld@TW the best professional Java site in Taiwan
      註冊 | 登入 | 全文檢索 | 排行榜  

» JWorld@TW » Software Engineering  

按列印兼容模式列印這個話題 列印話題    把這個話題寄給朋友 寄給朋友    訂閱主題
reply to postflat modego to previous topicgo to next topic
本主題所含的標籤
無標籤
作者 Re:小問題請問大家[ aggregation&composition ] [Re:Biologic]
studman





發文: 47
積分: 0
於 2004-08-06 03:12 user profilesend a private message to usersend email to studmanreply to postreply to postsearch all posts byselect and copy to clipboard. 
ie only, sorry for netscape users:-)add this post to my favorite list
小弟目前正在研究OCL2.0
希望能用在Real-Time 或是Safety Critical System的Constraints上
不知 Roberto版主對於OCL在時間跟狀態上描述完整性有否了解或是資料
希望能利用OCL做到Model Checking
在開規格時,就能驗證出是否正確,再修改需求
謝謝您


reply to postreply to post
話題樹型展開
人氣 標題 作者 字數 發文時間
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

reply to postflat modego to previous topicgo to next topic
  已讀文章
  新的文章
  被刪除的文章
Jump to the top of page

JWorld@TW 本站商標資訊

Powered by Powerful JuteForum® Version Jute 1.5.8