State of the Art Techniques in Automatic Generation of Reference Implementations & Test Code from Formal Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Колл. автор:

National Physical Lab.

Вид:

Препринт

Год:

1992

Ключевые слова:

автоматический

генерация

тестирование

реализация

формальный

спецификация

Стр.:

47 p.

Библиография:

Bibliogr.: p.36-42.

Место издания:

Номер:

DITC 207/92

Карточка:

Б3.22, Б3.54.

Harry A..

State of the Art Techniques in Automatic Generation of Reference Implementations & Test Code from Formal Specifications-Teddington., 1992.-47 p.-(Препринт National Physical Lab. №DITC 207/92).
Bibliogr.: p.36-42.

Таблица в старой библиотеке:

PREP1 746