espezifikazio
Ez dago emaitzarik
Bilatutako terminoa ez dago hiztegian.
Nahi baduzu, proposamena bidali.
- sin.zehazpen
- ca especificació f
- de Spezifikation f; Vorschrift f
- en specification
- es especificación f
- fr spécification f
- gl especificación f
- it specifica f
- pt especificação f
espezifikazio
SARRERA DESBERDINA:
Espezifikazio formala (informatika)
Espezifikazio formala matematikak eskaintzen duen lengoaia formala erabiliz, algoritmo baten zeregina dokumentatzean datza. Horretarako begizta edo egitura errekurtsiboen exekuzioen ondorioz lortutako emaitzen konputazio-egoerak lengoaia formalean zehazten dira, era horretan programak dokumentatzen dira. Dokumentazio horiek programen zeregina deskribatzean sarrerako datuen eta irteerako emaitzen arteko erlazioa adierazten dute.[1]Espezifikazioa lehen mailako lengoaia logiko edo matematikoan idatzi ohi da, eguneroko hizkuntzek dituzten anbiguotasun eta zehaztasun gabeziak ekiditeko. Hala ere, espezifika daiteke lengoaia informalak diren eguneroko hizkuntzekin, aholkatzen ez den arren, horretarako oso ondo zehaztu behar baitira erabili beharreko terminoak, hizkuntzaren anbiguotasuna saihestuz.