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

Authors:
Naoyasu Ubayashi;Shin Nakajima
Affiliations:
Kyushu Institute of Technology, Fukuoka, Japan;National Institute of Informatics, Tokyo, Japan
Venue:
Proceedings of the 2007 ACM symposium on Applied computing
Year:
2007

Citing 11
Cited 3

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Modelling systems: practical tools and techniques in software development

Modelling systems: practical tools and techniques in software development
N degrees of separation: multi-dimensional separation of concerns

Proceedings of the 21st international conference on Software engineering
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Aspect-oriented programming: Introduction

Communications of the ACM
Feature-Oriented Project Line Engineering

IEEE Software
Capturing more world knowledge in the requirements specification

ICSE '82 Proceedings of the 6th international conference on Software engineering
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Validated Designs For Object-oriented Systems

Validated Designs For Object-oriented Systems
Aspectual Caml: an aspect-oriented functional language

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
A parameterized interpreter for modeling different AOP mechanisms

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering

Context-dependent product line practice for constructing reliable embedded systems

SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Separation of concerns in feature diagram languages: A systematic survey

ACM Computing Surveys (CSUR)
Context-dependent product line engineering with lightweight formal approaches

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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.