ФОРМАЛЬНЫЕ МОДЕЛИ КОМПОНЕНТНОГО ПРОГРАММИРОВАНИЯ

Предложен подход к построению формальных моделей компонентного програм-\ud мирования как основы создания компонентной теории. Рассмотрены модели компо-\ud нентов, компонентных сред, определены внешняя и внутренняя компонентные алгеб-\ud ры. Проанализированы различные аспекты предложенных моделей и их связь с\ud практикой программирования

АЛГЕБРАЇЧНА МОДЕЛЬ РЕФАКТОРІНГУ КОМПОНЕНТІВ

Наведено алгебраїчний підхід до формалізації рефакторінгу компонентів. На базі\ud моделі компонента разглянуті методи рефакторінгу, припустимі операції та умови ці-\ud лісності компонентів. Визначені концепції побудови алгебраїчної моделі рефакторінгу\ud компонентів та описана внутрішня компонентна алгебра

ИСПОЛЬЗОВАНИЕ ОНТОЛОГИЧЕСКОГО ОПИСАНИЯ\ud ПРЕДМЕТНОЙ ОБЛАСТИ ДЛЯ ПОВЫШЕНИЯ\ud РЕЛЕВАНТНОСТИ ИНФОРМАЦИОННОГО ПОИСКА

Проведен анализ средств представления информации, публикуемой в Интернете.\ud Предложен онтологический подход к описанию предметной области, интересующей\ud пользователя, с целью задания контекста информационного запроса для повышения\ud релевантности его результатов. Предлагаются различные способы интерпретации от-\ud ношений между терминами онтологии, которые входят в контекст поиска

СИСТЕМА СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ ДЛЯ\ud ПРОГРАММИРОВАНИЯ ДИНАМИЧЕСКИХ ПРИЛОЖЕНИЙ

Описана система символьных вычислений, предназначенная для встраивания в\ud промышленные приложения с целью обеспечения их гибкости и настраиваемости со-\ud ответственно изменяющимся требованиям и условиям функционирования. Предложен\ud метод погружения настраиваемых программных систем в промышленные комплексы,\ud основанный на использовании декларативных средств программирования при описа-\ud нии взаимодействий программных компонент со своим окружением. Метод позволяет\ud значительно уменьшить стоимость разработки сложного программного обеспечения, а\ud также решать задачи анализа и обеспечения надежности программного кода

ОСНОВИ ПРОГРАМНОЇ ІНЖЕНЕРІЇ

Маючи багаторічний досвід створення складних програмних систем та читання лекцій з програмної інженерії у Київському національному університеті ім. Тараса Шевченка, автори провели систематизацію великого обсягу сучасних наукових джерел відповідно до напрацювань SWEBOK та визначили основи програмної інженерії, якими має володіти фахівець. Ця книга є загальним введенням до сучасних інженерних об'єктно-орієнтованих методів розробки програмних систем. У ній розглянуте широке коло питань, які виникають на шляху від усвідомнення замовником своїх потреб для створення працездатного програмного забезпечення. \ud Автори адресують книгу менеджерам колективів програмістів, які бажають підвищити ріваень кваліфікації своєї організації, студентам та аспірантам вищих навчальних закладів, розробникам навчальних курсів та закладів, які готують спеціалістів з інформатики, фахівцям різних проблемних галузей, які хочуть бути грамотними замовниками різних комп'ютерних систем

СБОРОЧНОЕ ПРОГРАММИРОВАНИЕ

В монографии проанализированы и систематизированы существующие подходы к сборке (посредством комплексирования и интеграции) сложных программ из более простых программных элементов (модулей и программ). Получено теоретическое обобщение и обоснование метода сборочного программирования. Определены основные его объекты и операции над ними. Рассмотрены технологические этапы жизни программного продукта согласно метода сборки и сформулированы его основные модели, методы и средства, обеспечивающие повторное использование готовых программ. Используя введенные формальные механизмы метода сборочного программирования дана новая трактовка понятия технологии программирования, определена методика сборочного формирования программных технологий функционального типа и инженерии ведения по ним разработок прикладных программ. Рассмотрены типовые программные технологии в СОД, использующие методы контроля и оценки качества прикладных программных средств. Приведено общее описание средств автоматизации метода сборки. \u

ЗНАЧЕНИЕ И НЕОБХОДИМОСТЬ. ИССЛЕДОВАНИЕ ПО СЕМАНТИКЕ И МОДАЛЬНОЙ ЛОГИКЕ \ud

Труд Р.Карнапа "Значение и необходимость" - \ud является заключительным томом eгo исследований по \ud семантике, который имеет самостоятельное значение. \ud Он подводит некоторые итоги эволюции взглядов одного из \ud лидеров логическоrо позитивизма на философию и логическую семантику. Карнап, обосновывая здесь свои теоретико \ud познавательные позиции и вновь подтверждая позитивистскую семантическую концепцию предмета философии, развивает некоторые новые логические идеи. Главной целью \ud этой книги, как пишет aвтоp, является развитие нового \ud метода семантическоrо анализа значения, то есть новoгo \ud метода анализа и описания значений языковых выражений (метод экстенсионала и интенсионала). Однако основное значение книги заключается не в принадлежащем \ud автору новом методе экстенсионала и интенсионала, а \ud в выявлении трудностей анализа смысла и критическом \ud обсуждении предлагавшихся разными авторами методов их \ud решения. \u

FLUID SINGLE SERVER QUEUE CONFLICT MODEL WITH INTEGRAL CONSTRAINTS

In developing networks management systems often encountered a situation where one should deal with malicious intrusion attempts aimed at obstructing the routing policy work. In this case, methods of management based on fluid models and a discrete controlled random walk model requires certain changes. In this work we propose a generalization of classic single server queue model. This approach based on conflict control point of view and could be useful for modeling of attacking actions and response behaviour of the system