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

Naoyasu Ubayashi, Shin Nakajima

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 2007 ACM Symposium on Applied Computing
PublisherAssociation for Computing Machinery
Pages1269-1274
Number of pages6
ISBN (Print)1595934804, 9781595934802
DOIs
Publication statusPublished - Jan 1 2007
Externally publishedYes
Event2007 ACM Symposium on Applied Computing - Seoul, Korea, Republic of
Duration: Mar 11 2007Mar 15 2007

Publication series

NameProceedings of the ACM Symposium on Applied Computing

Other

Other2007 ACM Symposium on Applied Computing
CountryKorea, Republic of
CitySeoul
Period3/11/073/15/07

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Context-aware feature-oriented modeling with an aspect extension of VDM'. Together they form a unique fingerprint.

  • Cite this

    Ubayashi, N., & Nakajima, S. (2007). Context-aware feature-oriented modeling with an aspect extension of VDM. In Proceedings of the 2007 ACM Symposium on Applied Computing (pp. 1269-1274). (Proceedings of the ACM Symposium on Applied Computing). Association for Computing Machinery. https://doi.org/10.1145/1244002.1244277