Formalizing Space Shuttle Software Requirements: Four Case Studies

Вы здесь

Автор:

Crow J.

Di Vito B.

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

Вид:

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

Год:

1998

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

верификация

анализ

требование

Стр.:

P.296-332.

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

Bibliogr.: p.330-332

Источник:

ACM Trans. on Software Engineering and Methodology

Номер:

Том:

Карточка:

Б3.5, Б2.23, В4.24.

Crow J., Di Vito B..

Formalizing Space Shuttle Software Requirements: Four Case Studies// ACM Trans. on Software Engineering and Methodology-1998, №3.-Vol. 7.-P.296-332.
Bibliogr.: p.330-332

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

ACM5 755