この資料をSMS送信: Using aspect-oriented programming for trustworthy software development