1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 2(69)'2008
  5. Выполнимые спецификации в проектировании баз данных

Выполнимые спецификации в проектировании баз данных

Тарек Юсеф Бади Биштави, Г. Н. Жолткевич, Ю. В. Соляник
Системи обробки інформації. — 2008. — № 2(69). — С. 108-111.
УДК 004.655+657/519.682.1
Мова статті: російська
Анотації на мовах:

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