Складання та реалізація алгоритмів із передумовою у середовищі програмування