Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun Plural form of
postcondition .
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word postconditions.
Examples
-
The contracts take the form of preconditions, postconditions, and object invariants.
Site Home Susan Ibach 2011
-
The postconditions required that the balance of the checking account is reduced from its original amount by the amount of the transfer, with a reciprocal rule for increase in the savings account.
-
The tool also produces a detailed analysis of each subprogram, including pre - and postconditions.
-
It automatically generates human-readable and machine-readable component specifications in the form of preconditions, postconditions, inputs, outputs and heap allocations, which - along with the error messages - can be displayed graphically or as in-line comments in the source-code listing.
-
The tool also produces a detailed analysis of each subprogram, including pre - and postconditions.
-
Preconditions and postconditions must do the same for service operations and functional contracts, and they're more numerous than invariants.
-
Contracts namespace contains classes that provide a language-neutral way to express coding assumptions in the form of preconditions, postconditions, and object invariants.
Tweakers.net Mixed RSS Feed Japke Rosink 2010
-
It automatically generates human-readable and machine-readable component specifications in the form of preconditions, postconditions, inputs, outputs and heap allocations, which - along with the error messages - can be displayed graphically or as in-line comments in the source-code listing.
-
Frankel provided examples of an abstract business information model from an IT viewpoint with an invariant rule, and of an abstract model of a business service with preconditions and postconditions.
-
It automatically generates human-readable and machine-readable component specifications in the form of preconditions, postconditions, inputs, outputs and heap allocations, which - along with the error messages - can be displayed graphically or as in-line comments in the source-code listing.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.