First, a short survey on program correctness is given. Then, some consequences of this theory, given as important rules in the programming activity, are presented.
Faculty of Mathematics and Informatics,
1, M.Kogalniceanu str., Cluj-Napoca
– 0.14 Mb