Using Aspect-Oriented Programming for Querying Source Code

Συγγραφείς: E. M. Novikov, A. V. Khoroshilov

Πηγή: Труды Института системного программирования РАН, Vol 23, Iss 0 (2018)

Θεματικοί όροι: разработка программы, поддержка программы, запрос по исходному коду программы, формальное представление программы, аспектно-ориентированное программирование, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/990; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/a3fc622898e3438fa4e37dc9b7c4e43a

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel

Συγγραφείς: E. M. Novikov

Πηγή: Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)

Θεματικοί όροι: ядро linux, компонент ядра, драйвер устройств, правило использования программных интерфейсов, спецификация, модель окружения, статическая верификация, аспектно-ориентированное программирование, язык программирования си, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/960; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/ad36d8d695cd48b08341604a9834d1af

Linux Driver Verification Architecture

Συγγραφείς: V. S. Mutilin, E. M. Novikov, A. V. Strakh, A. V. Khoroshilov, P. E. Shved

Πηγή: Труды Института системного программирования РАН, Vol 20, Iss 0 (2018)

Θεματικοί όροι: статический анализ кода, правила корректности, верификация драйверов устройств, моделирование окружения драйвера, аспектно-ориентированное программирование, верификатор достижимости, визуализация трассы ошибки, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1058; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/9a69ec2104dd4efcb331a9333d58579f

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel

Συγγραφείς: E.M. Novikov

Πηγή: Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)

Θεματικοί όροι: аспектно-ориентированное программирование, драйвер устройств, модель окружения, статическая верификация, язык программирования си, Electronic computers. Computer science, спецификация, ядро linux, QA75.5-76.95, компонент ядра, правило использования программных интерфейсов

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2013/24/isp_24_2013_293.pdf
https://doaj.org/article/ad36d8d695cd48b08341604a9834d1af
https://ispras.ru/en/proceedings/archives/isp_24_2013/isp_24_2013_293.php

APPLICATION SOFTWARE DEVELOPMENT POWERED BY.NET USING THE ASPECT-ORIENTED PROGRAMMING

Συγγραφείς: Gleb A. Chermennov, Elena V. Kovalevskaya

Πηγή: Статистика и экономика, Vol 0, Iss 5, Pp 193-195 (2016)

Θεματικοί όροι: аспектно-ориентированное программирование, разработка приложений, разделение обязанностей, механизм для объединения аспектов и кода приложения в рабочую систему, технические аспекты приложения, aspect-oriented programming, applications programming, separation of concerns, mechanism for association of aspects and application code in a system, technical aspects of application, Economics as a science, HB71-74

Περιγραφή αρχείου: electronic resource

Relation: https://statecon.rea.ru/jour/article/view/286; https://doaj.org/toc/2500-3925

Σύνδεσμος πρόσβασης: https://doaj.org/article/f6addf41c5bb4dcdb99f3caff0da9371

Применение библиотеки AspectJ для реализации шаблона проектирования Observer

Συγγραφείς: Сидоркевич, М. В.

Θεματικοί όροι: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ОБРАЗОВАНИИ, АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, ПАТТЕРНЫ ПРОЕКТИРОВАНИЯ, ПАТТЕРН OBSERVER

Θέμα γεωγραφικό: 1-4.03.2011

Περιγραφή αρχείου: application/pdf

Relation: Новые информационные технологии в образовании : материалы международной научно-практической конференции. В 2 ч. Ч. 1. — Екатеринбург, 2011

Διαθεσιμότητα: https://elar.uspu.ru/handle/ru-uspu/6427

Integration of Aspect-oriented Approach Means in Object-oriented Programming Language

Συγγραφείς: Medvedeva, V. (Valentina), Hukivskyi, B. (Bohdan)

Πηγή: Eastern-European Journal of Enterprise Technologies

Θεματικοί όροι: aspect-oriented programming, AOP, aspect integration, cross-cutting concern, software architecture, aspect, advice, join point, pointcut, аспектно-ориентированное программирование, АОП, интеграция аспектов, сквозной функционал, архитектура ПЗ, точка соединения, аспектно-орієнтоване програмування, інтеграція аспектів, наскрізний функціонал, архітектура ПЗ, точка з'єднання, УДК: 004.4, Indonesia

Περιγραφή αρχείου: application/pdf

Relation: https://www.neliti.com/publications/306583/integration-of-aspect-oriented-approach-means-in-object-oriented-programming-lan

Διαθεσιμότητα: https://www.neliti.com/publications/306583/integration-of-aspect-oriented-approach-means-in-object-oriented-programming-lan

АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ В КОНТЕКСТЕ РЕШЕНИЯ ВОПРОСОВ ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ ЭКОНОМИЧЕСКИХ ПОКАЗАТЕЛЕЙ IT-ПРОЕКТОВ

Συγγραφείς: А.А. Гончаров, Н.А. Семенов

Θεματικοί όροι: аспектно-ориентированное программирование, задача, информационная система, проектирование, программирование, эффективность

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/aspektno-orientirovannoe-programmirovanie-v-kontekste-resheniya-voprosov-povysheniya-effektivnosti-ekonomicheskih-pokazateley-it
http://cyberleninka.ru/article_covers/16912937.png

