Login / Signup

A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations.

Mikhail ChalabineChristoph W. Kessler
Published in: ICSE (2007)
Keyphrases
  • software engineering
  • formal methods
  • round trip
  • main contribution
  • object oriented
  • software systems
  • information systems
  • case study
  • co occurrence