Edsger Dijkstra: Porovnání verzí
Smazaný obsah Přidaný obsah
m WP:WCW: opravy nadpisů, opravy odrážek,… |
jsme na české wikipedii.... |
||
Řádek 115:
Od 70. let se Dijkstra věnoval [[formální verifikace|formální verifikaci]] programů: tehdejším běžným způsobem verifikace byla konstrukce [[matematický důkaz|matematického důkazu]] k již dokončenému programu; konstrukce takových důkazů je však velice náročná a z výsledků nelze poznat myšlenky, podle kterých byl program vytvořen. Dijkstrův alternativní způsob spočívá v opačném postupu: začíná se matematicky formulovanou specifikací, co a jak má program dělat; z této specifikace se pak pomocí matematických transformací postupně vytváří program, který je posléze možno spustit. Takový program je pak zaručeně správný již způsobem své konstrukce.
Dijkstra vytvořil mnoho rukopisů, jejichž kopie rozesílal svým kolegům (a od nich se šířily po prakticky celé informatické komunitě<ref>[http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1000.html ''Twenty-eight years'' (EWD 1000)]</ref>). Tyto rukopisy, které většinou pojednávají o počítačových a matematických tématech (ale některé obsahují i např. zprávy z cest), jsou označeny zkratkou EWD a pořadovým číslem. Celkem existuje přes 1300 EWD dokumentů a mnoho z nich bylo [[scanner|
== Reference ==
| |||