Mathematical and software engineering