Software is redefining the whole information and communication infrastructure, and embodies a growing amount of scientific and technical knowledge that is essential for the very existence of our...