Login / Signup

A property-based verification approach in aspect-oriented modeling.

Eunjee SongHanil KimWuliang Sun
Published in: SAC (2009)
Keyphrases
  • aspect oriented
  • software development
  • model checking
  • object oriented
  • formal methods
  • aspect oriented programming
  • decision making
  • business applications
  • modeling method
  • formal verification