鵜林, 佐藤, 境, 玉井, "Alloy-Based Lightweight Verification for Aspect-Oriented Architecture," 6th International Conference on Software Engineering Research, Management and Applications (SERA 2008), pp. 171-178, 2008年.
ID 182
分類 国際会議
タグ alloy-based architecture aspect-oriented lightweight verification
表題 (title) Alloy-Based Lightweight Verification for Aspect-Oriented Architecture
表題 (英文) Alloy-Based Lightweight Verification for Aspect-Oriented Architecture
著者名 (author) 鵜林 尚靖,佐藤 友紀,境 顕宏,玉井 哲雄
英文著者名 (author) Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai
編者名 (editor)
編者名 (英文)
キー (key)
書籍・会議録表題 (booktitle) 6th International Conference on Software Engineering Research, Management and Applications (SERA 2008)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 171-178
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2008
採択率 (acceptance) 62 of 147 (42%)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id182,
         title = {Alloy-based Lightweight Verification for Aspect-oriented Architecture},
        author = {鵜林 尚靖 and 佐藤 友紀 and 境 顕宏 and 玉井 哲雄},
     booktitle = {6th International Conference on Software Engineering Research, Management and Applications (SERA 2008)},
         pages = {171-178},
         month = {0},
          year = {2008},
    acceptance = {62 of 147 (42\%)},
}