| |
Пискунов, А. Г.
Об отличиях между понятиями типа и класса [Текст] / А. Г. Пискунов
// Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2015. – С. 106-115. – (Серія "Фізико-математичні науки").
У статті застосовується метод розробки програмного забезпечення RAISE від групи авторів RAISE Development Growp (далі RDG) для формального аналізу приклада Роберта Мартіна, що ілюструє принцип підстановки (або інакше принцип заміщення) Барбари Лісков. |
