Io-7-wyk-Slajd1

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Metody formalne

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 >>