Forcing Behavioral Subtyping through Specification Inheritance | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

объектно-ориентированный

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

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

наследование

Стр.:

P.258-267.

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

Bibliogr.: p.267

Место издания:

Источник:

Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996

Карточка:

Б3.5.

Dhara K. K., Leavens G. T..

Forcing Behavioral Subtyping through Specification Inheritance-Los Alamitos.// Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996, 1996.-P.258-267.
Bibliogr.: p.267

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

PAP15 111