formal methods
Tieteen termipankista
Kieliopillinen koodaus (englanti)
| Sanaluokka | substantiivi |
| Suku | |
| Alkuperä |
Luo tämän nimityksen perusteella käsite uudelle aihealueelle:
formaalit menetelmät (Tietojenkäsittelytiede)
joukko työkaluja ja merkintätapoja, jotka perustuvat matemaattisen päättelyn soveltamiseen tietokonejärjestelmien suunnittelussa ja toteutuksessa
Alaviite
Lähdeviittaus tähän sivuun:
Tieteen termipankki 6.12.2025: Nimitys:formal methods.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:formal methods.)
Noudettu kohteesta ”https://tieteentermipankki.fi/w/index.php?title=Nimitys:formal_methods&oldid=533630”