Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Design_by_contract> ?p ?o. }
Showing items 1 to 54 of
54
with 100 items per page.
- Design_by_contract abstract "Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants. These specifications are referred to as "contracts", in accordance with a conceptual metaphor with the conditions and obligations of business contracts."Design by Contract" is a registered trademark of Eiffel Software in the United States, and should not be confused with the general design approach. Microsoft calls their design-by-contract programming implementation "Code Contracts".".
- Design_by_contract wikiPageExternalLink contract.
- Design_by_contract wikiPageExternalLink using-code-contracts-for-safer-code.
- Design_by_contract wikiPageExternalLink wiki?DesignByContract.
- Design_by_contract wikiPageExternalLink dclib.sourceforge.net.
- Design_by_contract wikiPageExternalLink 1811147.1811150.
- Design_by_contract wikiPageExternalLink gcontracts.
- Design_by_contract wikiPageExternalLink Class_Contracts.
- Design_by_contract wikiPageExternalLink contracts.
- Design_by_contract wikiPageExternalLink nana.
- Design_by_contract wikiPageExternalLink contract.pdf.
- Design_by_contract wikiPageExternalLink contract.html.
- Design_by_contract wikiPageExternalLink index.php?option=com_content&task=view&id=19&Itemid=38.
- Design_by_contract wikiPageExternalLink www.isaacos.com.
- Design_by_contract wikiPageExternalLink design_by_contract_contract_programming.html.
- Design_by_contract wikiPageExternalLink Carp::Datum.
- Design_by_contract wikiPageExternalLink Class::Contract.
- Design_by_contract wikiPageID "39289".
- Design_by_contract wikiPageRevisionID "604256534".
- Design_by_contract hasPhotoCollection Design_by_contract.
- Design_by_contract subject Category:Programming_paradigms.
- Design_by_contract subject Category:Software_design.
- Design_by_contract type Abstraction100002137.
- Design_by_contract type GrammaticalRelation113796779.
- Design_by_contract type Inflection113803782.
- Design_by_contract type LinguisticRelation113797142.
- Design_by_contract type Paradigm113804375.
- Design_by_contract type ProgrammingParadigms.
- Design_by_contract type Relation100031921.
- Design_by_contract comment "Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants.".
- Design_by_contract label "Design by contract".
- Design_by_contract label "Design by contract".
- Design_by_contract label "Design by contract".
- Design_by_contract label "Diseño por contrato".
- Design_by_contract label "Programação por contrato".
- Design_by_contract label "Programmation par contrat".
- Design_by_contract label "Programowanie kontraktowe".
- Design_by_contract label "Контрактное программирование".
- Design_by_contract label "تصميم بالعقود".
- Design_by_contract label "契約プログラミング".
- Design_by_contract label "契约式设计".
- Design_by_contract sameAs Design_by_contract.
- Design_by_contract sameAs Diseño_por_contrato.
- Design_by_contract sameAs Programmation_par_contrat.
- Design_by_contract sameAs Design_by_contract.
- Design_by_contract sameAs 契約プログラミング.
- Design_by_contract sameAs Programowanie_kontraktowe.
- Design_by_contract sameAs Programação_por_contrato.
- Design_by_contract sameAs m.09skf.
- Design_by_contract sameAs Q1200691.
- Design_by_contract sameAs Q1200691.
- Design_by_contract sameAs Design_by_contract.
- Design_by_contract wasDerivedFrom Design_by_contract?oldid=604256534.
- Design_by_contract isPrimaryTopicOf Design_by_contract.