Tweet | |
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}, } |