Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Баранов С. Н.

Волков В. А.

Годлевский А. Б.

Капитонова Ю. В.

Летичевский А. А.

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

1

Вид:

Статья из сборника или журнала

Год:

2003

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

корректность

требование

программная система

доказательство

Стр.:

С.3-11

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

Библиогр.: c.11

Источник:

Кибернетика и системный анализ

Номер:

6

Карточка:

Б2.2.

Баранов С. Н., Волков В. А., Годлевский А. Б., Капитонова Ю. В., Летичевский А. А..

Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами// Кибернетика и системный анализ-2003, №6.-С.3-11
Библиогр.: c.11

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

PAP28 126