Sciweavers

ENTCS
2006
140views more  ENTCS 2006»
13 years 11 months ago
An Aspect-Oriented Approach to Modular Behavioral Specification
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
Kiyoshi Yamada, Takuo Watanabe