Принципы разработки и реализации адаптированных образовательных программ профессионального образования и обзорный анализ их внедрения в вузах и колледжах России

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

Access URL: https://elar.uspu.ru/handle/ru-uspu/51328

Принципы разработки и реализации адаптированных образовательных программ профессионального образования и обзорный анализ их внедрения в вузах и колледжах России ; Principles of designing and realization of adapted education programs of professional education and analysis of their implementation in colleges and universities of Russia

Authors: Мартынова, Е. А., Романенкова, Д. Ф.

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

Subject Geographic: USPU

Relation: Специальное образование. 2016. № 2 (42)

Availability: https://elar.uspu.ru/handle/ru-uspu/51328

Автоматизация приема и обработки заявок отделом техподдержки

Contributors: Титова, Л. К.

Subject Terms: Техподдержка, Автоматизация приема и обработки заявок, Интерфейс программ, Разработка программ, Автоматизированная информационная система, Техническая поддержка

File Description: application/pdf

Access URL: https://elib.gstu.by/handle/220612/41110

РАЗРАБОТКА МОБИЛЬНОГО ПРИЛОЖЕНИЯ ДЛЯ ОЦЕНКИ ОСТРОЙ ПОЧЕЧНОЙ НЕДОСТАТОЧНОСТИ: ОПЫТ И ПЕРСПЕКТИВЫ

Subject Terms: оценка тяжести состояния, разработка программ, software development, diagnostics, обмен данными, mobile application, intent, 3. Good health, мобильное приложение

Развитие готовности к выбору профессии туркменских старшеклассников в период цифровой трансформации: выпускная квалификационная работа магистра

Subject Terms: профориентация, motivation, разработка программ, профессия, мотивация, program development, цифровизация, цифровые инструменты, career guidance, profession, digitalization, digital tools

Review of Software Quality Verification and Evaluation Methods ; Обзор методов верификации и оценки качества программного обеспечения

Authors: E. Y. Merzlyakova, E. V. Yanchenko, Е. Ю. Мерзлякова, Е. В. Янченко

Source: The Herald of the Siberian State University of Telecommunications and Information Science; Том 17, № 1 (2023); 92-106 ; Вестник СибГУТИ; Том 17, № 1 (2023); 92-106 ; 1998-6920

Subject Terms: качество программных средств, verification, validation, program analysis, software lifecycle, testing automation, quality assessment, software verification methods, software development, software quality, верификация, валидация, анализ программ, жизненный цикл ПО, автоматизация тестирования, оценка качества, методы верификации ПО, разработка программ

File Description: application/pdf

