Zaslat SMS: Software specification methods