Разработка ПО

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

На современном этапе развития систем автоматизации документационного обеспечения управления весьма актуальны вопросы их адаптации к современным информационным технологиям, организации взаимодействия и интеграции с другими системами. Возникает потребность в сквозной обработке данных — взаимодействии разных систем не только в рамках одной компании, что невозможно без выработки соответствующих стандартов.