Programming in pictures: a way toward reliable software