Зображення обкладинки

Засіб статичного аналізу .NET програм за допомогою переписувальних правил

Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програма...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Проблеми програмування
Дата:	2020
ISSN:	1727-4907
Автори:	Мамедов, Г.А., Дорошенко, А.Ю., Шевченко, Р.С.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2020
Теми:	Прикладне програмне забезпечення
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/180461
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
за авторством: Мамедов, Т.А., та інші
Опубліковано: (2019)

О моделировании сенсорних сетей средствами високого уровня
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

Формалізація жестоутворення за допомогою трьохмірної моделі людини для української жестової мови
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2012)

Евристичний алгоритм морфолексичного аналізу для невідомих слів
за авторством: Тарануха, В.Ю.
Опубліковано: (2014)

Використання Грід-технологій для аналізу соціальних мереж
за авторством: Ткаченко, В.В.
Опубліковано: (2009)

Розробка семантико-синтаксичної моделі природної мови за допомогою методів невід’ємної тензорної і матричної факторизації
за авторством: Марченко, О.О.
Опубліковано: (2014)

Програмні засоби прийняття рішень в задачах аналізу динаміки економічної ситуації регіонів
за авторством: Бігдан, В.Б., та інші
Опубліковано: (2008)

Програмний пакет для оцінки похибки калібрування стереокамери в системі комп’ютерного зору
за авторством: Вітюк, А.Є., та інші
Опубліковано: (2022)

Автоматична оптимізація виконання для задачі метеорологічного прогнозування
за авторством: Іваненко, П.А., та інші
Опубліковано: (2012)

Комп’ютеризована система обробки та аналізу цифрових зображень, отриманих при електронно-променевому зварюванні
за авторством: Івасенко, І.Б., та інші
Опубліковано: (2008)

Програмні засоби моделювання системи управління векторною тягою реактивного двигуна
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2018)

Методологія аналізу статичних даних для реалізації перспективного планування в автоматизованій інформаційній системі "Надання медико-соціальних та реабілітаційних послуг"
за авторством: Федоренко, С.М., та інші
Опубліковано: (2012)

Подходы и средства моделирования GRID-систем обработки спутниковых данных
за авторством: Шелестов, А.Ю.
Опубліковано: (2008)

Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2012)

Принципи створення інтелектуального інтерфейсу для розв’язування систем лінійних алгебраїчних рівнянь на комп’ютерах гібридної архітектури
за авторством: Хіміч, О.М., та інші
Опубліковано: (2012)

Алгоритм побудови шестивимірного тензора для задачі пошуку прихованих семантичних зв’язків в корпусах природномовних текстів
за авторством: Вознюк, Т.Г.
Опубліковано: (2014)

Эффективность грид технологий в расчетах высотных сооружений
за авторством: Слободян, Я.О., та інші
Опубліковано: (2010)

Problem of data analysis and forecasting using decision trees method
за авторством: Lytvynenko, T.I.
Опубліковано: (2016)

Специализированный компьютерный симулятор «SimEnPhysiol»
за авторством: Григорян, Р.Д., та інші
Опубліковано: (2018)

Two-level algorithms for Rannacher-Turek FEM
за авторством: Georgiev, I., та інші
Опубліковано: (2006)

Адаптивний нейромережевий комплекс для автоматичної діагностики стохастичних динамічних об’єктів атомної електростанції
за авторством: Шараєвський, Г.І.
Опубліковано: (2010)

Параллельная реализация процессов направленного поиска оптимальных решений
за авторством: Пепеляев, В.А., та інші
Опубліковано: (2010)

Нейронечеткие модели диагностики в системе Н-Гомеопат
за авторством: Провотар, А.И., та інші
Опубліковано: (2010)

Механизм колебаний функциональной надежности оператора компьютера
за авторством: Григорян, Р.Д.
Опубліковано: (2008)

Автоматизация этапов разработки и эксплуатации имитационных моделей транспортных систем
за авторством: Максимей, И.В., та інші
Опубліковано: (2008)

Моделирование синхронизированных сенсорных сетей
за авторством: Рагозин, Д.В.
Опубліковано: (2008)

Програмний комплекс технологічної підготовки та управління будівельно-монтажними роботами з використанням інформоб’єктів
за авторством: Бабіч, В.І., та інші
Опубліковано: (2006)

Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2014)

Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини
за авторством: Бармак, О.В., та інші
Опубліковано: (2020)

Программная идентификация нулей и особенностей функций на основе сортировки с приложением к цифровой фильтрации
за авторством: Ромм, Я.Е., та інші
Опубліковано: (2010)

Технологія оптимізованої передачі жестової мови в мережі Інтернет
за авторством: Крак, Ю.В., та інші
Опубліковано: (2009)

Распознавание графических образов текстовых символов, представленных в виде характеристических векторов
за авторством: Прохоров, В.Г.
Опубліковано: (2007)

Эффективный метод проектирования и реконфигурации вычислительной системы с многоканальными связями
за авторством: Хайдер, М.
Опубліковано: (2006)

Симуляция гемодинамики гипертрофированного сердца
за авторством: Григорян, Р.Д., та інші
Опубліковано: (2016)

Ефективна реалізація економічніх розрахунків в системах масштабу підприємства
за авторством: Романенко, В.Г.
Опубліковано: (2006)

Концепция виртуального организма в биоинформатике
за авторством: Григорян, Р.Д.
Опубліковано: (2007)

Технологія створення програмного комплексу для моделювання фізіологічних систем
за авторством: Ліссов, П.М.
Опубліковано: (2008)

Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взуття
за авторством: Чупринка, І.В., та інші
Опубліковано: (2012)

Об использовании особых структур данных в алгоритмах покрытия
за авторством: Паулин, О.Н., та інші
Опубліковано: (2020)

Теоретические основы и практические задачи оптимизации времени доставки информационных ресурсов в распределенных системах
за авторством: Алишов, Н.И., та інші
Опубліковано: (2006)