Joinpoint Inference from Behavioral Specification to Implementation.

Thomas Cottenier Aswin van den Berg Tzilla Elrad

Published in: ECOOP (2007)

Keyphrases

implementation issues
specification language
inference mechanism
neural network
high level
object oriented
formal methods
inference process
formal verification