En la informática se conoce como invariante a una condición que se sigue cumpliendo después de la ejecución de determinados comandos. Se cumple tanto antes como después de estos comandos, permaneciendo sin variación, por ello se denomina invariante. Las invariantes se pueden utilizar para demostrar el buen funcionamiento de algoritmos y cumplen con un papel importante en el diseño por contrato.

rdfs:comment
  • En la informática se conoce como invariante a una condición que se sigue cumpliendo después de la ejecución de determinados comandos. Se cumple tanto antes como después de estos comandos, permaneciendo sin variación, por ello se denomina invariante. Las invariantes se pueden utilizar para demostrar el buen funcionamiento de algoritmos y cumplen con un papel importante en el diseño por contrato. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Invariante (informática) (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 4604447 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 923 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 10 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 64502259 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of