|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/3980
|
| タイトル: | Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method |
| 著者: | Ogata, Kazuhiro
Futatsugi, Kokichi |
| 発行日: | 2006 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 4060 |
| 開始ページ: | 596 |
| 終了ページ: | 615 |
| DOI: | 10.1007/11780274_31 |
| 抄録: | The OTS/CafeOBJ method is an instance of the proof score approach to systems analysis, which has been mainly devoted by researchers in the OBJ community. We describe some tips on writing proof scores in the OTS/CafeOBJ method and use a mutual exclusion protocol to exemplify the tips. We also argue soundness of proof scores in the OTS/CafeOBJ method. |
| Rights: | This is the author-created version of Springer, Kazuhiro Ogata, Kokichi Futatsugi, Lecture Notes in Computer Science, 4060, 2006, 596-615. The original publication is available at www.springerlink.com. http://springerlink.metapress.com/content/d576303638170133/?p=1ba740b87e2d4b6ab859b73a33119d4c&pi=0 |
| 資料タイプ: | Article |
| URI: | http://hdl.handle.net/10119/3980 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 74-2.pdf | | 241Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
