SPLAT: Software Engineering Properties of Languages and Aspect Technologies