Шевченко Р. Javachecker: статический анализ программных комплексов с помощью переписывающих правил / Р. Шевченко // Пробл. программирования. - 2004. - 2-3 [спец. вып.]. - С. 223-230. - Библиогр.: 9 назв. - рус.Описано підхід до аналізу програмних комплексів, що грунтується на методах символьної обробки інформації. Його особливістю є застосування формального аналізу не до обчислювальної семантики програмних систем (ПС), а до окремих характеристик, що не зв'язані прямо з формально, семантикою. Це дозволяє уникнути складнощів повної формалізації задачі та робити прагматично корисні висновки щодо характеристик ПС (такі, як наявність помилок визначеного класу) за допомогою порівняльно невеликого обсягу обчислень. Описано статичний аналізатор програм на мові Java (JavaCheker), розроблений у ООО Град-Софт, що реалізує даний підхід і побудований у середовищі алгебраїчного програмування Term Ware. Індекс рубрикатора НБУВ: З973-018.1
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|