URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Коллектив авторов Требование и спецификации в разработке программ. Сб. статей. Пер. с англ.
Id: 18721
 

Требование и спецификации в разработке программ. Сб. статей. Пер. с англ.

1984. 346 с. Мягкая обложка. Букинист. Состояние: 4. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 СОДЕРЖАНИЕ

Предисловие......................

Д. Тейчроу, Э. Херши. PSL/PSA: автоматизированная методика структурированного документирования и анализа систем обработки информации. Перевод В. С. Нумерова...........

Ф. Бауэр, М. Брой, Р. Гнсц, В. Хессе, Б. Криг-Брюкнер, У. Партш, П. Пеппер, Г. Весснер. На пути к языку широкого спектра для

поддержки спецификации и разработки программ. Перевод М. Б. Трахтенброта.................

Т. Белл, Д. Бикслер, М. Дайер. Расширяемая система автоматизированной разработки требований к программному обеспечению. Перевод С. Ю. Дедерера.................

П. Лауэр, М. Шилдс. Об абстрактной спецификации и формальном анализе свойств параллельных систем. Перевод А. В. Быстрова

К. Хенинджер. Описание требований к программному обеспечению для сложных систем: новые методы и их применение. Перевод В. С. Нумерова...................

Р. Накидзима, М. Хонда, X. Накахара. Иерархическая спецификация и верификация программ: подход, базирующийся на многосортной логике. Перевод М. Б. Трахтенброта.........

Дж. Смит, Д. Смит. Принципы концептуального проектирования баз данных. Перевод В. Н. Агафонова............

Д. Массер. Спецификация абстрактных типов данных в системе AFFIRM. Перевод М. Б. Трахтенброта..........

И. Соренсен. Язык спецификаций. Перевод В. С. Нумерова..

Д. Росс. Структурный анализ (SA): язык для передачи понимания. Перевод В. С. Нумерова...............

В. Н. Агафонов. Языки и средства спецификации программ (обзор)

 
© URSS 2016.

Информация о Продавце