Разработка и исследование методов и средств формального специфицирования моделей и метрик программ

Вы здесь

Автор:

Шалфеева Е. А.

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

Вид:

Автореферат

Год:

2000

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

формальная спецификация

модели программирования

метрика

Стр.:

16 с.

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

Библиогр.: c.15-16

Место защиты:

Владивосток

Номер специальности:

05.13.11

Карточка:

Шалфеева Е. А..

Разработка и исследование методов и средств формального специфицирования моделей и метрик программ: Автореферат диссертации на ученую степень: канд. техн. наук.: 05.13.11.-Владивосток, 2000.-16 с.
Библиогр.: c.15-16