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

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

1984. 346 с. Букинист. Состояние: 4. .
  • Мягкая обложка

СОДЕРЖАНИЕ

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

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

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

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

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

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

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

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

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

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

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

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

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