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

Authors: E. M. Novikov

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

Subject Terms: ядро linux, компонент ядра, драйвер устройств, правило использования программных интерфейсов, спецификация, модель окружения, статическая верификация, аспектно-ориентированное программирование, язык программирования си, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/ad36d8d695cd48b08341604a9834d1af

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

Authors: E.M. Novikov

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

Subject Terms: аспектно-ориентированное программирование, драйвер устройств, модель окружения, статическая верификация, язык программирования си, Electronic computers. Computer science, спецификация, ядро linux, QA75.5-76.95, компонент ядра, правило использования программных интерфейсов

Access URL: 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

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

Authors: Новиков, Е.

Subject Terms: ЯДРО LINUX,КОМПОНЕНТ ЯДРА,ДРАЙВЕР УСТРОЙСТВ,ПРАВИЛО ИСПОЛЬЗОВАНИЯ ПРОГРАММНЫХ ИНТЕРФЕЙСОВ,СПЕЦИФИКАЦИЯ,МОДЕЛЬ ОКРУЖЕНИЯ,СТАТИЧЕСКАЯ ВЕРИФИКАЦИЯ,АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ СИ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/postroenie-spetsifikatsiy-programmnyh-interfeysov-v-otkrytoy-sisteme-pokomponentnoy-verifikatsii-yadra-linux
http://cyberleninka.ru/article_covers/14425674.png

Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux

Source: Труды Института системного программирования РАН.

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, ЯДРО LINUX,КОМПОНЕНТ ЯДРА,ДРАЙВЕР УСТРОЙСТВ,ПРАВИЛО ИСПОЛЬЗОВАНИЯ ПРОГРАММНЫХ ИНТЕРФЕЙСОВ,СПЕЦИФИКАЦИЯ,МОДЕЛЬ ОКРУЖЕНИЯ,СТАТИЧЕСКАЯ ВЕРИФИКАЦИЯ,АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ СИ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/postroenie-spetsifikatsiy-programmnyh-interfeysov-v-otkrytoy-sisteme-pokomponentnoy-verifikatsii-yadra-linux
http://cyberleninka.ru/article_covers/14425674.png