Enviar registro por correo electrónico: Using aspect-oriented programming for trustworthy software development