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

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"