Засіб статичного аналізу .NET програм за допомогою переписувальних правил
Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програма...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2020 |
| Main Authors: | Мамедов, Г.А., Дорошенко, А.Ю., Шевченко, Р.С. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2020
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/180461 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
by: Мамедов, Т.А., et al.
Published: (2019)
by: Мамедов, Т.А., et al.
Published: (2019)
О моделировании сенсорних сетей средствами високого уровня
by: Дорошенко, А.Е., et al.
Published: (2006)
by: Дорошенко, А.Е., et al.
Published: (2006)
Формалізація жестоутворення за допомогою трьохмірної моделі людини для української жестової мови
by: Кривонос, Ю.Г., et al.
Published: (2012)
by: Кривонос, Ю.Г., et al.
Published: (2012)
Евристичний алгоритм морфолексичного аналізу для невідомих слів
by: Тарануха, В.Ю.
Published: (2014)
by: Тарануха, В.Ю.
Published: (2014)
Використання Грід-технологій для аналізу соціальних мереж
by: Ткаченко, В.В.
Published: (2009)
by: Ткаченко, В.В.
Published: (2009)
Розробка семантико-синтаксичної моделі природної мови за допомогою методів невід’ємної тензорної і матричної факторизації
by: Марченко, О.О.
Published: (2014)
by: Марченко, О.О.
Published: (2014)
Програмні засоби прийняття рішень в задачах аналізу динаміки економічної ситуації регіонів
by: Бігдан, В.Б., et al.
Published: (2008)
by: Бігдан, В.Б., et al.
Published: (2008)
Програмний пакет для оцінки похибки калібрування стереокамери в системі комп’ютерного зору
by: Вітюк, А.Є., et al.
Published: (2022)
by: Вітюк, А.Є., et al.
Published: (2022)
Автоматична оптимізація виконання для задачі метеорологічного прогнозування
by: Іваненко, П.А., et al.
Published: (2012)
by: Іваненко, П.А., et al.
Published: (2012)
Комп’ютеризована система обробки та аналізу цифрових зображень, отриманих при електронно-променевому зварюванні
by: Івасенко, І.Б., et al.
Published: (2008)
by: Івасенко, І.Б., et al.
Published: (2008)
Програмні засоби моделювання системи управління векторною тягою реактивного двигуна
by: Дорошенко, А.Ю., et al.
Published: (2018)
by: Дорошенко, А.Ю., et al.
Published: (2018)
Методологія аналізу статичних даних для реалізації перспективного планування в автоматизованій інформаційній системі "Надання медико-соціальних та реабілітаційних послуг"
by: Федоренко, С.М., et al.
Published: (2012)
by: Федоренко, С.М., et al.
Published: (2012)
Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
by: Дорошенко, А.Ю., et al.
Published: (2012)
by: Дорошенко, А.Ю., et al.
Published: (2012)
Подходы и средства моделирования GRID-систем обработки спутниковых данных
by: Шелестов, А.Ю.
Published: (2008)
by: Шелестов, А.Ю.
Published: (2008)
Принципи створення інтелектуального інтерфейсу для розв’язування систем лінійних алгебраїчних рівнянь на комп’ютерах гібридної архітектури
by: Хіміч, О.М., et al.
Published: (2012)
by: Хіміч, О.М., et al.
Published: (2012)
Алгоритм побудови шестивимірного тензора для задачі пошуку прихованих семантичних зв’язків в корпусах природномовних текстів
by: Вознюк, Т.Г.
Published: (2014)
by: Вознюк, Т.Г.
Published: (2014)
Эффективность грид технологий в расчетах высотных сооружений
by: Слободян, Я.О., et al.
Published: (2010)
by: Слободян, Я.О., et al.
Published: (2010)
Problem of data analysis and forecasting using decision trees method
by: Lytvynenko, T.I.
Published: (2016)
by: Lytvynenko, T.I.
Published: (2016)
Специализированный компьютерный симулятор «SimEnPhysiol»
by: Григорян, Р.Д., et al.
Published: (2018)
by: Григорян, Р.Д., et al.
Published: (2018)
Two-level algorithms for Rannacher-Turek FEM
by: Georgiev, I., et al.
Published: (2006)
by: Georgiev, I., et al.
Published: (2006)
Адаптивний нейромережевий комплекс для автоматичної діагностики стохастичних динамічних об’єктів атомної електростанції
by: Шараєвський, Г.І.
Published: (2010)
by: Шараєвський, Г.І.
Published: (2010)
Параллельная реализация процессов направленного поиска оптимальных решений
by: Пепеляев, В.А., et al.
Published: (2010)
by: Пепеляев, В.А., et al.
Published: (2010)
Нейронечеткие модели диагностики в системе Н-Гомеопат
by: Провотар, А.И., et al.
Published: (2010)
by: Провотар, А.И., et al.
Published: (2010)
Механизм колебаний функциональной надежности оператора компьютера
by: Григорян, Р.Д.
Published: (2008)
by: Григорян, Р.Д.
Published: (2008)
Автоматизация этапов разработки и эксплуатации имитационных моделей транспортных систем
by: Максимей, И.В., et al.
Published: (2008)
by: Максимей, И.В., et al.
Published: (2008)
Моделирование синхронизированных сенсорных сетей
by: Рагозин, Д.В.
Published: (2008)
by: Рагозин, Д.В.
Published: (2008)
Програмний комплекс технологічної підготовки та управління будівельно-монтажними роботами з використанням інформоб’єктів
by: Бабіч, В.І., et al.
Published: (2006)
by: Бабіч, В.І., et al.
Published: (2006)
Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові
by: Кривонос, Ю.Г., et al.
Published: (2014)
by: Кривонос, Ю.Г., et al.
Published: (2014)
Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини
by: Бармак, О.В., et al.
Published: (2020)
by: Бармак, О.В., et al.
Published: (2020)
Программная идентификация нулей и особенностей функций на основе сортировки с приложением к цифровой фильтрации
by: Ромм, Я.Е., et al.
Published: (2010)
by: Ромм, Я.Е., et al.
Published: (2010)
Технологія оптимізованої передачі жестової мови в мережі Інтернет
by: Крак, Ю.В., et al.
Published: (2009)
by: Крак, Ю.В., et al.
Published: (2009)
Распознавание графических образов текстовых символов, представленных в виде характеристических векторов
by: Прохоров, В.Г.
Published: (2007)
by: Прохоров, В.Г.
Published: (2007)
Эффективный метод проектирования и реконфигурации вычислительной системы с многоканальными связями
by: Хайдер, М.
Published: (2006)
by: Хайдер, М.
Published: (2006)
Симуляция гемодинамики гипертрофированного сердца
by: Григорян, Р.Д., et al.
Published: (2016)
by: Григорян, Р.Д., et al.
Published: (2016)
Ефективна реалізація економічніх розрахунків в системах масштабу підприємства
by: Романенко, В.Г.
Published: (2006)
by: Романенко, В.Г.
Published: (2006)
Концепция виртуального организма в биоинформатике
by: Григорян, Р.Д.
Published: (2007)
by: Григорян, Р.Д.
Published: (2007)
Технологія створення програмного комплексу для моделювання фізіологічних систем
by: Ліссов, П.М.
Published: (2008)
by: Ліссов, П.М.
Published: (2008)
Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взуття
by: Чупринка, І.В., et al.
Published: (2012)
by: Чупринка, І.В., et al.
Published: (2012)
Об использовании особых структур данных в алгоритмах покрытия
by: Паулин, О.Н., et al.
Published: (2020)
by: Паулин, О.Н., et al.
Published: (2020)
Теоретические основы и практические задачи оптимизации времени доставки информационных ресурсов в распределенных системах
by: Алишов, Н.И., et al.
Published: (2006)
by: Алишов, Н.И., et al.
Published: (2006)
Similar Items
-
Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
by: Мамедов, Т.А., et al.
Published: (2019) -
О моделировании сенсорних сетей средствами високого уровня
by: Дорошенко, А.Е., et al.
Published: (2006) -
Формалізація жестоутворення за допомогою трьохмірної моделі людини для української жестової мови
by: Кривонос, Ю.Г., et al.
Published: (2012) -
Евристичний алгоритм морфолексичного аналізу для невідомих слів
by: Тарануха, В.Ю.
Published: (2014) -
Використання Грід-технологій для аналізу соціальних мереж
by: Ткаченко, В.В.
Published: (2009)