楠, 岡野, 楠本, "シーケンス図が持つメッセージ順序の曖昧性除去手法の提案," 電子情報通信学会技術研究報告, 114(510), 2015年3月.
ID 400
分類 研究会・全国大会等
タグ Sequence Diagram Model Checking Linear Temporal Logic XML
表題 (title) シーケンス図が持つメッセージ順序の曖昧性除去手法の提案
表題 (英文) Removing Possibility of Ambiguous Message Ordering in Sequence Diagram
著者名 (author) 楠 野明, 岡野 浩三, 楠本 真二
英文著者名 (author) Noa Kusunoki,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Noa Kusunoki,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) 電子情報通信学会技術研究報告
書籍・会議録表題(英文)
巻数 (volume) 114
号数 (number) 510
ページ範囲 (pages)
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 3
出版年 (year) 2015
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル sigss-k-noa.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id400,
         title = {シーケンス図が持つメッセージ順序の曖昧性除去手法の提案},
        author = {楠 野明 and  岡野 浩三 and  楠本 真二},
     booktitle = {電子情報通信学会技術研究報告},
        volume = {114},
        number = {510},
         month = {3},
          year = {2015},
}