This text examines the software engineering techniques used for industrial tasks. Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. This book presents mathematical foundations of software engineering and engineering methods in their theoretical substance in the step towards practical applications.