Chris Connell writes about what separates software engineering form computer science. Quoting:

Formal software engineering processes, such as cleanroom engineering, are gradually finding rigorous, provable methods for software development. They are raising the bright line to subsume previously squishy software engineering topics.