Program specification

Quality:

Formal specification - mathematically based techniques whose purpose are to help with the implementation of systems and software. Article “Program specification” in Simple English Wikipedia has 12.4 points for quality (as of July 1, 2026). The article contains 2 references and 2 sections.

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

Since the creation of article “Program specification”, its content was written by 15 registered users of Simple English Wikipedia and edited by 135 registered Wikipedia users in all languages.

The article is cited 2 times in Simple English Wikipedia and cited 256 times in all languages.

The highest Authors Interest rank from 2001:

• Local (Simple English): #575 in April 2011
• Global: #9806 in August 2002

The highest popularity rank from 2008:

• Local (Simple English): #1466 in June 2013
• Global: #163926 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, 2026 (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		37.7436
2	Basque (eu) Espezifikazio formala (informatika)		24.533
3	Spanish (es) Especificación formal		16.715
4	Simple English (simple) Program specification		12.4394
5	Portuguese (pt) Especificação formal		3.0884
6	Ukrainian (uk) Формальна специфікація		3.0319
7	Japanese (ja) 形式仕様記述		1.7602
8	German (de) Formale Spezifikation		1.3986
9	Russian (ru) Формальная спецификация		1.1434

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

#	Language	Popularity award	Relative popularity
1	English (en) Formal specification		547 655
2	Simple English (simple) Program specification		64 894
3	Japanese (ja) 形式仕様記述		48 685
4	Russian (ru) Формальная спецификация		30 851
5	German (de) Formale Spezifikation		30 165
6	Spanish (es) Especificación formal		23 790
7	Portuguese (pt) Especificação formal		21 390
8	Ukrainian (uk) Формальна специфікація		6 590
9	Basque (eu) Espezifikazio formala (informatika)		694

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		914
2	Japanese (ja) 形式仕様記述		78
3	Simple English (simple) Program specification		46
4	German (de) Formale Spezifikation		31
5	Russian (ru) Формальная спецификация		22
6	Spanish (es) Especificación formal		19
7	Basque (eu) Espezifikazio formala (informatika)		10
8	Portuguese (pt) Especificação formal		7
9	Ukrainian (uk) Формальна специфікація		6

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		64
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 1 July 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

In Simple English Wikipedia the most popular articles on that day were: List of European countries, Black, List of sex positions, 2026 Iran war, Suresh Raina, Politics of Germany, Academy Award for Best Director, 2020, DYSS-TV, 2022.

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 50 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2026. When calculating current popularity and AI of articles data from June 2026 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2026... More information