Zaslat SMS: Theoretical Aspects of Software Engineering