المؤلفون: Тарек Юсеф Бади Биштави, Г.Н. Жолткевич, Ю.В. Соляник, Тарек Юсеф Баді Біштаві, Г.М. Жолткевич, Tarek Yusef Badi Bishtavi, G.N. Zholtkevich, Yu.V. Solyanik

المصدر: Системи обробки інформації. — 2008. — № 2(69). 108-111 ; Системы обработки информации. — 2008. — № 2(69). 108-111 ; Information Processing Systems. — 2008. — № 2(69). 108-111 ; 1681-7710

مصطلحات موضوعية: Обробка інформації в складних технічних системах, УДК 004.655+657/519.682.1, проектирование программного обеспечения, выполнимые спецификации, верификация, базы данных, генерация кода, компонентные технологии, языки запросов, проектування програмного забезпечення, здійснимі специфікації, верифікація, бази даних, генерація коду, компонентні технології, мови запитів, planning of software, executable specifications, verification, databases, code generation, technologies of components, languages of queries

وصف الملف: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/12690/soi_2008_2_28.pdf; http://www.hups.mil.gov.ua/periodic-app/article/12690

الاتاحة: http://www.hups.mil.gov.ua/periodic-app/article/12690

Additional Titles: Здійснимі специфікації в проектуванні баз даних
Executable specifications are in planning of databases

المؤلفون: Тарек Юсеф Бади Биштави, Г.Н. Жолткевич, Ю.В. Соляник, Тарек Юсеф Баді Біштаві, Г.М. Жолткевич, Tarek Yusef Badi Bishtavi, G.N. Zholtkevich, Yu.V. Solyanik

المصدر: Системи обробки інформації. — 2008. — № 2(69). 108-111; Системы обработки информации. — 2008. — № 2(69). 108-111; Information Processing Systems. — 2008. — № 2(69). 108-111; 1681-7710

مصطلحات الفهرس: Обробка інформації в складних технічних системах, УДК 004.655+657/519.682.1, проектирование программного обеспечения, выполнимые спецификации, верификация, базы данных, генерация кода, компонентные технологии, языки запросов, проектування програмного забезпечення, здійснимі специфікації, верифікація, бази даних, генерація коду, компонентні технології, мови запитів, planning of software, executable specifications, verification, databases, code generation, technologies of components, languages of queries, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Рецензована стаття

URL: http://www.hups.mil.gov.ua/periodic-app/article/12690
http://www.hups.mil.gov.ua/periodic-app/article/12690/soi_2008_2_28.pdf
http://www.hups.mil.gov.ua/periodic-app/article/12690/soi_2008_2_28.pdf