Встретил явный случай заимствования текстов для написания статей, диссертаций и пр. Никаких претензий к самой работе, но вот сам факт удивления.
Открываем введение диссертации Промского А. В. «Формальная семантика C-Light программ и их верификация методом Хоара» и смотрим:
Тысячекратный рост производительности компьютеров за последние 25 лет привел к росту размеров программ в тех же пропорциях. Область применения огромных программ (от 1 до 40 млн. строк) значительно увеличилась за последнее десятилетие. Для таких больших программ является необходимым требование разработки по разумной цене и дальнейшей модификации и поддержки в течении всего их жизненного цикла (часто более 20 лет). Размеры и эффективность программ и коллективов, занимаюш;ихся их проектированием и сопровождением, не могут расти в одинаковых пропорциях. При достаточно устоявшейся (и зачастую оптимистичной) оценке в одну ошибку на тысячу строк кода такие программы быстро могут стать неуправляемыми. Поэтому в ближайшие 10 лет проблема надейюности программного обеспечения может стать одним из основных вызовов для современных компьютерно-зависимых обществ.
Никаких ссылок, просто текст. Теперь открываем статью P Cousot, «Abstract Interpretation Based Formal Methods and Future Challenges»:
The evolution of hardware by a factor of 106 over the past 25 years has lead to the explosion of the size of programs in similar proportions. The scope of application of very large programs (from 1 to 40 millions of lines) is likely to widen rapidly in the next decade. Such big programs will have to be designed at a reasonable cost and then modified and maintained during their lifetime (which is often over 20 years). The size and efficiency of the programming and maintenance teams in charge of their design and follow-up cannot grow in similar proportions. At a not so uncommon (and often optimistic) rate of one bug per thousand lines such huge programs might rapidly become hardly manageable in particular for safety critical systems. Therefore in the next 10 years, the software reliability problem is likely to become a major concern and challenge to modern highly computer-dependent societies.
И перевод не нужен, т.к. был дословно взят кусок, переведен, и вставлен прямо в начало введения, т.е. всей диссертации. Правда только, копирование почему-то из 106 роста сделало 103 рост, единственная разница. Остальное 100%-ное попадание.
Такой вот способ. Если лень писать, то можно похожее найти на другом языке и перевести. И вроде как ещё техника до выявления таких копий не дошла.
