postcondition : Related Words Words similar in meaning to postcondition

  • precondition«
  • postconditions«
  • postconditional«
  • routine«
  • execution«
  • design by contract«
  • contract«
  • condition«
  • eiffel«
  • factorial«
  • input«
  • software construction method design«
  • set_hour«
  • runtime postcondition violation«
  • postcondition guarantee«
  • postcondition clause«
  • hour_set«
  • class attribute hour«
  • argument a_hour«
  • a_hour«
  • code«
  • valid hour«
  • potential caller«
  • integer«
  • descendant class«
  • database trigger«
  • class invariant«
  • affected section«
  • hoare logic«
  • formal specification«
  • benefit«
  • redefinition«
  • object«
  • predicate«
  • keyword«
  • result«
  • invariant«
  • subclass«
  • square root«
  • computer programming«
  • property«
  • caller«
  • program«
  • programming«
  • assurance«
  • tag«
  • assertion«
  • inheritance«
  • calculation«
  • documentation«
  • declaration«
  • square«
  • client«
  • implementation«
  • component«
  • completion«
  • presence«
  • force«
  • section«
  • class«
  • design«
  • hour«
  • operation«
  • Hoare triple«