ON THE DEVELOPMENT OF RELIABLE LARGE SOFTWARE