У статті наведені концепція та модель зрілості технологічних процесів (ТП) створення програмного забезпечення (ПЗ) комп'ютерних систем (СММ-модель). Подано стислий огляд існуючих методів застосування цієї моделі, а також описано розроблений авторами статті експрес-метод оцінювання рівня зрілості технологічних процесів організацій-розробників ПЗ з метою вибору виконувачів великих замовлень на розробку ПЗ.

Запропоновано трактування експертизи альтернатив (ЕА) як етапу процесу формування цілісної концепції предметної області, що реалізується за допомогою організації опосередкованої взаємодії учасників ЕА та статистичного аналізу їх суджень з метою адекватного обгрунтування підсумкового рішення. В рамках даного підходу описано архітектурні рішення для програмно-технологічних комплексів (ПТК) ЕА та оцінки характеристик дослідницьких проектів, методично підтримуваних ПТК ЕА.

На підставі проведених досліджень оцінено якість води в основних водозаборах Дніпропетровська, а саме Аульському, Кайдацькому та Ломівському. Встановлено, що за період 1999 - 2001 рр. за середніми значеннями індексу забруднення компонентами сольового складу, еколого-санітарного індексу та індексу специфічних показників токсичної та радіаційної дії відзначено тенденцію до покращання якості води на досліджуваних водозаборах. Зазначено, що максимальне значення трофо-сапробіологічних та специфічних показників токсичної дії вказує на можливе погіршення якості води на цих водозаборах.

На основании проведенных исследований оценено качество воды в основных водозаборах г. Днепропетровска, а именно Аульском, Кайдакском и Ломовском. Установлено, что за период с 1999 по 2001 гг. по средним значениям индекса загрязнения компонентами солевого состава, эколого-санитарного индекса и индекса специфических показателей токсичного и радиационного действия отмечена тенденция к улучшению качества воды на исследованных водозаборах. Однако максимальное значение трофо-сапробиологических и специфических показателей токсического действия указывает на возможное ухудшение качества воды на этих водозаборах.

The investigations carried out allow to estimate a surface water quality in the region of the main water intakes of Dniepropetrovsk, namely: in Aul, Kaydaky and Lomov ones. It has been established, that for the period of 1999-2001 in accordance with the average values of the pollution index by salt composition components, ecology-sanitary index and the index of specific parameters of toxic and radiation effect the improving tendency of water quality was noted. However, the maximum value of the specific indexes of the toxic action indicated the possible deterioration of water quality at these water-intake stations.

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

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

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

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

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

Формалізовано технологію процесу керування ризиками проектів програмних систем (ПС), інтелектуалізованого новими функціями підвищення зрілості процесу розроблення ПС. Процес інтелектуального керування ризиками (ПІКР) надано подвійною спіраллю. Її "внутрішніми" кільцями є процеси експертного оцінювання об'єктів ПІКР на підтримку підвищення обгрунтованості формованих рішень та ефективності діяльності учасників ПІКР. Вони пов'язують "зовнішні" кільця - цикли ефективного зниження ризиків в єдиному інформаційному середовищі на рівнях організації-розробника та проекту ПС - на підтримку інтеграції цілей проектів, поліпшення якості ПС і ділових цілей організації.

Запропоновано підхід до розв'язання формалізованих задач оцінювання об'єктів діяльності з виробництва та експлуатації програмних систем (ПС) шляхом експертиз, які утворюють новий процес оцінювання зі спільним для них інформаційним середовищем, адекватний потребам і специфіці виробничої діяльності. Розроблено математичний апарат експертиз: методичний каркас (цільові функції та механізми реалізації); модель і методи процесу оцінювання (формалізми підвищення якості результатів і їх повторного використання); засоби інтеграції до процесів керування розробкою ПС. Теоретично обгрунтовано перспективи розвитку підходу.

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

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

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

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

Объектно-компонентный метод моделирования программных систем Лаврищевой - Грищенко развит согласованными моделями вариабельности систем и их вариантной конфигурационной сборки из компонентов, а также алгеброй операций изоморфного преобразования нерелевантных типов данных для этих компонентов. Введение в модель системы точек вариантности с их вариантами обеспечивает изменяемость систем и устойчивое взаимодействие их компонентов. Описана реализация формального аппарата в автоматизированном конфигураторе систем и его апробация в инструментально-технологическом комплексе ИПС НАНУ и экспериментальной фабрике программ КНУ им. Т. Шевченко.