Αποστολή με SMS: Integration of Software Specification Techniques for Applications in Engineering