|
JAIST Repository >
School of Information Science >
Articles >
Journal Articles >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/3980
|
| Title: | Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method |
| Authors: | Ogata, Kazuhiro
Futatsugi, Kokichi |
| Issue Date: | 2006 |
| Publisher: | Springer |
| Magazine name: | Lecture Notes in Computer Science |
| Volume: | 4060 |
| Start page: | 596 |
| End page: | 615 |
| DOI: | 10.1007/11780274_31 |
| Abstract: | 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 |
| Type: | Article |
| URI: | https://hdl.handle.net/10119/3980 |
| Material Type: | author |
| Appears in Collections: | b10-1. 雑誌掲載論文 (Journal Articles)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| 74-2.pdf | | 241Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
