Formal methods

Méthode formelle - Techniques de raisonnement mathématique sur des programmes ou du matériel informatique. L'article "Formal methods" sur Wikipédia en anglais a 47.9 points pour la qualité (au 1 août 2024). L'article contient 41 références et 20 sections. L'article contient également un modèle de défauts de qualité, qui réduit le score de qualité.

Dans cette version linguistique de Wikipédia, l'article est de la meilleure qualité. De plus, cet article est le plus populaire dans cette version linguistique.

En juillet 2024 l'article "Formal methods" a été édité par 3 auteurs sur Wikipédia en anglais et écrit par 4 auteurs dans toutes les langues.

Depuis la création de l'article "Formal methods", son contenu a été rédigé par 126 utilisateurs enregistrés de Wikipédia en anglais et édité par 391 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 602 fois dans Wikipédia en anglais et cité 2625 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (anglais): n° 8571 en décembre 2002
• Mondial: n° 12173 en décembre 2002

Le classement de popularité le plus élevé depuis 2008:

• Local (anglais): n° 72161 en septembre 2014
• Mondial: n° 95182 en septembre 2014

Il existe 24 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Formal methods		47.8577
2	hongrois (hu) Formális módszerek		42.0454
3	serbe (sr) Формалне методе		30.2688
4	allemand (de) Formale Methode		25.1746
5	turc (tr) Biçimsel yöntemler		23.3844
6	portugais (pt) Métodos formais		22.1062
7	chinois (zh) 形式化方法		21.0799
8	basque (eu) Metodo formalak		19.0197
9	arabe (ar) طريقة شكلية		18.9815
10	japonais (ja) 形式手法		18.1279

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Formal methods" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal methods		1 248 632
2	français (fr) Méthode formelle (informatique)		223 768
3	japonais (ja) 形式手法		155 805
4	espagnol (es) Método formal		133 088
5	portugais (pt) Métodos formais		92 159
6	chinois (zh) 形式化方法		60 731
7	russe (ru) Формальные методы		56 572
8	allemand (de) Formale Methode		44 542
9	persan (fa) روش‌های صوری		34 400
10	polonais (pl) Metody formalne		29 787

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Formal methods" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal methods		4 511
2	français (fr) Méthode formelle (informatique)		470
3	japonais (ja) 形式手法		342
4	chinois (zh) 形式化方法		316
5	russe (ru) Формальные методы		157
6	allemand (de) Formale Methode		147
7	persan (fa) روش‌های صوری		139
8	espagnol (es) Método formal		114
9	portugais (pt) Métodos formais		113
10	coréen (ko) 정형 기법		64

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Formal methods" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Formal methods		126
2	français (fr) Méthode formelle (informatique)		63
3	allemand (de) Formale Methode		28
4	portugais (pt) Métodos formais		22
5	persan (fa) روش‌های صوری		20
6	japonais (ja) 形式手法		15
7	vietnamien (vi) Các phương pháp hình thức		15
8	russe (ru) Формальные методы		11
9	néerlandais (nl) Formele methoden		10
10	ukrainien (uk) Формальні методи		10

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Formal methods" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	anglais (en) Formal methods		3
2	japonais (ja) 形式手法		1
3	arabe (ar) طريقة شكلية		0
4	allemand (de) Formale Methode		0
5	espagnol (es) Método formal		0
6	basque (eu) Metodo formalak		0
7	persan (fa) روش‌های صوری		0
8	français (fr) Méthode formelle (informatique)		0
9	hongrois (hu) Formális módszerek		0
10	indonésien (id) Metode formal		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Formal methods" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Formal methods		602
2	persan (fa) روش‌های صوری		287
3	arabe (ar) طريقة شكلية		274
4	français (fr) Méthode formelle (informatique)		240
5	ukrainien (uk) Формальні методи		237
6	chinois (zh) 形式化方法		177
7	vietnamien (vi) Các phương pháp hình thức		158
8	coréen (ko) 정형 기법		148
9	turc (tr) Biçimsel yöntemler		136
10	japonais (ja) 形式手法		127

Plus...

#	Langue	Valeur
ar	arabe طريقة شكلية
de	allemand Formale Methode
en	anglais Formal methods
es	espagnol Método formal
eu	basque Metodo formalak
fa	persan روش‌های صوری
fr	français Méthode formelle (informatique)
hu	hongrois Formális módszerek
id	indonésien Metode formal
it	italien Metodi formali
ja	japonais 形式手法
ko	coréen 정형 기법
lt	lituanien Formalūs metodai
ms	malais Kaedah formal
nl	néerlandais Formele methoden
pl	polonais Metody formalne
pt	portugais Métodos formais
ru	russe Формальные методы
sr	serbe Формалне методе
sv	suédois Formella metoder
tr	turc Biçimsel yöntemler
uk	ukrainien Формальні методи
vi	vietnamien Các phương pháp hình thức
zh	chinois 形式化方法

Meilleur rang

anglais: n° 72161 09.2014

Mondial: n° 95182 09.2014

Meilleur rang

anglais: n° 8571 12.2002

Mondial: n° 12173 12.2002

Au 12 novembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Donald Trump, Marco Rubio, Elon Musk, Song Jae-rim, élection présidentielle américaine de 2024, Megan Fox, Melania Trump, Gladiator 2, ChatGPT, décès en 2024.

Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: Microsoft, 2024 United States presidential election, Marco Rubio, Song Jae-rim, Michael Waltz, Kristi Noem, Donald Trump, 2020 United States presidential election, Kash Patel, Tom Homan.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information