Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2020
Hauptverfasser:	Мамедов, Г.А., Дорошенко, А.Ю., Шевченко, Р.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2020
Schlagworte:	Прикладне програмне забезпечення
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/180461
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

О моделировании сенсорних сетей средствами високого уровня
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2006)

Формалізація жестоутворення за допомогою трьохмірної моделі людини для української жестової мови
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2012)

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

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

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

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

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

Автоматична оптимізація виконання для задачі метеорологічного прогнозування
von: Іваненко, П.А., et al.
Veröffentlicht: (2012)

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

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

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

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

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

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

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

Эффективность грид технологий в расчетах высотных сооружений
von: Слободян, Я.О., et al.
Veröffentlicht: (2010)

Problem of data analysis and forecasting using decision trees method
von: Lytvynenko, T.I.
Veröffentlicht: (2016)

Специализированный компьютерный симулятор «SimEnPhysiol»
von: Григорян, Р.Д., et al.
Veröffentlicht: (2018)

Two-level algorithms for Rannacher-Turek FEM
von: Georgiev, I., et al.
Veröffentlicht: (2006)

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

Параллельная реализация процессов направленного поиска оптимальных решений
von: Пепеляев, В.А., et al.
Veröffentlicht: (2010)

Нейронечеткие модели диагностики в системе Н-Гомеопат
von: Провотар, А.И., et al.
Veröffentlicht: (2010)

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

Автоматизация этапов разработки и эксплуатации имитационных моделей транспортных систем
von: Максимей, И.В., et al.
Veröffentlicht: (2008)

Моделирование синхронизированных сенсорных сетей
von: Рагозин, Д.В.
Veröffentlicht: (2008)

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

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

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

Программная идентификация нулей и особенностей функций на основе сортировки с приложением к цифровой фильтрации
von: Ромм, Я.Е., et al.
Veröffentlicht: (2010)

Технологія оптимізованої передачі жестової мови в мережі Інтернет
von: Крак, Ю.В., et al.
Veröffentlicht: (2009)

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

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

Симуляция гемодинамики гипертрофированного сердца
von: Григорян, Р.Д., et al.
Veröffentlicht: (2016)

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

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

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

Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взуття
von: Чупринка, І.В., et al.
Veröffentlicht: (2012)

Об использовании особых структур данных в алгоритмах покрытия
von: Паулин, О.Н., et al.
Veröffentlicht: (2020)

Теоретические основы и практические задачи оптимизации времени доставки информационных ресурсов в распределенных системах
von: Алишов, Н.И., et al.
Veröffentlicht: (2006)