Tietojenkäsittelytiede:formaalit menetelmät
formaalit menetelmät
| formaalit menetelmät |
Määritelmä
joukko työkaluja ja merkintätapoja, jotka perustuvat matemaattisen päättelyn soveltamiseen tietokonejärjestelmien suunnittelussa ja toteutuksessa
Selite
Formaalien menetelmien avulla tietokonejärjestelmiä voidaan kuvata tarkoin määritellyin merkintätavoin, joiden pohjalta kuvauksia voidaan analysoida matemaattisesti. Formaalit kuvaukset ovat matemaattisia malleja, joiden avulla ymmärrys tarkasteltavasta järjestelmästä lisääntyy, ja joiden johdonmukaisuus ja oikeellisuus voidaan todistaa.
Erikieliset vastineet
| formal methods | englanti (English) |
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 6.12.2025: Tietojenkäsittelytiede:formaalit menetelmät. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Tietojenkäsittelytiede:formaalit menetelmät.)