|
СОДЕРЖАНИЕ
Предисловие...................... Д. Тейчроу, Э. Херши. PSL/PSA: автоматизированная методика структурированного документирования и анализа систем обработки информации. Перевод В. С. Нумерова........... Ф. Бауэр, М. Брой, Р. Гнсц, В. Хессе, Б. Криг-Брюкнер, У. Партш, П. Пеппер, Г. Весснер. На пути к языку широкого спектра для поддержки спецификации и разработки программ. Перевод М. Б. Трахтенброта................. Т. Белл, Д. Бикслер, М. Дайер. Расширяемая система автоматизированной разработки требований к программному обеспечению. Перевод С. Ю. Дедерера................. П. Лауэр, М. Шилдс. Об абстрактной спецификации и формальном анализе свойств параллельных систем. Перевод А. В. Быстрова К. Хенинджер. Описание требований к программному обеспечению для сложных систем: новые методы и их применение. Перевод В. С. Нумерова................... Р. Накидзима, М. Хонда, X. Накахара. Иерархическая спецификация и верификация программ: подход, базирующийся на многосортной логике. Перевод М. Б. Трахтенброта......... Дж. Смит, Д. Смит. Принципы концептуального проектирования баз данных. Перевод В. Н. Агафонова............ Д. Массер. Спецификация абстрактных типов данных в системе AFFIRM. Перевод М. Б. Трахтенброта.......... И. Соренсен. Язык спецификаций. Перевод В. С. Нумерова.. Д. Росс. Структурный анализ (SA): язык для передачи понимания. Перевод В. С. Нумерова............... В. Н. Агафонов. Языки и средства спецификации программ (обзор) |