An Aspect-Oriented Approach to Modular Behavioral Specification.

Kiyoshi Yamada Takuo Watanabe

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

high level
formal specification
specification language
modular structure
highly modular
neural network
image processing
data structure
formal verification
data sets
databases
decision trees