Suche
Anzeige der Dokumente 1-4 von 4
Серверное обслуживание геоинформационных систем
(ХАІ, 2010)
В работе показаны роль и возможности специализированных ГИС-серверов и специального программного обеспечения. Рассмотрены различные методы введения дифференциальных поправок с учетом пропускной способности каналов связи.
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)
Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built.
Оптимизация программного кода с использованием методов математического программирования
(ХАІ, 2010)
Сформулированы и решены математические задачи нахождения оптимальных характеристик программного обеспечения, которые применимы при выполнении инженерной задачи оптимизации работы программ.
Процедура выбора средств для оценки соответствия программного обеспечения нормативным требованиям
(ХАІ, 2010)
Проведен анализ существующих классификаций методов оценки программного обеспечения. Проведен анализ информации используемой при оценке соответствия требованиям и предложено формальное описание метода оценки программного ...