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

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

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

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