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
話題樹型展開
人氣 標題 作者 字數 發文時間
11201 [精華] 小問題請問大家[ aggregation&composition ] Biologic 251 2003-07-15 09:40
10268 Re:小問題請問大家[ aggregation&composition ] Roberto 280 2003-07-15 11:31
10267 Re:小問題請問大家[ aggregation&composition ] Biologic 791 2003-07-15 12:31
10149 Re:小問題請問大家[ aggregation&composition ] Roberto 852 2003-07-15 13:12
10114 Re:小問題請問大家[ aggregation&composition ] Biologic 496 2003-07-15 13:31
10160 Re:小問題請問大家[ aggregation&composition ] Roberto 348 2003-07-15 13:45
10084 Re:小問題請問大家[ aggregation&composition ] Biologic 492 2003-07-15 14:12
10145 Re:小問題請問大家[ aggregation&composition ] Roberto 515 2003-07-15 14:27
10157 Re:小問題請問大家[ aggregation&composition ] Biologic 845 2003-07-15 14:58
10074 Re:小問題請問大家[ aggregation&composition ] Roberto 855 2003-07-15 15:39
10088 Re:小問題請問大家[ aggregation&composition ] Biologic 832 2003-07-15 16:09
10109 Re:小問題請問大家[ aggregation&composition ] Roberto 636 2003-07-15 16:24
10219 Re:小問題請問大家[ aggregation&composition ] Biologic 140 2003-07-18 10:57
12494 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