|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-1998 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8381
|
| タイトル: | Concurrent object composition in CafeOBJ |
| 著者: | Iida, Shusaku
Matsumoto, Michihiro
Diaconescu, Razvan
Futatsugi, Kokichi
Lucanu, Dorel |
| 発行日: | 1998-02-20 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-98-0009S |
| 開始ページ: | 1 |
| 終了ページ: | 40 |
| 抄録: | A new method is introduced to concurrently compose an object from already verified objects. The most important new feature of our method is that the verification of the composed object can be done by re-using the verifications of component objects. That is, the verification of composed object is also composable. This is not always true. We can show this can be achieved under some practically reasonable restrictions. These can be made possible by using a new algebraic specification language CafeOBJ which has clear and precise algebraic semantics. |
| URI: | http://hdl.handle.net/10119/8381 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-1998
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-98-0009S.pdf | | 22475Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
