Formal specification
Espezifikazio formala matematikak eskaintzen duen 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.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.
known for
Wikipage disambiguates
ACM Transactions on Programming Languages and SystemsAaron_SwartzAbstract state machineAction semanticsAlgebraic specificationAlgorithmic program debuggingAnalysis effort methodAssertion definition languageAutomata-based programmingAutomatic bug fixingB-MethodBHDLBehavior treeBertrand MeyerBird–Meertens formalismBracketBusiness rules approachCoding best practicesCoinductionCommunicating sequential processesComputer scienceCoqCorrectness (computer science)Crowdsourcing software developmentDafnyDesign by contractDon SymeDynamic testingEpigram (programming language)Eric HehnerExploratory testingExtended MLFirst-order logicFormalFormal SpecificationFormal methodsFormal specificationFormal verificationFormalizationFuzzing
Link from a Wikipage to another Wikipage
known for
primaryTopic
Formal specification
Espezifikazio formala matematikak eskaintzen duen 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.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.
has abstract
Espezifikazio formala matemati ...... zaren anbiguotasuna saihestuz.
@eu
Uma especificação formal é uma ...... plementação) da especificação.
@pt
Una especificación formal usa ...... os interesados en el sistema.
@es
В информатике формальная специ ...... ации требованиям пользователя.
@ru
Форма́льна специфіка́ція — мат ...... нню до вказаної специфікації».
@uk
形式仕様記述(けいしきしようきじゅつ、英: formal s ...... 述者はさらに理解を深めて仕様記述を改訂することになるだろう。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,022,775,124
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Espezifikazio formala matemati ...... zaren anbiguotasuna saihestuz.
@eu
Uma especificação formal é uma ...... m numa implementação concreta.
@pt
Una especificación formal usa ...... sin decir cómo se va a hacer.
@es
В информатике формальная специ ...... ации требованиям пользователя.
@ru
Форма́льна специфіка́ція — мат ...... ка буде вірною через побудову.
@uk
形式仕様記述(けいしきしようきじゅつ、英: formal s ...... テップを踏んで詳細化し、開発工程で不具合を作りこむのを防ぐ。
@ja
label
Especificación formal
@es
Especificação formal
@pt
Espezifikazio formala (informatika)
@eu
Formal specification
@en
Formale Spezifikation
@de
Формальна специфікація
@uk
Формальная спецификация
@ru
形式仕様記述
@ja