- Tytuł:
- Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels
- Autorzy:
- Temat:
-
операционная система
монолитное ядро
качество программной системы
статическая верификация
формальная спецификация
декомпозиция программной системы
модель окружения
Electronic computers. Computer science
QA75.5-76.95 - Źródło:
- Труды Института системного программирования РАН, Vol 29, Iss 6, Pp 25-48 (2018)
- Opis pliku:
- electronic resource
- Relacje:
- https://ispranproceedings.elpub.ru/jour/article/view/417; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426
- Dostęp URL:
- https://doaj.org/article/8ca3c360c1714259bf799ed4b16b7f40  Link otwiera się w nowym oknie
Czasopismo naukowe