N. Ubayashi and S. Nakajima, "Separation of Context Concerns --- Applying Aspect Orientation to Vdm," In Second Overture (Open Source Formal Methods Tools) Workshop (Workshop at FM 06), 2006.
ID 232
分類 国際会議
タグ applying aspect concerns context orientation separation vdm
表題 (title) Separation of Context Concerns --- Applying Aspect Orientation to Vdm
表題 (英文)
著者名 (author) Naoyasu Ubayashi and Shin Nakajima
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key)
書籍・会議録表題 (booktitle) Second Overture (Open Source Formal Methods Tools) Workshop (Workshop at FM 06)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages)
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2006
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id232,
         title = {Separation of Context Concerns --- Applying Aspect Orientation to VDM},
        author = {Naoyasu Ubayashi and Shin Nakajima},
     booktitle = {Second Overture (Open Source Formal Methods Tools) Workshop (Workshop at FM 06)},
         month = {0},
          year = {2006},
}