Deriving Modular Designs from Formal Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

модульный

проектирование

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

Стр.:

P.89-98.

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

Bibliogr.: p.97-98.

Источник:

Software Engineering Notes

Номер:

5

Том:

18

Карточка:

Б3.5.

Carrington D., Duke D., Hayes I., Welsh J..

Deriving Modular Designs from Formal Specifications// Software Engineering Notes-1993, №5.-Vol. 18.-P.89-98.
Bibliogr.: p.97-98.

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

ACM3 557