Context-aware feature-oriented modeling with an aspect extension of VDM

Naoyasu Ubayashi, Shin Nakajima

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

13 被引用数 (Scopus)

抄録

Separation of concerns is important to reduce the complexity of software design. This paper examines a software development method starting with the feature-oriented modeling method to have VDM-based formal design. In order to overcome the problem that a feature may be scattered over the VDM design description, the notion of the aspect is adapted to propose Aspect VDM. The identified features are concisely represented in Aspect VDM to demonstrate modular descriptions of cross-cutting concerns in VDM.

本文言語英語
ホスト出版物のタイトルProceedings of the 2007 ACM Symposium on Applied Computing
出版社Association for Computing Machinery
ページ1269-1274
ページ数6
ISBN(印刷版)1595934804, 9781595934802
DOI
出版ステータス出版済み - 1 1 2007
外部発表はい
イベント2007 ACM Symposium on Applied Computing - Seoul, 大韓民国
継続期間: 3 11 20073 15 2007

出版物シリーズ

名前Proceedings of the ACM Symposium on Applied Computing

その他

その他2007 ACM Symposium on Applied Computing
国/地域大韓民国
CitySeoul
Period3/11/073/15/07

All Science Journal Classification (ASJC) codes

  • ソフトウェア

フィンガープリント

「Context-aware feature-oriented modeling with an aspect extension of VDM」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル