Metody formalne

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Metody formalne (ang. formal methods) - w informatyce tym terminem określa się oparte na matematyce podejścia do specyfikacji, projektowania i weryfikacji oprogramowania lub systemów informatycznych.

Użycie notacji i języków ze zdefiniowanym matematycznym znaczeniem pozwala precyzyjnie określić, co system informatyczny powinien robić, jakie mają być jego właściwości oraz zweryfikować poprawność działania systemu.

Linki zewnętrzne[edytuj | edytuj kod]