Косачев, А. С. Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования [Текст] / А. С. Косачев, Ф. Куттер, М. А. Посыпкин // Программирование. - 2004. - N 4. - С. . 52-67. - Библиогр.: с. 66-67 (27 назв. ). - RUMARS-prog04_000_004_0052_1
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование) Кл.слова (ненормированные): языки программирования -- строго-конформные тесты -- программы -- программное обеспечение -- компиляторы Аннотация: В работе предлагается методика автоматической генерации тестов для компиляторов на основе формальных спецификаций языка программирования. Доп.точки доступа: Куттер, Ф.; Посыпкин, М. А. Нет сведений об экземплярах (Источник в БД не найден) |