Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

абстрактный

моделирование

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

программное обеспечение

формальный

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

проверка

Стр.:

P.484-495.

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

Bibliogr.: p.494-495.

Источник:

IEEE Trans. on Software Engineering

Номер:

7

Том:

22

Карточка:

Б3.5.

Jackson D., Damon C. A..

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector// IEEE Trans. on Software Engineering-1996, №7.-Vol. 22.-P.484-495.
Bibliogr.: p.494-495.

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

PAP15 650