slovodefinícia
formal methods
(foldoc)
formal methods

Mathematically based techniques
for the specification, development and verification of
software and hardware systems.

Referentially transparent languages are amenable to symbolic
manipulation allowing program transformation (e.g. changing
a clear inefficient specification into an obscure but
efficient program) and proof of correctness.

{Oxford FM archive
(http://comlab.ox.ac.uk/archive/formal-methods.html)}.

(1996-05-15)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4