Io-7-wyk-Slajd1

Metody formalne

Witam serdecznie na kolejnym wykładzie z „Inżynierii oprogramowania”!

Tematem dzisiejszego wykładu są metody formalne, czyli metody oparte na matematyce. Metody matematyczne (np. widoczne na slajdzie funkcje trygonometryczne) są szeroko wykorzystywane w wielu obszarach nauk technicznych, więc nic dziwnego, że próbuje się je stosować również w inżynierii oprogramowania.

<< Poprzedni slajd | Spis treści | Następny slajd >>