@prefix rdf: . @prefix dbpedia: . @prefix ns2: . dbpedia:Postcondition rdf:type ns2:ProgrammingConstructs , ns2:FormalMethods . @prefix owl: . dbpedia:Postcondition owl:sameAs . @prefix ns4: . dbpedia:Postcondition owl:sameAs ns4:Postcondition . @prefix foaf: . @prefix ns6: . dbpedia:Postcondition foaf:page ns6:Postcondition . @prefix rdfs: . dbpedia:Postcondition rdfs:label "\u041F\u0456\u0441\u043B\u044F\u0443\u043C\u043E\u0432\u0430 (\u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0456 \u043C\u0435\u0442\u043E\u0434\u0438)"@uk , "Postcondition"@en , "Nachbedingung (Informatik)"@de , "Postcondici\u00F3n"@es . @prefix dbpprop: . dbpedia:Postcondition dbpprop:abstract "En programaci\u00F3n, una postcondici\u00F3n es una condici\u00F3n o predicado l\u00F3gico que siempre debe cumplirse justamente despu\u00E9s de la ejecuci\u00F3n de una secci\u00F3n de c\u00F3digo o de una operaci\u00F3n. Las postcondiciones se prueban a veces mediante aserciones incluidas en el c\u00F3digo. A menudo, las postcondiciones se incluyen simplemente en la documentaci\u00F3n de la correspondiente secci\u00F3n de c\u00F3digo. Por ejemplo: el resultado de un factorial es siempre un entero mayor o igual que 1. De este modo un programa que calcula el factorial de un n\u00FAmero dado tendr\u00EDa como postcondiciones que el resultado debe ser un entero y que \u00E9ste debe ser mayor o igual que 1."@es , "Die Nachbedingungen einer Funktion oder eines Programms geben an, welche Aussagen nach der Ausf\u00FChrung gelten m\u00FCssen, falls zuvor die Vorbedingungen erf\u00FCllt waren. Die Nachbedingung ist Teil der formalen Spezifikation der Funktion (bzw. des Programms) und dient der Verifikation: Wenn die Vorbedingung gilt, so m\u00FCssen nach Ausf\u00FChrung der Funktion alle Nachbedingungen erf\u00FCllt sein, sonst ist das Programm nicht korrekt. Das Konzept von Vor- und Nachbedingungen wird vor allem in der formalen Semantik benutzt: es stellt die Basis der axiomatischen Semantik dar. Das Ziel ist es dabei, aus den Vor- und Nachbedingungen der einzelnen Teile des Programms logisch die gew\u00FCnschte Nachbedingung f\u00FCr das gesamte Programm zu folgern. Auch bei dem weniger formalen Testen von Software spielen Nachbedingungen eine wesentliche Rolle, da das Ergebnis von Testl\u00E4ufen leicht mit den Nachbedingungen verglichen werden kann. Das wird vor allem f\u00FCr den so genannten Unit-Test verwendet."@de , "\u041F\u0456\u0301\u0441\u043B\u044F\u0443\u043C\u043E\u0432\u0430, \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u0456 \u0442\u0430 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0438\u0445 \u043C\u0435\u0442\u043E\u0434\u0430\u0445 \u2014 \u043F\u0440\u0430\u0432\u0438\u043B\u043E \u0432\u0456\u0434\u043D\u043E\u0441\u043D\u043E \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442\u0456\u0432 \u0432\u0438\u043A\u043E\u043D\u0430\u043D\u043D\u044F \u0444\u0443\u043D\u043A\u0446\u0456\u0457, \u044F\u043A\u0435 \u043C\u0430\u0454 \u0432\u0438\u043A\u043E\u043D\u0443\u0432\u0430\u0442\u0438\u0441\u044C, \u044F\u043A\u0449\u043E \u0431\u0443\u043B\u043E \u0432\u0438\u043A\u043E\u043D\u0430\u043D\u043E \u0432\u0438\u043C\u043E\u0433\u0438 \u043F\u0435\u0440\u0435\u0434\u0443\u043C\u043E\u0432\u0438. \u041F\u0456\u0441\u043B\u044F\u0443\u043C\u043E\u0432\u0430 \u0454 \u0441\u043A\u043B\u0430\u0434\u043E\u0432\u043E\u044E \u0447\u0430\u0441\u0442\u0438\u043D\u043E\u044E \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0457 \u0441\u043F\u0435\u0446\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u0457 \u0444\u0443\u043D\u043A\u0446\u0456\u0457 \u0456 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0454\u0442\u044C\u0441\u044F \u0434\u043B\u044F \u0457\u0457 \u0432\u0435\u0440\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u0457: \u0432 \u0440\u0430\u0437\u0456 \u0432\u0438\u043A\u043E\u043D\u0430\u043D\u043D\u044F \u043F\u0435\u0440\u0435\u0434\u0443\u043C\u043E\u0432, \u043C\u0443\u0441\u044F\u0442\u044C, \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u043D\u043E, \u0432\u0438\u043A\u043E\u043D\u0443\u0432\u0430\u0442\u0438\u0441\u044C \u0456 \u0432\u0441\u0456 \u043F\u0456\u0441\u043B\u044F\u0443\u043C\u043E\u0432\u0438, \u0432 \u0456\u043D\u0448\u043E\u043C\u0443 \u0432\u0438\u043F\u0430\u0434\u043A\u0443, \u0444\u0443\u043D\u043A\u0446\u0456\u044F \u043D\u0435 \u043A\u043E\u0440\u0435\u043A\u0442\u043D\u0430. \u041F\u0456\u0441\u043B\u044F\u0443\u043C\u043E\u0432\u0438, \u0432\u0456\u0434\u0456\u0433\u0440\u0430\u044E\u0442\u044C, \u0442\u0430\u043A\u043E\u0436, \u0432\u0430\u0436\u043B\u0438\u0432\u0443 \u0440\u043E\u043B\u044C \u0456 \u0432 \u043C\u0435\u043D\u0448 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u043C\u0443 \u0442\u0435\u0441\u0442\u0443\u0432\u0430\u043D\u043D\u0456, \u043E\u0441\u043A\u0456\u043B\u044C\u043A\u0438 \u043B\u0435\u0433\u043A\u043E \u043C\u043E\u0436\u043D\u0430 \u043F\u043E\u0440\u0456\u0432\u043D\u044F\u0442\u0438 \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442\u0438 \u0442\u0435\u0441\u0442\u0456\u0432 \u0456\u0437 \u043F\u0456\u0441\u043B\u044F\u0443\u043C\u043E\u0432\u0430\u043C\u0438. \u0422\u0430\u043A\u0438\u0439 \u043F\u0456\u0434\u0445\u0456\u0434 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0454\u0442\u044C\u0441\u044F \u0432 \u0442\u0430\u043A \u0437\u0432\u0430\u043D\u0438\u0445 \u043C\u043E\u0434\u0443\u043B\u044C\u043D\u0438\u0445 \u0442\u0435\u0441\u0442\u0430\u0445."@uk , "In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code. For example: The result of a factorial is always an integer and greater than or equal to 1. So a program that calculates the factorial of an input number would have postconditions that the result after the calculation be an integer and that it be greater than or equal to 1."@en ; rdfs:comment "\u041F\u0456\u0301\u0441\u043B\u044F\u0443\u043C\u043E\u0432\u0430, \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u0456 \u0442\u0430 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0438\u0445 \u043C\u0435\u0442\u043E\u0434\u0430\u0445 \u2014 \u043F\u0440\u0430\u0432\u0438\u043B\u043E \u0432\u0456\u0434\u043D\u043E\u0441\u043D\u043E \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442\u0456\u0432 \u0432\u0438\u043A\u043E\u043D\u0430\u043D\u043D\u044F \u0444\u0443\u043D\u043A\u0446\u0456\u0457, \u044F\u043A\u0435 \u043C\u0430\u0454 \u0432\u0438\u043A\u043E\u043D\u0443\u0432\u0430\u0442\u0438\u0441\u044C, \u044F\u043A\u0449\u043E \u0431\u0443\u043B\u043E \u0432\u0438\u043A\u043E\u043D\u0430\u043D\u043E \u0432\u0438\u043C\u043E\u0433\u0438 \u043F\u0435\u0440\u0435\u0434\u0443\u043C\u043E\u0432\u0438."@uk , "Die Nachbedingungen einer Funktion oder eines Programms geben an, welche Aussagen nach der Ausf\u00FChrung gelten m\u00FCssen, falls zuvor die Vorbedingungen erf\u00FCllt waren. Die Nachbedingung ist Teil der formalen Spezifikation der Funktion (bzw. des Programms) und dient der Verifikation: Wenn die Vorbedingung gilt, so m\u00FCssen nach Ausf\u00FChrung der Funktion alle Nachbedingungen erf\u00FCllt sein, sonst ist das Programm nicht korrekt."@de , "In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code. For example: The result of a factorial is always an integer and greater than or equal to 1."@en , "En programaci\u00F3n, una postcondici\u00F3n es una condici\u00F3n o predicado l\u00F3gico que siempre debe cumplirse justamente despu\u00E9s de la ejecuci\u00F3n de una secci\u00F3n de c\u00F3digo o de una operaci\u00F3n. Las postcondiciones se prueban a veces mediante aserciones incluidas en el c\u00F3digo. A menudo, las postcondiciones se incluyen simplemente en la documentaci\u00F3n de la correspondiente secci\u00F3n de c\u00F3digo. Por ejemplo: el resultado de un factorial es siempre un entero mayor o igual que 1."@es . @prefix skos: . dbpedia:Postcondition skos:subject . @prefix ns10: . dbpedia:Postcondition skos:subject ns10:Formal_methods , ns10:Mathematics_of_computing , ns10:Programming_constructs , ns10:Logic_in_computer_science . @prefix ns11: . dbpedia:Postcondition dbpprop:hasPhotoCollection ns11:Postcondition . dbpedia:Post-condition dbpprop:redirect dbpedia:Postcondition . @prefix yago: . yago:Postcondition owl:sameAs dbpedia:Postcondition .