Formal methods
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based 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.
academic discipline
Wikipage disambiguates
primaryTopic
Formal methods
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based 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 ...... delo matemático de un sistema.
@es
In computer science, specifica ...... pecification and verification.
@en
In der Informatik bezeichnet d ...... um Fehlerfreiheit zu beweisen.
@de
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
في علم الحاسوب، على وجه الخصوص ...... بمواصفات الأجهزة والتحقق منها.
@ar
形式化方法,中文也稱形式方法、正規方法。在计算机科学和软件工 ...... 的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。
@zh
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
733,211,299
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 ...... delo matemático de un sistema.
@es
In computer science, specifica ...... ty and robustness of a design.
@en
In der Informatik bezeichnet d ...... um Fehlerfreiheit zu beweisen.
@de
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
في علم الحاسوب، على وجه الخصوص ...... ي زيادة اعتمادية وقوة التصميم.
@ar
形式化方法,中文也稱形式方法、正規方法。在计算机科学和软件工 ...... 的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。
@zh
label
Formal methods
@en
Formale Methode
@de
Formele methoden
@nl
Metody formalne
@pl
Méthode formelle (informatique)
@fr
Método formal
@es
Métodos formais
@pt
Формальные методы
@ru
أساليب رسمية
@ar
形式化方法
@zh