Relation: https://vestnik.sibsutis.ru/jour/article/view/158/713; Кулямин В. В. Методы верификации программного обеспечения. М.: Институт системного программирования, 2008. 111 с.; Семахин А. М. Методы верификации оценки качества программного обеспечения: учебное пособие. Курган: Курганский государственный университет, 2018. 150 с.; IEEE 1012-2004 Standard for Software Verification and Validation. IEEE, 2005.; ГОСТ 28806-90 «Качество программных средств. Термины и определения» / Межгосударственный стандарт / Государственный комитет СССР по вычислительной технике и информатике, 1992.; ISO/IEC JTC 1/ SC7 Systems and software engineering – Systems and software Quality Rquirements and Evaluation (SQuaRE) – Guide to SQuaRE – Part 2: Software and systems engineering Geneva, Switzerland: ISO, 2014.; Информационные технологии. Системная и программная инженерия. Требования и оценка качества систем и программного обеспечения (SQuaRE). Требования к качеству готового к использованию программного продукта (RUSP) и инструкции по тестированию. Стандартинформ, 2019.; Информационные технологии. Системная и программная инженерия. Требования и оценка качества систем и программного обеспечения (SQuaRE). Модели качества систем и программных продуктов. Стандартинформ, 2015.; IEEE 1028 Standard for Software Reviews. New York: IEEE, 1998.; Fagan M. E. Design and Code Inspections to Reduce Errors in Program Development // IBM Systems Journal. 1976. V. 15, № 3. P. 182–211.; Kazman R., Bass L., Abowd G., Webb M. SAAM: A Method for Analyzing the Properties of Software Architectures // Proc. 16th International Conference on Software Engineering, 1994. P. 81–90.; Plum Hall Inc [Электронный ресурс]. URL: http://www.plumhall.com/ (дата обращения: 31.01.2023).; LDRA [Электронный ресурс]. URL: https://ldra.com/ (дата обращения: 03.02.2023).; Jtest [Электронный ресурс]. URL: https://www.parasoft.com/ (дата обращения: 3.02.2023).; Шлее М. Qt 5.10. Профессиональное программирование на C++. БХВ-Петербург, 2018.; PVS-Studio – статический анализатор на страже качества, защищённости (SAST) и безопасности кода [Электронный ресурс]. URL: https://pvs-studio.com/ru/pvsstudio/ (дата обращения: 10.05.2022).; Камкин А. С. Введение в формальные методы верификации программ: учебное пособие. М.: МГУ им. М.В. Ломоносов, 2018.; AVISPA – Automated Validation of Internet Security Protocols and Applications [Электронный ресурс]. URL: https://www.avispa-project.org/ (дата обращения: 03.02.2023).; Бланше Б. Моделирование и проверка протоколов безопасности с помощью прикладного исчисления Pi и проверки // Основы и тенденции в области конфиденциальности и безопасности. Октябрь 2016. № 1 (1–2). С. 1–135.; Перевышина Е. А., Бабенко Л. К. Анализ стойкости к атакам криптографических протоколов с использованием формального верификатора SPIN // Известия ЮФУ. Технические науки. 2019. № 5 (207). С. 58–68.; Гурин Р. Е., Рудаков И. В., Ребриков А. В. Методы верификации программного обеспечения // Сетевое научное издание. Наука и образование. 2015. № 10. С. 235–251.; Пероцкая В. Н., Градусов Д. А. Основы тестирования программного обеспечения: учебное пособие. Владимир: Издательство ВЛГУ, 2017.; Топ 10 бесплатных инструментов для автоматизированного тестирования [Электронный ресурс]. URL: https://medium.com/nuances-of-programming/топ-10бесплатных-автоматизированных-инструментов-для-тестирования32e461a78298 (дата обращения: 03.02.2023).; Utting M., Pretschner A., Legeard B. A Taxonomy of Model-Based Testing. Technical Report, Department of Computer Science, The University of Waikato, New Zealand, 2006.; Delgado N., Gates A. Q., Roach S. A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools // IEEE Transactions on Software Engineering. December 2004. V. 30, № 12. P. 859–872.; Broy M., Jonsson B., Katoen J.-P., Leucker M., Pretschner A. Model Based Testing of Reactive Systems. LNCS 3472, Springer, 2005.; Utting M., Legeard B. Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, 2007.; Ambert F., Bouquet F., Chemin S., Guenaud S., Legeard B., Peureux F., Vacelet N., Utting M. BZ-TT: A tool-set for test generation from Z and B using constraint logic programming // Proc. FATES’2002, August 2002. P. 105–119.; Ammann P., Black P. E. Abstracting formal specifications to generate software tests via model checking // Proc. 18th IEEE Digital Avionics Systems Conference, October 1999.; Engel C., Hahnle R. Generating unit tests from formal proofs // Proc. TAP 2007. LNCS 4454, Springer-Verlag, 2007. P. 169–188.; Sen K., Agha G. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools // Proc. Computer Aided Verification, August 2006. P. 419–423.; Lee I., Kannan S., Kim M., Sokolsky O., Viswanathan M. Runtime Assurance Based On Formal Specifications // Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), 1999. P. 279–287.; Havelund K., Rosu G. Monitoring Java Programs with Java PathExplorer // Electronic Notes in Theoretical Computer Science. January 2004. V. 55, № 2. P. 1–18.; Cavalli A., Gervy C., Prokopenko S. New approaches for passive testing using an Extended Finite State Machine specification // Information and Software Technology. Elsevier. September 2003. V. 45, № 12. P. 837–852.; Chen D., Wu J. Chi H. Passive testing on TCP // Proc. International Conference on Communication Technology (ICCT), April 2003. V. 1. P. 182–186.; Cheon Y., Leavens G. T. A runtime assertion checker for the Java Modeling Language (JML) // Proc. International Conference on Software Engineering Research and Practice (SERP’02), CSREA Press, June 2002. P. 322–328.; Schoeller B. Strengthening Eiffel Contracts using Models // Proc. Workshop on Formal Aspects of Component Software (FACS), September 2003. P. 143–158.; Barnett M., Schulte W. Runtime verification of .NET contracts // Journal of Systems and Software. March 2003. V. 65, № 3. P. 199–208.; Кларк Э. М., Гамбург О., Пелед Д. Верификация моделей программ: Model Checking: пер. с англ. / под ред. Р. Смелянского. М.: МЦНМО, 2002. 416 с.; Рудаков И. В. Разработка и исследование синтетического метода верификации программы с помощью SMT-решателей // Вестник Московского государственного технического университета им. Н. Э. Баумана. Серия Приборостроение. 2016. № 4 (109). С. 49–64.; Черников Б. В. Управление качеством программного обеспечения: учебник. М.: Форум, 2012. 240 с.; Черников Б. В., Поклонов Б. Е. Оценка качества программного обеспечения: Практикум: учебное пособие. М.: ФОРУМ: ИНФРА-М, 2012. 400 с.; Сандлер К., Баджет Т., Майерс Г. Искусство тестирования программ. М.: Вильямс, 2015. 272 с.; https://vestnik.sibsutis.ru/jour/article/view/158

