разработка программного обеспечения напоминает науку, и поэтому в ней применяется правило опровергающих доказательств.