Часто возникают сомнения, можно ли доверять программному обеспечению в критических приложениях. Обсуждаются причины этого недоверия и предлагаются пути улучшения документации для повышения уровня доверия к программному обеспечению. Показано, как табличные выражения могут быть использованы для создания точной программной документации, облегчающей разработку, инспекции и тестирование программного обеспечения.
