Каким ключевым словом в OCL обозначается постусловие операции?

  • a. init:.
  • b. inv:.
  • c. derive:.
  • d. def:.
  • e. self:.
  • f. post:.
  • g. this:.
  • h. body:.
  • i. pre:.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.