Availability: https://vestnik.sibsutis.ru/jour/article/view/158
https://doi.org/10.55648/1998-6920-2023-17-1-92-106

Internet portal for solving scientific and engineering problems

Source: Вычислительные технологии. :35-46

Subject Terms: 0301 basic medicine, parallel technologies, 0303 health sciences, web-сервисы, training, service-oriented architecture, обучение, high-performance computing, remote programming, высокопроизводительные вычисления, параллельные технологии, 03 medical and health sciences, portal, web services, портал, бизнес-процессы, business processes, сервис-ориентированная архитектура, удаленная разработка программ

Совершенствование процессов разработки и реализации программ газотранспортного предприятия по энергосбережению : магистерская диссертация

Authors: Khamzin, T. M.

Contributors: Слукина, С. А., Slukina, S. A., УрФУ. Институт экономики и управления, Кафедра экономики и управления на металлургических и машиностроительных предприятиях

Subject Terms: ЭНЕРГОСБЕРЕЖЕНИЕ, РАЗРАБОТКА ПРОГРАММ ЭНЕРГОСБЕРЕЖЕНИЯ, РЕАЛИЗАЦИЯ ПРОГРАММ ЭНЕРГОСБЕРЕЖЕНИЯ, ENERGY EFFICIENCY, МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ, ENERGY SAVING PROGRAMS, MASTER'S THESIS, ЭНЕРГОЭФФЕКТИВНОСТЬ, ENERGY SAVING, ПРОГРАММЫ ЭНЕРГОСБЕРЕЖЕНИЯ, DEVELOPMENT OF ENERGY SAVING PROGRAMS, IMPLEMENTATION OF ENERGY SAVING PROGRAMS

File Description: application/pdf

Access URL: http://elar.urfu.ru/handle/10995/136631

Программа для анализа тональности текста с графического изображения на основе применения свёрточной нейронной сети

Subject Terms: анализ текста, распознавание текста, сверточная нейронная сеть, тональность текста, разработка программ, нейронные сети

File Description: application/pdf

Access URL: https://elib.belstu.by/handle/123456789/43383

Разработка программы для анализа успеваемости средствами различных языков программирования

Subject Terms: языки программирования, разработка приложений, анализ успеваемости, разработка программ, расчет показателей успеваемости, компьютерные технологии

File Description: application/pdf

Access URL: https://elib.belstu.by/handle/123456789/43389

Разработка общих требований к программам комплексного управления спросом на потребление электроэнергии и природного газа в регионах России: Development of general requirements for integrated demand management programs for electricity and natural gas consumption in Russian regions

Source: Актуальные вопросы современной экономики.

Subject Terms: управление комплексным спросом на потребление энергоресурсов, разработка программ регионального развития, development of regional development programs, спрос на потребление электроэнергии, demand for electricity consumption, demand for natural gas consumption, energy efficiency improvement, региональная экономика, regional economy, повышение энергетической эффективности, integrated management of demand for energy consumption, спрос на потребление природного газа, 7. Clean energy

Разработка программы «Simbevir»

Subject Terms: вирусы, разработка программ, программа «Simbevir»

File Description: application/pdf

Access URL: https://lib.vsu.by/jspui/handle/123456789/28035

Разработка программы «Simbevir»

Subject Terms: вирусы, разработка программ, программа «Simbevir»

File Description: application/pdf

Access URL: https://rep.vsu.by/handle/123456789/28035

Автоматизация приема и обработки заявок отделом техподдержки

Authors: Николаев, А. А.

Contributors: Титова, Л. К.

Subject Terms: Автоматизированная информационная система, Разработка программ, Интерфейс программ, Автоматизация приема и обработки заявок, Техподдержка, Техническая поддержка

Subject Geographic: Гомель

File Description: application/pdf

Relation: https://elib.gstu.by/handle/220612/41110; 004.9

Availability: https://elib.gstu.by/handle/220612/41110

МАТРИЧНЫЙ ПОДХОД К ОПИСАНИЮ ПЕДАГОГИЧЕСКИХ ПРОЦЕССОВ В НАУЧНЫХ ПЕДАГОГИЧЕСКИХ ИССЛЕДОВАНИЯХ

Source: Бизнес. Образование. Право.

