Espezifikazio formala (informatika)

Quality:

Formal specification - mathematically based techniques whose purpose are to help with the implementation of systems and software. Article "Espezifikazio formala (informatika)" in Basque Wikipedia has 24.8 points for quality (as of July 1, 2025). The article contains 5 references and 12 sections.

This article has the best quality in English Wikipedia. Also, this article is the most popular in that language version.

Since the creation of article "Espezifikazio formala (informatika)", its content was written by 6 registered users of Basque Wikipedia and edited by 134 registered Wikipedia users in all languages.

The article is cited 7 times in Basque Wikipedia and cited 250 times in all languages.

The highest Authors Interest rank from 2001:

• Local (Basque): #113 in April 2017
• Global: #9814 in August 2002

The highest popularity rank from 2008:

• Local (Basque): #9648 in April 2017
• Global: #163280 in April 2008

There are 9 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

#	Language	Quality grade	Quality score
1	English (en) Formal specification		39.8341
2	Basque (eu) Espezifikazio formala (informatika)		24.78
3	Spanish (es) Especificación formal		16.9358
4	Simple English (simple) Program specification		12.9015
5	Portuguese (pt) Especificação formal		3.1012
6	Ukrainian (uk) Формальна специфікація		3.0505
7	Japanese (ja) 形式仕様記述		1.7735
8	German (de) Formale Spezifikation		1.4017
9	Russian (ru) Формальная спецификация		1.1967

The following table shows the most popular language versions of the article.

#	Language	Popularity award	Relative popularity
1	English (en) Formal specification		537 251
2	Simple English (simple) Program specification		64 380
3	Japanese (ja) 形式仕様記述		47 729
4	Russian (ru) Формальная спецификация		29 928
5	German (de) Formale Spezifikation		29 856
6	Spanish (es) Especificación formal		23 276
7	Portuguese (pt) Especificação formal		21 232
8	Ukrainian (uk) Формальна специфікація		6 503
9	Basque (eu) Espezifikazio formala (informatika)		641

The following table shows the language versions of the article with the highest popularity in the last month.

#	Language	Popularity award	Relative popularity
1	English (en) Formal specification		1 912
2	Simple English (simple) Program specification		266
3	Japanese (ja) 形式仕様記述		104
4	German (de) Formale Spezifikation		37
5	Russian (ru) Формальная спецификация		36
6	Portuguese (pt) Especificação formal		33
7	Spanish (es) Especificación formal		22
8	Ukrainian (uk) Формальна специфікація		19
9	Basque (eu) Espezifikazio formala (informatika)		14

The following table shows the language versions of the article with the highest Authors’ Interest.

#	Language	AI award	Relative AI
1	English (en) Formal specification		63
2	German (de) Formale Spezifikation		20
3	Simple English (simple) Program specification		15
4	Spanish (es) Especificación formal		8
5	Japanese (ja) 形式仕様記述		7
6	Basque (eu) Espezifikazio formala (informatika)		6
7	Russian (ru) Формальная спецификация		6
8	Ukrainian (uk) Формальна специфікація		5
9	Portuguese (pt) Especificação formal		4

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

#	Language	AI award	Relative AI
1	German (de) Formale Spezifikation		0
2	English (en) Formal specification		0
3	Spanish (es) Especificación formal		0
4	Basque (eu) Espezifikazio formala (informatika)		0
5	Japanese (ja) 形式仕様記述		0
6	Portuguese (pt) Especificação formal		0
7	Russian (ru) Формальная спецификация		0
8	Simple English (simple) Program specification		0
9	Ukrainian (uk) Формальна специфікація		0

The following table shows the language versions of the article with the highest number of citations.

On 12 August 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, deaths in 2025, Taylor Swift, Miguel Uribe Turbay, 2025–26 UEFA Champions League.

In Basque Wikipedia the most popular articles on that day were: Estefania Etxebeste Giraldo, Patricia Urrutia, Janus Lester, Anas al-Xarif, Sua Enparantza, Wiki, Irabazi arte! (telesaila), Itziar Iratzagorria, J Martina, Juanjo San Sebastian.

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information