R. Nakashiro, Y. Kamei, N. Ubayashi, S. Nakajima, and A. Iwai, "Translation Pattern of Bpel Process into Promela Code.," In The Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (IWSM/MENSURA2011), pp. 285-290, 2011.
ID 105
分類 国際会議
タグ bpel code. pattern process promela translation
表題 (title) Translation Pattern of Bpel Process into Promela Code.
表題 (英文) Translation Pattern of Bpel Process into Promela Code.
著者名 (author) Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
英文著者名 (author) Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
編者名 (editor)
編者名 (英文)
キー (key)
書籍・会議録表題 (booktitle) The Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (IWSM/MENSURA2011)
書籍・会議録表題(英文) The Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (IWSM/MENSURA2011)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 285-290
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2011
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id105,
         title = {Translation Pattern of BPEL Process into Promela Code.},
        author = {Ryosuke Nakashiro and  Yasutaka Kamei and  Naoyasu Ubayashi and  Shin Nakajima and  Akihito Iwai},
     booktitle = {The Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (IWSM/MENSURA2011)},
         pages = {285-290},
         month = {0},
          year = {2011},
}