Login / Signup

Unifying aspect- and object-oriented design.

Hridesh RajanKevin J. Sullivan
Published in: ACM Trans. Softw. Eng. Methodol. (2009)
Keyphrases
  • object oriented design
  • formal specification
  • object oriented
  • object oriented systems
  • software design
  • real world
  • computer vision
  • case study
  • three dimensional
  • model checking