Zpo-5-wyk-Slajd7
Z Studia Informatyczne
Formalna definicja
Bardziej formalną definicję zaproponował D. Roberts w 1998 roku, opisując przekształcenie refaktoryzacyjne jako parę elementów:
- zbioru warunków wstępnych, jakie program musi spełniać przed wykonaniem zmiany, aby była ona poprawna
- i opisu samego przekształcenia.
Warto zwrócić uwagę, że definicja ta zakłada, że poprawność można stwierdzić przed wykonaniem modyfikacji, tzn. możliwe jest przewidzenie wszystkich jej skutków z góry, bez konieczności jej przeprowadzania. Oczywiście, takie założenie nie zawsze jest uzasadnione.
