About: Design by contract

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Design of software based on formal, precise and verifiable interface specifications for software components

Property	Value
dbo:description	проєктування програмного забезпечення на основі формальних, точних і перевірених специфікацій інтерфейсу для програмних компонентів (uk) Konzept der Softwareentwicklung (de) Přístup k návrhu softwaru (cs) approche de conception logicielle (fr) sposób projektowania oprogramowania (pl) design of software based on formal, precise and verifiable interface specifications for software components (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Design_by_contract.svg?width=300
dbo:wikiPageExternalLink	http://buksbaum.us/2011/04/20/using-code-contracts-for-safer-code/ http://csd.informatik.uni-oldenburg.de/~jass/ http://www.rps-obix.com/docs/manuals/design_by_contract_contract_programming.html https://peps.python.org/pep-0316/ https://sebthom.github.io/oval/ https://swdes.net/en/content/safer-project https://www.eiffel.com/values/design-by-contract/ http://modernjass.sourceforge.net http://www.valid4j.org https://pypi.org/project/PyContracts3/ https://pypi.org/project/dpcontracts/ https://pypi.org/project/icontract/ https://pypi.org/project/zope.interface/ https://dx.doi.org/10.1145/1811147.1811150 https://www.boost.org/doc/libs/master/libs/contract/doc/html/index.html https://www.npmjs.com/package/dbc-code-contracts https://crates.io/crates/contracts http://se.ethz.ch/~meyer/publications/computer/contract.pdf http://archive.eiffel.com/doc/manuals/technology/contract/ https://github.com/Bambofy/dbc_cpp https://github.com/Parquery/gocontracts https://github.com/Udiknedormin/NimContracts https://github.com/busybusy/DBC-Apple https://github.com/drblez/dbc https://github.com/final-hill/decorator-contracts https://github.com/life4/deal https://github.com/nhatminhle/cofoja https://github.com/php-deal/framework
dbo:wikiPageWikiLink	dbr:AspectJ dbr:Microsoft_Research dbr:Side_effect_(computer_science) dbr:Spring_Framework dbr:Test-driven_development dbr:Digital_Mars dbr:.NET_Framework dbr:C++ dbr:C_Sharp_(programming_language) dbr:Object-oriented_programming dbr:Tcl dbr:Clojure dbr:Eiffel_(programming_language) dbr:Assertion_(software_development) dbr:Formal_specification dbr:Fortress_(programming_language) dbr:Strong_and_weak_typing dbr:Formal_methods dbr:Test_oracle dbc:Software_design dbr:Kotlin_(programming_language) dbr:Typestate_analysis dbr:D_(programming_language) dbr:Cobra_(programming_language) dbr:Component-based_software_engineering dbr:Conceptual_metaphor dbr:Object-Oriented_Software_Construction dbr:Java_Modeling_Language dbr:JavaScript dbr:Java_(programming_language) dbr:PHP dbr:Inheritance_(object-oriented_programming) dbr:Precondition dbr:System_testing dbr:XOTcl dbr:Abstract_data_type dbr:Liskov_substitution_principle dbr:CPAN dbr:Class_invariant dbr:Program_derivation dbr:Programming_language dbr:Common_Lisp_Object_System dbr:Rust_(programming_language) dbr:C_(programming_language) dbr:Go_(programming_language) dbr:Bertrand_Meyer dbr:Damian_Conway dbr:Correctness_(computer_science) dbr:Postcondition dbr:Comment_(computer_programming) dbr:Mercury_(programming_language) dbr:Nemerle dbr:Perl dbr:Ada_(programming_language) dbr:Ruby_(programming_language) dbr:Oxygene_(programming_language) dbr:Unit_testing dbr:Class_(computer_programming) dbr:Hoare_logic dbr:Common_Lisp dbr:Racket_(programming_language) dbr:Scala_(programming_language) dbr:Metaobject dbr:Sather dbr:Exception_handling dbr:Test_suite dbr:Formal_verification dbr:Distributed_computing dbr:GNAT dbr:Software_documentation dbr:Preprocessor dbr:Vala_(programming_language) dbr:Modular_programming dbr:Invariant_(computer_science) dbr:Software_design dbr:Nim_(programming_language) dbc:Programming_paradigms dbr:Python_(programming_language) dbr:Integration_testing dbr:Praspel dbr:Ciao_(programming_language) dbr:Bean_Validation dbr:Defensive_programming dbr:SPARK_(programming_language) dbr:Jtest dbr:Offensive_programming dbr:Dafny_(programming_language) dbr:Ada_programming_language dbr:Groovy_(programming_language) dbr:Exception_(computer_science) dbr:Swift_(programming_language) dbr:Loki_(C++) dbr:Static_code_analysis dbr:GNU_Nana dbr:Fail-fast dbr:Dynamic_binding_(computer_science) dbr:Hoare_triple dbr:Method_(computer_science) dbr:B:Computer_Programming/Design_by_Contract dbr:CTESK dbr:File:Design_by_contract.svg dbr:JavaTESK dbr:Inheritance_(computer_science) dbr:Program_refinement dbr:VDM_specification_language
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Refend dbt:Refbegin dbt:Citation_needed dbt:Usurped dbt:Design dbt:Cn dbt:Short_description
dct:subject	dbc:Software_design dbc:Programming_paradigms
gold:hypernym	dbr:Approach
rdfs:label	Design by contract (en) تصميم بالعقود (ar) Perkontrakta programado (eo) Design by Contract (de) Diseño por contrato (es) Programmation par contrat (fr) Design by contract (it) 契約プログラミング (ja) Programação por contrato (pt) Programowanie kontraktowe (pl) Проєктування за контрактом (uk) Контрактное программирование (ru) 契约式设计 (zh)
owl:sameAs	yago-res:Design by contract freebase:Design by contract wikidata:Design by contract dbpedia-it:Design by contract dbpedia-de:Design by contract dbpedia-fr:Design by contract dbpedia-zh:Design by contract dbpedia-ja:Design by contract dbpedia-pt:Design by contract dbpedia-he:Design by contract dbpedia-da:Design by contract dbpedia-es:Design by contract dbpedia-hu:Design by contract dbpedia-ru:Design by contract dbpedia-pl:Design by contract dbpedia-ar:Design by contract dbpedia-eo:Design by contract dbpedia-fi:Design by contract dbpedia-sk:Design by contract dbpedia-uk:Design by contract dbpedia-global:Design by contract
prov:wasDerivedFrom	wikipedia-en:Design_by_contract?oldid=1294148363&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Design_by_contract.svg
foaf:isPrimaryTopicOf	wikipedia-en:Design_by_contract
is dbo:knownFor of	dbr:Bertrand_Meyer
is dbo:wikiPageDisambiguates of	dbr:Contract_(disambiguation) dbr:DBC
is dbo:wikiPageRedirects of	dbr:Contract-based_design dbr:Contract_(software) dbr:Contract_programming dbr:DbC dbr:DBC_(programming) dbr:Design_By_Contract dbr:Design_by_Contract dbr:Software_contract dbr:CodeContracts dbr:Code_Contracts dbr:Code_contract dbr:Code_contracts dbr:Program_by_contract dbr:Programming_by_Contract dbr:Programming_by_contract
is dbo:wikiPageWikiLink of	dbr:Type_safety dbr:Interface-based_programming dbr:SCOOP_(software) dbr:Java_Portlet_Specification dbr:Test-driven_development dbr:Monitor_(synchronization) dbr:Object-oriented_programming dbr:Eiffel_(programming_language) dbr:Assertion_(software_development) dbr:Strong_and_weak_typing dbr:Formal_methods dbr:Map_(higher-order_function) dbr:Test_oracle dbr:Kotlin_(programming_language) dbr:Const_(computer_programming) dbr:Typestate_analysis dbr:D_(programming_language) dbr:Dependency_inversion_principle dbr:Cobra_(programming_language) dbr:Object_orgy dbr:Java_Modeling_Language dbr:Precondition dbr:Fail-silent_system dbr:Flow-based_programming dbr:Integer_overflow dbr:Inversion_of_control dbr:Abstract_data_type dbr:Liskov_substitution_principle dbr:Script.NET dbr:Class_invariant dbr:Program_derivation dbr:Rust_(programming_language) dbr:Racket_features dbr:List_of_programmers dbr:List_of_pioneers_in_computer_science dbr:Bertrand_Meyer dbr:Contract dbr:Correctness_(computer_science) dbr:Postcondition dbr:Comment_(computer_programming) dbr:Invariant_(mathematics) dbr:Contract_(disambiguation) dbr:Command–query_separation dbr:Ada_(programming_language) dbr:Unit_testing dbr:Hoare_logic dbr:Racket_(programming_language) dbr:Operational_semantics dbr:DBC dbr:Sather dbr:Singularity_(operating_system) dbr:Exception_handling dbr:Kermeta dbr:Robert_Bruce_Findler dbr:Software_documentation dbr:OpenLisp dbr:Python_(programming_language) dbr:List_of_CLI_languages dbr:Praspel dbr:Software_construction dbr:List_of_programming_language_researchers dbr:Perfect_Developer dbr:Defensive_programming dbr:Programming_language_theory dbr:ANSI/ISO_C_Specification_Language dbr:SOLID dbr:Dafny dbr:Offensive_programming dbr:EiffelStudio dbr:Design_specification dbr:Dlib dbr:Fail-fast dbr:Contract-based_design dbr:Contract_(software) dbr:Contract_programming dbr:DbC dbr:DBC_(programming) dbr:Design_By_Contract dbr:Design_by_Contract dbr:Software_contract dbr:CodeContracts dbr:Code_Contracts dbr:Code_contract dbr:Code_contracts dbr:Program_by_contract dbr:Programming_by_Contract dbr:Programming_by_contract
is dbp:knownFor of	dbr:Bertrand_Meyer
is dbp:paradigm of	dbr:Praspel
is foaf:primaryTopic of	wikipedia-en:Design_by_contract