Вудок, Д. Первые шаги к решению проблемы верификации программ [Текст] / Д. Вудок // Открытые системы. СУБД. - 2006. - N 8. - С. . 36-43. - Библиогр.: с. 43 (2 назв. ). - RUMARS-osys06_000_008_0036_1
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование) Кл.слова (ненормированные): верификация программ -- верифицированные программы -- программная инженерия -- программное обеспечение -- программные системы -- технология верификации Аннотация: Исследователи в области программной инженерии объединяются для создания технологии верификации, которая заметно увеличит производительность и надежность разработки, интеграции и обслуживания программного обеспечения. |