Design by contract (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Design by contract" in English language version.

refsWebsite

Global rank English rank

4web.archive.org

1^st place

1^st place

1,459^th place

991^st place

2scala-lang.org

low place

low place

2,224^th place

1,900^th place

4,221^st place

2,842^nd place

153^rd place

151^st place

2,232^nd place

1,903^rd place

low place

low place

1embarcadero.com

low place

low place

1northwestern.edu

2,302^nd place

1,389^th place

dlang.org (Global: low place; English: low place)

Bright, Walter (2014-11-01). "D Programming Language, Contract Programming". Digital Mars. Retrieved 2014-11-10.

embarcadero.com (Global: low place; English: low place)

edn.embarcadero.com

Hodges, Nick. "Write Cleaner, Higher Quality Code with Class Contracts in Delphi Prism". Embarcadero Technologies. Archived from the original on 26 April 2021. Retrieved 20 January 2016.

ethz.ch (Global: 2,224^th place; English: 1,900^th place)

se.ethz.ch

Meyer, Bertrand: "Applying "Design by Contract"", in Computer (IEEE), 25, 10, October 1992, pp. 40–51.

microsoft.com (Global: 153^rd place; English: 151^st place)

msdn.microsoft.com

"Assertions in Managed Code". Microsoft Developer Network. 15 November 2016. Archived from the original on Aug 22, 2018.

northwestern.edu (Global: 2,302^nd place; English: 1,389^th place)

eecs.northwestern.edu

Findler, Felleisen Contracts for Higher-Order Functions

open-std.org (Global: 4,221^st place; English: 2,842^nd place)

"Contracts for C++" (PDF). 13 February 2025.

python.org (Global: 2,232^nd place; English: 1,903^rd place)

docs.python.org

Official Python Docs, assert statement

scala-lang.org (Global: low place; English: low place)

"Scala Standard Library Docs - Assertions". EPFL. Retrieved 2019-05-24.
Strong typing as another "contract enforcing" in Scala, see discussion at scala-lang.org/.

uspto.gov (Global: 1,459^th place; English: 991^st place)

tess2.uspto.gov

"United States Patent and Trademark Office registration for "DESIGN BY CONTRACT"". Archived from the original on 2016-12-21. Retrieved 2009-06-22.
"United States Patent and Trademark Office registration for the graphic design with words "Design by Contract"". Archived from the original on 2016-12-21. Retrieved 2009-06-22.

tarr.uspto.gov

"Trademark Status & Document Retrieval - 78342277". USPTO Trademark Application and Registration Retrieval.
"Trademark Status & Document Retrieval - 78342308". USPTO Trademark Application and Registration Retrieval.

web.archive.org (Global: 1^st place; English: 1^st place)

"United States Patent and Trademark Office registration for "DESIGN BY CONTRACT"". Archived from the original on 2016-12-21. Retrieved 2009-06-22.
"United States Patent and Trademark Office registration for the graphic design with words "Design by Contract"". Archived from the original on 2016-12-21. Retrieved 2009-06-22.
"Assertions in Managed Code". Microsoft Developer Network. 15 November 2016. Archived from the original on Aug 22, 2018.
Hodges, Nick. "Write Cleaner, Higher Quality Code with Class Contracts in Delphi Prism". Embarcadero Technologies. Archived from the original on 26 April 2021. Retrieved 20 January 2016.