Предложена постановка задачи реализации подхода к проектированию компонентов программного обеспечения, известного как a priori reasoning в применении к базам данных. Основная идея этого подхода заключается в явном использовании спецификации как инструкции к сборке компонента. Рассмотрены проблемы, возникающие на практике, преимущества возможной реализации идеи, подходы к синтезу (генерации) проектного решения. Перечислены задачи для дальнейшей работы.
Ключові слова: проектирование программного обеспечения, выполнимые спецификации, верификация, базы данных, генерация кода, компонентные технологии, языки запросов
Бібліографічний опис для цитування:
Тарек Юсеф Бади Биштави
Выполнимые спецификации в проектировании баз данных / ,
Г.Н. Жолткевич,
Ю.В. Соляник
// Системи обробки інформації. – 2008. – № 2(69). – С. 108-111.
ENG
