On reliability, safety, and readability of programming languages on the example of Ada language ; О надежности, безопасности и читабельности языков программирования на примере языка Ада

Συγγραφείς: A. V. Leont’ev, А. В. Леонтьев

Συνεισφορές: The publication was prepared within the framework of the state assignment of the Ministry of Education and Science of Russia, number AA AAAA-A19-119020690042-2, Работа выполнена по НИР «Исследование и разработка методов интеллектуального анализа данных» в рамках государственного задания Министерства образования и науки России, номер ГР АААА-А19-119020690042-2

Πηγή: Informatics; Том 16, № 4 (2019); 88-98 ; Информатика; Том 16, № 4 (2019); 88-98 ; 2617-6963 ; 1816-0301

Θεματικοί όροι: проектирование языков, reliable programming, safe programming, programming style, design of languages, надежное программирование, безопасное программирование, стиль программирования

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

Relation: https://inf.grid.by/jour/article/view/874/891; Heinlein C. Null values in programming languages. Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, Nevada, USA, 27-30 June, 2005. Available at: https://www.researchgate.net/publication/221271111_Null_Values_in_Programming_Languages (accessed 13.04.2019).; Klimov A., Adamovich A. Can parallel programs be deterministic by construction? Problem statement. National Supercomputing Forum (NSCF 2017), Pereslavl-Zalessky, Russia, November-December 2017. Available at: http://2018.nscf.ru/nscf-eng/ (accessed 13.04.2019).; Freeman S. Partial Revelation and Mjdula-3. Available at: https://www.cs.tut.fi/lintula/manual/modula3/modula-3/html/partial-rev/index.html (accessed 13.04.2019).; Modula-3. Available at: https://en.wikipedia.org/wiki/Modula-3 (accessed 13.04.2019).; Wyant G. Introducing modula-3. Linux Journal, 1 December, 1994. Available at: https://www.linuxjournal.com/article/9 (accessed 13.04.2019).; https://inf.grid.by/jour/article/view/874

Διαθεσιμότητα: https://inf.grid.by/jour/article/view/874

Модель расчета вpеменных границ пpоектов pазpаботки программного обеспечения ; Model of calculating the advanced borders of projects of software processing

Συγγραφείς: Швачич, Г. Г., Семенов, Сергій Геннадійович, Главчев, Максим Игоревич, Халифе, Кассем

Θεματικοί όροι: безопасное программирование, временные затраты, разработка ПО, математическая модель, коэффициент, safe programming, software development

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

Relation: Модель расчета вpеменных границ пpоектов pазpаботки программного обеспечения / Г. Г. Швачич [и др.] // Системи управління, навігації та зв'язку : зб. наук. пр. / гол. ред. С. В. Козелков. – Полтава : ПНТУ, 2017. – Вип. 1 (41). – С. 43-49.; http://repository.kpi.kharkov.ua/handle/KhPI-Press/50379

Διαθεσιμότητα: http://repository.kpi.kharkov.ua/handle/KhPI-Press/50379

Модель расчета вpеменных границ пpоектов pазpаботки программного обеспечения

Θεματικοί όροι: математическая модель, безопасное программирование, safe programming, разработка ПО, software development, коэффициент, временные затраты

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

Σύνδεσμος πρόσβασης: http://repository.kpi.kharkov.ua/handle/KhPI-Press/50379