Subject Terms: analysis of pedagogical processes, dissertation research, диссертационные исследования, higher school, разработка программ, 4. Education, анализ педагогических процессов, педагогический процесс, map-table, organization of research work, pedagogical process, matrix, матричный подход, карта-таблица, планирование, matrix approach, высшая школа, матрица, program development, planning, организация научно-исследовательской работы

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

Subject Terms: разработка программ, архитектура «каналы и фильтры», автогенерация программного кода, модель потоков данных

Совершенствование процессов разработки и реализации программ газотранспортного предприятия по энергосбережению : магистерская диссертация

Improving the processes of development and implementation of gas transportation enterprise energy saving programs

Authors: Хамзин, Т. М., Khamzin, T. M.

Thesis Advisors: Слукина, С. А., Slukina, S. A., УрФУ. Институт экономики и управления, Кафедра экономики и управления на металлургических и машиностроительных предприятиях

Subject Terms: МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ, ЭНЕРГОСБЕРЕЖЕНИЕ, ЭНЕРГОЭФФЕКТИВНОСТЬ, ПРОГРАММЫ ЭНЕРГОСБЕРЕЖЕНИЯ, РАЗРАБОТКА ПРОГРАММ ЭНЕРГОСБЕРЕЖЕНИЯ, РЕАЛИЗАЦИЯ ПРОГРАММ ЭНЕРГОСБЕРЕЖЕНИЯ, MASTER'S THESIS, ENERGY SAVING, ENERGY EFFICIENCY, ENERGY SAVING PROGRAMS, DEVELOPMENT OF ENERGY SAVING PROGRAMS, IMPLEMENTATION OF ENERGY SAVING PROGRAMS

File Description: application/pdf

Availability: http://elar.urfu.ru/handle/10995/136631

Инженерное образование глазами молодого специалиста: информация к размышлению ; Inzhenernoe obrazovanie glazami molodogo spetsialista: informatsiia k razmyshleniiu

Authors: Хацринова Ольга Юрьевна, ФГБОУ ВО «Казанский национальный исследовательский технологический университет», Olga I. Khatsrinova, FSBEI HE "Kazan National Research Technological University"

Source: Current trends in the development of education system; 155-156 ; Современные тенденции развития системы образования; 155-156

Subject Terms: знания, специалист, разработка программ обучения, дисциплина «Процессы и аппараты»

File Description: text/html

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-5-6042436-8-8; https://phsreda.com/e-articles/65/Action65-32510.pdf; Игнашина Т.В. Формирование профессионально-ценностных ориентаций у студентов технического университета в процессе преподавания профильных дисциплин / Т.В. Игнашина, В.В. Бронская, Ф.А. Абдулкашапова // Управление устойчивым развитием. – 2018. – №4(17). – С. 103–107.; Иванов В.Г. Инновации и классические подходы в инженерном образовании: сравнительный анализ образовательных моделей / В.Г. Иванов, О.Ю. Хацринова, С.В. Барабанова // Казанская наука. – 2015. – №3. – С. 10–15.; https://phsreda.com/files/Books/5fae465c3d232.jpeg?req=32510; https://phsreda.com/article/32510/discussion_platform

Availability: https://phsreda.com/article/32510/discussion_platform
https://phsreda.com/files/Books/5fae465c3d232.jpeg?req=32510

THE PARTICIPATION OF IGIP IN THE 2014 WEEF

Authors: Michael E. Auer, Axel Zafoschnig

Source: Высшее образование в России, Vol 0, Iss 3, Pp 40-45 (2016)

Subject Terms: engineering pedagogy, global engineering education community, accreditation, curriculum development, development of professional continuing education, инженерная педагогика, международное общество по инженерной педагогике (igip), всемирное сообщество инженерного образования, аккредитация, разработка программ, развитие профессионального непрерывного образования, Education

File Description: electronic resource

Relation: https://vovr.elpub.ru/jour/article/view/144; https://doaj.org/toc/0869-3617; https://doaj.org/toc/2072-0459

Access URL: https://doaj.org/article/4a62aa0d33bc49cab632be67c6e4f83a

Повышение эффективности виртуального рабочего окружения распределенной разработки программ

Authors: Kolyasnikov, P.V., Silakov, I.N., Ilin, D.Yu., Gusev, A.A., Nikulchev, E.V.

Source: Международный научный журнал "Современные информационные технологии и ИТ-образование". 15

Subject Terms: 2. Zero hunger, Virtual Machines, Docker, повышение эффективности разработки, 9. Industry and infrastructure, 4. Education, 1. No poverty, Webpack, виртуальные машины, виртуальное рабочее окружение, 7. Clean energy, 11. Sustainability, распределенная разработка программ, NFS, Increase Development Efficiency, Vagrant, Virtual Development Environment, Distributed Software Development

Access URL: http://sitito.cs.msu.ru/index.php/SITITO/article/view/500