ІНТЕГРАЦіЯ ЗАСОБіВ АСПЕКТО-ОРієНТОВАНОГО ПіДХОДУ У ОБ’єКТНО-ОРієНТОВАНУ МОВУ ПРОГРАМУВАННЯ

Συγγραφείς: МЕДВЕДЄВА В.М., ГУКІВСЬКИЙ Б.М.

Θεματικοί όροι: АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ASPECT-ORIENTED PROGRAMMING,АОП,AOP,ИНТЕГРАЦИЯ АСПЕКТОВ,СКВОЗНОЙ ФУНКЦИОНАЛ,АРХИТЕКТУРА ПЗ,SOFTWARE ARCHITECTURE,ТОЧКА СОЕДИНЕНИЯ,JOIN POINT,ГУМОМЕТАЛЕВі ВИРОБИ,ЗВ'ЯЗНіСТЬ ПАРАМЕТРіВ,ГЕНЕТИЧНі АЛГОРИТМИ,КОМПЛЕКСНі СИМВОЛЬНі МОДЕЛі,ASPECT INTEGRATION,CROSS-CUTTING CONCERN,ASPECT,ADVICE,POINTCUT

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/integratsiya-zasobiv-aspekto-orientovanogo-pidhodu-u-ob-ektno-orientovanu-movu-programuvannya
http://cyberleninka.ru/article_covers/16529691.png

Применение библиотеки AspectJ для реализации шаблона проектирования Observer

Θεματικοί όροι: ПАТТЕРН OBSERVER, ПАТТЕРНЫ ПРОЕКТИРОВАНИЯ, АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ОБРАЗОВАНИИ

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://elar.uspu.ru/handle/ru-uspu/6427

Применение библиотеки AspectJ для реализации шаблона проектирования Observer

Θεματικοί όροι: ПАТТЕРН OBSERVER, ПАТТЕРНЫ ПРОЕКТИРОВАНИЯ, АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ОБРАЗОВАНИИ

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://elar.rsvpu.ru/handle/123456789/6427

Аспектно-ориентированное программирование в контексте решения вопросов повышения эффективности экономических показателей IT-проектов

Πηγή: Программные продукты и системы.

Θεματικοί όροι: аспектно-ориентированное программирование, задача, информационная система, проектирование, программирование, эффективность

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/aspektno-orientirovannoe-programmirovanie-v-kontekste-resheniya-voprosov-povysheniya-effektivnosti-ekonomicheskih-pokazateley-it
http://cyberleninka.ru/article_covers/16912937.png

ПОСТРОЕНИЕ СПЕЦИФИКАЦИЙ ПРОГРАММНЫХ ИНТЕРФЕЙСОВ В ОТКРЫТОЙ СИСТЕМЕ ПОКОМПОНЕНТНОЙ ВЕРИФИКАЦИИ ЯДРА LINUX

Συγγραφείς: Новиков, Е.

Θεματικοί όροι: ЯДРО LINUX,КОМПОНЕНТ ЯДРА,ДРАЙВЕР УСТРОЙСТВ,ПРАВИЛО ИСПОЛЬЗОВАНИЯ ПРОГРАММНЫХ ИНТЕРФЕЙСОВ,СПЕЦИФИКАЦИЯ,МОДЕЛЬ ОКРУЖЕНИЯ,СТАТИЧЕСКАЯ ВЕРИФИКАЦИЯ,АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ СИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/postroenie-spetsifikatsiy-programmnyh-interfeysov-v-otkrytoy-sisteme-pokomponentnoy-verifikatsii-yadra-linux
http://cyberleninka.ru/article_covers/14425674.png

АСПЕКТНЫЕ ТЕХНОЛОГИИ В СИСТЕМАХ С ПРЕОБЛАДАЮЩЕЙ ПРОГРАММНОЙ КОМПОНЕНТОЙ

Συγγραφείς: НИКОЛАЕНКОВ АЛЕКСЕЙ ВИТАЛЬЕВИЧ

Θεματικοί όροι: АСПЕКТНАЯ ТЕХНОЛОГИЯ,ASPECT TECHNOLOGY,АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ASPECT-ORIENTED PROGRAMMING,СУБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,SUBJECT-ORIENTED PROGRAMMING,КОМПОЗИЦИОННЫЕ ФИЛЬТРЫ,COMPOSITIONAL FILTERS,АДАПТИВНОЕ ПРОГРАММИРОВАНИЕ,ADAPTIVE PROGRAMMING

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/aspektnye-tehnologii-v-sistemah-s-preobladayuschey-programmnoy-komponentoy
http://cyberleninka.ru/article_covers/16470077.png

ИСПОЛЬЗОВАНИЕ АСПЕКТНО-ОРИЕНТИРОВАННОГО ПРОГРАММИРОВАНИЯ ДЛЯ ВЫПОЛНЕНИЯ ЗАПРОСОВ ПО ИСХОДНОМУ КОДУ ПРОГРАММ

Συγγραφείς: Новиков, Е., Хорошилов, А.

