Formal methods
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically rigorous techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Wikipage disambiguates
APCBAbductive reasoningAbstract State Machine LanguageAbstract data typeAbstraction (computer science)Alan BundyAlexandra SilvaAlgebraic semantics (computer science)Altran PraxisAnders P. RavnAndrei VoronkovAndrew Clive SimpsonAndrew D. GordonAndrew Martin (computer scientist)ApomorphismArnold AllenAssertion definition languageAugusto SampaioB-MethodBCS-FACSBehavior treeBernhard Steffen (computer scientist)Branches of scienceCarroll Morgan (computer scientist)Cas CremersCleanroom software engineeringCliff Jones (computer scientist)Community Z ToolsCompilerCompiler correctnessComputability theoryComputational criminologyComputer algebraComputer scientistCritical systemDDC-IDO-178CDaniel Jackson (computer scientist)Dansk Datamatik Center
Link from a Wikipage to another Wikipage
discipline
sub discipline
Formal methods
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically rigorous techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
has abstract
Een formele methode is een op ...... an een programma of algoritme.
@nl
En informatique, les méthodes ...... scientifiques en informatique.
@fr
En ingeniería de software un m ...... elo matemático de un sistema.
@es
In computer science, specifica ...... pecification and verification.
@en
Informatikan, bereziki softwar ...... erabilgarriak metodo formalak.
@eu
Metode formal, dalam ilmu komp ...... (robusitas) suatu rancangan .
@in
Metody formalne (ang. formal m ...... poprawność działania systemu.
@pl
Na ciência da computação e eng ...... da de vidas ou sério prejuízo.
@pt
В информатике и инженерии прог ...... и алгебраических типов данных.
@ru
Формальні методи (англ. Formal ...... лізації (наприклад, програми).
@uk
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,021,939,326
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
Een formele methode is een op ...... an een programma of algoritme.
@nl
En informatique, les méthodes ...... (ou parfois, son code objet).
@fr
En ingeniería de software un m ...... elo matemático de un sistema.
@es
In computer science, specifica ...... ty and robustness of a design.
@en
Informatikan, bereziki softwar ...... erabilgarriak metodo formalak.
@eu
Metode formal, dalam ilmu komp ...... (robusitas) suatu rancangan .
@in
Metody formalne (ang. formal m ...... poprawność działania systemu.
@pl
Na ciência da computação e eng ...... da de vidas ou sério prejuízo.
@pt
В информатике и инженерии прог ...... вании высокоточных систем, где
@ru
Формальні методи (англ. Formal ...... лізації (наприклад, програми).
@uk
label
Formal methods
@en
Formale Methode
@de
Formele methoden
@nl
Formella metoder
@sv
Metode formal
@in
Metodo formalak
@eu
Metody formalne
@pl
Méthode formelle (informatique)
@fr
Método formal
@es
Métodos formais
@pt