|
Парнас, Д. Л. Использование точной документации для повышения уровня доверия к критическому программному обеспечению [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: Тематичні рубрики:
Шифр журнала:
Анотація: Часто возникают сомнения, можно ли доверять программному обеспечению (ПО) в критических приложениях. Обсуждены причины этого недоверия и предложены пути улучшения документации для повышения уровня доверия к ПО. Показано, как табличные выражения можно использовать для создания точной программной документации, облегчающей разработку, инспекции и тестирование ПО. !oprip481_H.pft: FILE NOT FOUND! Дод. точки доступу: Вилкомир, С. А.
Видання зберігається у :
|
|