Лисков Б. Использование абстракций и спецификаций при разработке программ / Лисков Барбара, Гатэг Джон. - Москва: Мир, 1989. - 424 с.: ил. - Прил. - ISBN 5-03-000489-0.Отраслевые рубрики: вычислительная техника, языки программирования Ключевые слова: CLU, абстракции, анализ программ, анализ требований, верификация, дополнительные спецификации, защитное программирование, интерфейсы, исключительные ситуации, итераторы, отладка, Паскаль (Pascal), полиморфные абстракции, программирование, проектирование, процедурная абстракция, разработка программ, реализация, спецификации, спецификации интерфейсов, тестирование, формальные спецификации, форматирование
|