Харківський національний університет Повітряних Сил імені Івана Кожедуба

Анотація: Предложена постановка задачи реализации подхода к проектированию компонентов программного обеспечения, известного как a priori reasoning в применении к базам данных. Основная идея этого подхода заключается в явном использовании спецификации как инструкции к сборке компонента. Рассмотрены проблемы, возникающие на практике, преимущества возможной реализации идеи, подходы к синтезу (генерации) проектного решения. Перечислены задачи для дальнейшей работы.

Ключові слова: проектирование программного обеспечения, выполнимые спецификации, верификация, базы данных, генерация кода, компонентные технологии, языки запросов

Повний текст PDF - 331.04 KB

Цитування публікації

Інформація про авторів публікації:

• Тарек Юсеф Бади Биштави
• Жолткевич Г. Н.
• Соляник Ю. В.

Бібліографічний опис для цитування:
Тарек Юсеф Бади Биштави Выполнимые спецификации в проектировании баз данных / , Г.Н. Жолткевич, Ю.В. Соляник  // Системи обробки інформації. – 2008. – № 2(69). – С. 108-111.