Θεματικοί όροι: РАЗРАБОТКА ПРОГРАММЫ,ПОДДЕРЖКА ПРОГРАММЫ,ЗАПРОС ПО ИСХОДНОМУ КОДУ ПРОГРАММЫ,ФОРМАЛЬНОЕ ПРЕДСТАВЛЕНИЕ ПРОГРАММЫ,АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/ispolzovanie-aspektno-orientirovannogo-programmirovaniya-dlya-vypolneniya-zaprosov-po-ishodnomu-kodu-programm
http://cyberleninka.ru/article_covers/14038318.png

Средства аспектно-ориентированного программирования для разработки Web-приложений в системе Aspect.NET

Συγγραφείς: Нгуен, Ван, Сафонов, Владимир

Θεματικοί όροι: АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, АОП, ASPECT.NET, WEBПРИЛОЖЕНИЕ, MICROSOFT.NET, ASP.NET

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/sredstva-aspektno-orientirovannogo-programmirovaniya-dlya-razrabotki-web-prilozheniy-v-sisteme-aspect-net
http://cyberleninka.ru/article_covers/14618405.png

ДИНАМИЧЕСКОЕ СВЯЗЫВАНИЕ АСПЕКТОВ В КРУПНОМАСШТАБНЫХ СИСТЕМАХ ТЕХНОЛОГИЧЕСКОГО УПРАВЛЕНИЯ

Συγγραφείς: Андрюшкевич, Сергей, Ковалев, Сергей

Θεματικοί όροι: АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ И ПРОЕКТИРОВАНИЕ, РЕАКТИВНАЯ МОДЕЛЬ СОБЫТИЙ, РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ ТЕХНОЛОГИЧЕСКОГО УПРАВЛЕНИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/dinamicheskoe-svyazyvanie-aspektov-v-krupnomasshtabnyh-sistemah-tehnologicheskogo-upravleniya
http://cyberleninka.ru/article_covers/14993175.png

АРХИТЕКТУРА LINUX DRIVER VERIFICATION

Συγγραφείς: Мутилин, В., Новиков, Е., Страх, А., Хорошилов, А., Швед, П.

Θεματικοί όροι: СТАТИЧЕСКИЙ АНАЛИЗ КОДА,ПРАВИЛА КОРРЕКТНОСТИ,ВЕРИФИКАЦИЯ ДРАЙВЕРОВ УСТРОЙСТВ,МОДЕЛИРОВАНИЕ ОКРУЖЕНИЯ ДРАЙВЕРА,АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ВЕРИФИКАТОР ДОСТИЖИМОСТИ,ВИЗУАЛИЗАЦИЯ ТРАССЫ ОШИБКИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/arhitektura-linux-driver-verification
http://cyberleninka.ru/article_covers/13973749.png

ПОВТОРНОЕ ИСПОЛЬЗОВАНИЕ МОДУЛЬНЫХ ТЕСТОВ ДЛЯ ОРГАНИЗАЦИИ НАГРУЗОЧНОГО, СТРЕСС-ТЕСТИРОВАНИЯ, ТЕСТИРОВАНИЯ СТАБИЛЬНОСТИ

Συγγραφείς: Лило, Яков, Тюменцев, Евгений

Θεματικοί όροι: АВТОМАТИЧЕСКОЕ ТЕСТИРОВАНИЕ, МОДУЛЬНЫЕ ТЕСТЫ, АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, СТРЕСС-ТЕСТИРОВАНИЕ, НАГРУЗОЧНОЕ ТЕСТИРОВАНИЕ, ТЕСТИРОВАНИЕ СТАБИЛЬНОСТИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/povtornoe-ispolzovanie-modulnyh-testov-dlya-organizatsii-nagruzochnogo-stress-testirovaniya-testirovaniya-stabilnosti
http://cyberleninka.ru/article_covers/14839629.png

ANALYSIS OF ASPECT-ORIENTED PROGRAMMING AS A METHOD OF INCREASING SOFTWARE RELIABILITY ; АНАЛИЗ ИСПОЛЬЗОВАНИЯ АСПЕКТНО-ОРИЕНТИРОВАННОГО ПРОГРАММИРОВАНИЯ КАК СРЕДСТВА ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ; АНАЛІЗ ВИКОРИСТАННЯ АСПЕКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ ЯК ЗАСОБУ ПІДВИЩЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Συγγραφείς: Яковина, Віталій Степанович, Федасюк, Дмитро Васильович, Мамроха, Назарій Михайлович

Πηγή: Engineering Software; Vol. 2 No. 2 (2010); 24 ; Инженерия программного обеспечения; Том 2 № 2 (2010); 24 ; Інженерія програмного забезпечення; Том 2 № 2 (2010); 24

Θεματικοί όροι: Aspect-oriented programming, software code metrics, software reliability, 004.412.2, 004.413.5, Аспектно-ориентированное программирование, метрики программного кода, надежность программного обеспечения, Аспектно-орієнтоване програмування, метрики програмного коду, надійність програмного забезпечення

Περιγραφή αρχείου: application/pdf

Relation: https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3533/3505; https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3533

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3533