Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=строго-конформные тесты<.>)
Общее количество найденных документов : 1
1.


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


Доп.точки доступа:
Куттер, Ф.; Посыпкин, М. А.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)