JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://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: http://hdl.handle.net/10119/3980
Material Type: author
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
74-2.pdf241KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology