This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n23https://github.com/Udiknedormin/
wikipedia-huhttp://hu.wikipedia.org/wiki/
n14https://www.npmjs.com/package/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
n20https://github.com/nhatminhle/
prop-huhttp://hu.dbpedia.org/property/
n13https://archive.eiffel.com/doc/manuals/technology/contract/
n6https://crates.io/crates/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://se.ethz.ch/~meyer/publications/computer/
n11http://
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://hu.dbpedia.org/resource/Sablon:
n22http://csd.informatik.uni-oldenburg.de/~jass/
n18https://github.com/php-deal/
provhttp://www.w3.org/ns/prov#
n17https://buksbaum.us/2011/04/20/using-code-contracts-for-safer-code/
n19https://www.eiffel.com/values/design-by-contract/
xsdhhttp://www.w3.org/2001/XMLSchema#
n8http://hu.dbpedia.org/resource/Kategória:
n15http://www.rps-obix.com/docs/manuals/

Statements

Subject Item
dbpedia-hu:Szerződésalapú_programozás
rdfs:label
Szerződésalapú programozás
dct:subject
n8:Programozási_paradigmák n8:Lapok_ellenőrizetlen_fordításokkal
dbo:wikiPageID
1707049
dbo:wikiPageRevisionID
23591065
dbo:wikiPageExternalLink
n6:contracts n11:modernjass.sourceforge.net n11:oval.sourceforge.net n12:contract.pdf%7Caccd=2020-06-18%7Cissn=0018-9162 n13: n14:dbc-code-contracts n11:www.valid4j.org n15:design_by_contract_contract_programming.html n17: n18:framework n19: n20:cofoja n22: n23:NimContracts
prop-hu:wikiPageUsesTemplate
n4:Cite_web n4:Mikor%3F n4:Fordítás n4:Lektor n4:Ny-en n4:CitPer n4:Jegyzetek
prop-hu:aut
Bertrand Meyer
prop-hu:date
1992
prop-hu:pag
40
prop-hu:tit
Applying “Design by Contract”
prop-hu:url
n12:contract.pdf%7Caccd=2020-06-18%7Cissn=0018-9162
prop-hu:fasc
10
prop-hu:per
IEEE Computer
prop-hu:tom
25
dbo:abstract
A szerződésalapú tervezés, más néven szerződésalapú programozás (angolul: design by contract, DbC) egy szoftvertervezési módszer. A szerződésalapú programozás előírja, hogy a szoftvertervezőknek meg kell határozniuk a szoftverkomponensek specifikációit, amelyek kiegészítik az meghatározását , és . Ezen specifikációkat szerződéseknek nevezik, az üzleti szerződések feltételeivel és kötelezettségeivel való hasonlóságuk miatt. A szerződésalapú megközelítés feltételezi, hogy minden olyan kliensösszetevő, amely egy szerverösszetevőn végrehajt egy műveletet, teljesíti az adott művelethez előírt feltételeket. Ahol ez a feltételezés túl kockázatosnak tűnik (mint a többcsatornás vagy elosztott programozás esetében), ott fordított megközelítést alkalmaznak, vagyis a szerverösszetevő teszteli minden releváns előfeltétel fennállását (a kliensösszetevő kérésének feldolgozása előtt vagy közben), és megfelelő hibaüzenettel válaszol, ahol mégsem teljesül az előfeltétel.
prov:wasDerivedFrom
wikipedia-hu:Szerződésalapú_programozás?oldid=23591065&ns=0
dbo:wikiPageLength
18732
foaf:isPrimaryTopicOf
wikipedia-hu:Szerződésalapú_programozás
Subject Item
wikipedia-hu:Szerződésalapú_programozás
foaf:primaryTopic
dbpedia-hu:Szerződésalapú_programozás