S. Shinotsuka, N. Ubayashi, H. Shinomi, and T. Tamai, "An Extensible Contract Verifier for Aspectj," In 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2) (Workshop at ASE 2006), pp. 35-40, 2006.
ID 231
分類 国際会議
タグ aspectj contract extensible verifier
表題 (title) An Extensible Contract Verifier for Aspectj
表題 (英文)
著者名 (author) Suguru Shinotsuka, Naoyasu Ubayashi, Hideaki Shinomi,Tetsuo Tamai
英文著者名 (author) Suguru Shinotsuka,Naoyasu Ubayashi,Tetsuo Tamai
編者名 (editor)
編者名 (英文)
キー (key) Suguru Shinotsuka,Naoyasu Ubayashi,Tetsuo Tamai
書籍・会議録表題 (booktitle) 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2) (Workshop at ASE 2006)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 35-40
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2006
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id231,
         title = {An Extensible Contract Verifier for AspectJ},
        author = {Suguru Shinotsuka and  Naoyasu Ubayashi and  Hideaki Shinomi and Tetsuo Tamai},
     booktitle = {2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2) (Workshop at ASE 2006)},
         pages = {35-40},
         month = {0},
          year = {2006},
}