Programming of financial calculations by bachelors of economic directions

Authors: Nataliya V. Andrafanova, FSFEI of HE \\'Kuban State University\\', Larisa A. Pegunova

Source: Economic science today: theory and practice; 267-271
Экономическая наука сегодня: теория и практика; 267-271

Subject Terms: профессиональная подготовка, технология программирования, финансовая математика

File Description: text/html

Access URL: https://interactive-plus.ru/ru/article/119431/discussion_platform

Преимущества фреймворка Django на примере разработки веб-каталога

Subject Terms: Django, фреймворк Django, технология программирования ORM, паттерн MTV, панель администратора, веб-приложения, веб-каталоги, паттерн MVC

File Description: application/pdf

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

Modeling, Specification and Construction of PLC-programs

Authors: E. V. Kuzmin, Valery A. Sokolov

Source: Моделирование и анализ информационных систем, Vol 20, Iss 2, Pp 104-120 (2013)

Subject Terms: programmable pogic controllers, программируемые логические контроллеры, технология программирования, modeling and specification of plc-programs, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, моделирование и спецификация программ, Information technology, 02 engineering and technology, T58.5-58.64, software engineering

Access URL: https://www.mais-journal.ru/jour/article/download/209/219
https://doaj.org/article/b822f757eb76464ba1aec9adfc889f90
https://doaj.org/article/7892d8db037540b2a8b3f1d2b1c66aac
https://www.mais-journal.ru/jour/article/download/209/219
http://www.mais-journal.ru/jour/article/view/209
https://www.mais-journal.ru/jour/article/viewFile/209/219
https://dblp.uni-trier.de/db/journals/accs/accs48.html#KuzminS14
https://link.springer.com/article/10.3103/S0146411614070244
https://link.springer.com/10.3103/S0146411614070244
http://www.mais-journal.ru/jour/article/viewFile/209/219
https://rd.springer.com/article/10.3103/S0146411614070244

Construction and Verification of PLC-programs by LTL-specification

Authors: D. A. Ryabukhin, E. V. Kuzmin, A.A. Shipov

Source: Моделирование и анализ информационных систем, Vol 20, Iss 4, Pp 5-22 (2013)
Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 78-94 (2013)

Subject Terms: ladder diagram, программируемые логические контроллеры, технология программирования, 0211 other engineering and technologies, programmable logic controllers, Information technology, 02 engineering and technology, T58.5-58.64, specification and verification of plc-programs, спецификация и верификация программ, programmable pogic controllers, релейные диаграммы, 0202 electrical engineering, electronic engineering, information engineering, software engineering

Access URL: https://www.mais-journal.ru/jour/article/download/181/184
https://www.mais-journal.ru/jour/article/download/159/160
https://doaj.org/article/67314a3c26ec4149b0b461daa199412a
https://doaj.org/article/b3b4a373072a44f8ba9fc1dc9a07e541
https://doaj.org/article/99ca442043624877854edc14b5391306
https://doaj.org/article/1056a06d981646c586cc2e53d9d7584e
https://www.mais-journal.ru/jour/article/view/181
http://mais-journal.ru/jour/article/download/159/160
https://mais-journal.ru/jour/article/download/159/160
https://ieeexplore.ieee.org/document/7163716/
https://link.springer.com/article/10.3103/S014641161407013X

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

Authors: АНДРАФАНОВА НАТАЛИЯ ВЛАДИМИРОВНА

Subject Terms: МЕЖДИСЦИПЛИНАРНЫЕ СВЯЗИ,ПРОФЕССИОНАЛЬНАЯ ПОДГОТОВКА,ФИНАНСОВАЯ МАТЕМАТИКА,ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ,INTERDISCIPLINARY COMMUNICATION,PROFESSIONAL TRAINING,FINANCIAL MATHEMATICS,TECHNOLOGY OF PROGRAMMING

File Description: text/html

Availability: http://cyberleninka.ru/article/n/o-mezhdistsiplinarnyh-svyazyah-pri-obuchenii-tehnologii-programmirovaniya-bakalavrov-ekonomicheskih-napravleniy
http://cyberleninka.ru/article_covers/17023803.png

Modeling, Specification and Construction of PLC-programs

Authors: E. V. Kuzmin, V. A. Sokolov

Source: Моделирование и анализ информационных систем, Vol 20, Iss 2, Pp 104-120 (2013)

Subject Terms: программируемые логические контроллеры, технология программирования, моделирование и спецификация программ, Information technology, T58.5-58.64

File Description: electronic resource

Relation: http://mais-journal.ru/jour/article/view/209; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Access URL: https://doaj.org/article/7892d8db037540b2a8b3f1d2b1c66aac

Construction and Verification of PLC-programs by LTL-specification

Authors: E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

Source: Моделирование и анализ информационных систем, Vol 20, Iss 4, Pp 5-22 (2013)

Subject Terms: программируемые логические контроллеры, технология программирования, спецификация и верификация программ, Information technology, T58.5-58.64

File Description: electronic resource

Relation: http://mais-journal.ru/jour/article/view/181; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Access URL: https://doaj.org/article/67314a3c26ec4149b0b461daa199412a

Construction and Verification of PLC LD-programs by LTL-specification

Authors: E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

Source: Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 78-94 (2013)

Subject Terms: программируемые логические контроллеры, технология программирования, спецификация и верификация программ, релейные диаграммы, Information technology, T58.5-58.64

File Description: electronic resource

Relation: http://mais-journal.ru/jour/article/view/159; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Access URL: https://doaj.org/article/1056a06d981646c586cc2e53d9d7584e

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

Authors: КНЯЗЕВА Е.В., ПОПОВА Г.И.

Subject Terms: PROGRAMMING TECHNOLOGY,PEDAGOGICAL EDUCATION,PROGRAMMING LANGUAGE PYTHON,OBJECTORIENTED PROGRAMMING,ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ,ПЕДАГОГИЧЕСКОЕ ОБРАЗОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ PYTHON,ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/mobilnost-pedagogicheskogo-obrazovaniya-na-primere-obucheniya-yazykam-programmirovaniya
http://cyberleninka.ru/article_covers/16949929.png

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

Source: Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета.

Subject Terms: 4. Education, МЕЖДИСЦИПЛИНАРНЫЕ СВЯЗИ,ПРОФЕССИОНАЛЬНАЯ ПОДГОТОВКА,ФИНАНСОВАЯ МАТЕМАТИКА,ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ,INTERDISCIPLINARY COMMUNICATION,PROFESSIONAL TRAINING,FINANCIAL MATHEMATICS,TECHNOLOGY OF PROGRAMMING

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/o-mezhdistsiplinarnyh-svyazyah-pri-obuchenii-tehnologii-programmirovaniya-bakalavrov-ekonomicheskih-napravleniy
http://cyberleninka.ru/article_covers/17023803.png

Методи та інструментальні засоби ідентифікації нелінійних динамічних систем на основі моделей Вольтерра. ; Методы и инструментальные средства идентификации нелинейных динамических систем на основе моделей Вольтерра. ; Methods and tools for identification nonlinear dynamical systems with using Volterra models.

Authors: Павлєнко, Сергій Віталійович, Павленко, С. В., Pavlenko, S. V.

Subject Terms: нелінійні динамічні системи, математичне моделювання, комп’ютерне моделювання, моделі Вольтерра, ядра Вольтерра, ідентифікація, інструментальні обчислювальні засоби ідентифікації, технологія програмування паралельних обчислень, модельна діагностика, нелинейные динамические системы, математическое моделирование, компьютерное моделирование, модели Вольтерра, идентификация, инструментальные вычислительные средства, технология программирования параллельных вычислений, модельная диагностика, nonlinear dynamic systems, modeling and simulation, Volterra models, Volterra kernels, identification, instrumental computing means, technology programming parallel computing, diagnostics model

Relation: http://dspace.opu.ua/jspui/handle/123456789/2829

Availability: http://dspace.opu.ua/jspui/handle/123456789/2829

Технология программирования параллельных вычислений на кластерах ; Технологія програмування паралельних обчислень на кластерах ; Technology programming of parallel computing for clusters

Authors: Павленко, Віталій Данилович, Pavlenko, Vitaliy, Павленко, Виталий Данилович

Subject Terms: параллельные вычисления, кластеры, технология программирования параллельных вычислений, архитектура программного обеспечения, паралельні обчислення, кластери, технологія програмування паралельних обчислень, архітектура програмного забезпечення, parallel computing, clusters, technology programming parallel computing, software architecture

Relation: Павленко, В. Д. Технология программирования параллельных вычислений на кластерах / В. Д. Павленко // Інформатика та математичні методи в моделюванні. - 2014. - Т. 4, № 2. - С. 105-110.; http://dspace.opu.ua/xmlui/handle/123456789/1578

Availability: http://dspace.opu.ua/xmlui/handle/123456789/1578

Construction of PLC IL-Programs by LTL-Specification ; Построение IL-программ ПЛК по LTL-спецификации

Authors: D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov, Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов

Contributors: РФФИ

Source: Modeling and Analysis of Information Systems; Том 21, № 2 (2014); 26-38 ; Моделирование и анализ информационных систем; Том 21, № 2 (2014); 26-38 ; 2313-5417 ; 1818-1015

Subject Terms: список инструкций, software engineering, specification and verification of PLC-programs, Instruction List, технология программирования, спецификация и верификация программ

File Description: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/117/115; Кузьмин Е. В., Соколов В. А., Рябухин Д. А. Построение и верификация LD-программ ПЛК по LTL-спецификации // Моделирование и анализ информационных систем. Ярославль, 2013. Т. 20, №6 (2013). С. 78–94. [Kuzmin E. V., Sokolov V. A., Ryabukhin D. A. Construction and Verification of PLC LD-programs by LTL-specification // Modeling and analysis of information systems. 2013. V. 20, №6. P. 78–94 (in Russian)].; Кузьмин Е. В., Соколов В. А., Рябухин Д. А. Построение и верификация ПЛК-программ по LTL-спецификации // Моделирование и анализ информационных систем. 2013. Т. 20, №4. С. 5–22. [Kuzmin E. V., Sokolov V. A., Ryabukhin D. A. Construction and Verification of PLC-programs by LTL-specification // Modeling and analysis of information systems. 2013. V. 20, №4. P. 5–22 (in Russian)].; Кузьмин Е. В., Рябухин Д. А., Шипов А. А. Построение и верификация ПЛК-программ по LTL-спецификации // Международная научно-практическая конференция «Инструменты и методы анализа программ». Кострома, КГТУ, 2013. С. 17–34. [Kuzmin E. V., Ryabukhin D. A., Shipov A. A. Construction and Verification of PLCprograms by LTL-specification // Proc. of Int. Conf. «Tools and Methods of Program Analysis (TMPA-2013)». Kostroma, KSTU, 2013. P. 17–34 (in Russian)].; Кузьмин Е. В., Соколов В. А. Моделирование, спецификация и построение программ логических контроллеров // Моделирование и анализ информационных систем. 2013. Т. 20, №2. С. 104–120. [Kuzmin E. V., Sokolov V. A. Modeling, Specification and Construction of PLC-programs // Modeling and analysis of information systems. 2013. V. 20, №2. P. 104–120 (in Russian)].; Кузьмин Е. В., Соколов В. А. О построении и верификации программ логических контроллеров // Моделирование и анализ информационных систем. 2012. Т. 19, №4. С. 25–36. [Kuzmin E. V., Sokolov V. A. On Construction and Verification of PLC-Programs // Modeling and analysis of information systems. 2012. V. 19, №4. P. 25–36 (in Russian)].; Кузьмин Е. В., Соколов В. А. О верификации LD-программ логических контроллеров // Моделирование и анализ информационных систем. 2012. Т. 19, №2. С. 138–144. [Kuzmin E. V., Sokolov V. A. On Verification of PLC-Programs Written in the LD-Language // Modeling and analysis of information systems. 2012. V. 19, №2. P. 138–144 (in Russian)].; Петров И. В. Программируемые контроллеры. Стандартные языки и приемы прикладного проектирования. М.: СОЛОН-Пресс, 2004. 256 с. [Petrov I. V. Programmiruemye kontrollery. Standartnye jazyki i priemy prikladnogo proektirovanija. M.: SOLONPress, 2004. 256 p. (in Russian)].; Clark E. M., Grumberg O., Peled D. A. Model Checking. The MIT Press, 2001.; CoDeSys. Controller Development System. http://www.3s-software.com/; Parr E. A. Programmable Controllers. An engineer’s guide. Newnes, 2003. 442 p.; SMV. The Cadence SMV Model Checker. http://www.kenmcmil.com/smv.html

Availability: https://www.mais-journal.ru/jour/article/view/117
https://doi.org/10.18255/1818-1015-2014-2-26-38

КРИЗИС ПРОМЫШЛЕННОЙ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, НЕДЕКЛАРИРОВАННЫЕ ВОЗМОЖНОСТИ И DON’T CARE

Authors: НЕМОЛОЧНОВ ОЛЕГ ФОМИЧ, ОСОВЕЦКИЙ ЛЕОНИД ГЕОРГИЕВИЧ

Subject Terms: ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ,PROGRAMMING TECHNOLOGY,НЕДЕКЛАРИРОВАННЫЕ ВОЗМОЖНОСТИ,UNDECLARED CAPABILITIES,ВЕРИФИКАЦИЯ,VERIFICATION,МЕРТВЫЙ КОД,DEAD CODE,УГРОЗЫ БЕЗОПАСНОСТИ,SECURITY THREATS

File Description: text/html

Availability: http://cyberleninka.ru/article/n/krizis-promyshlennoy-tehnologii-programmirovaniya-nedeklarirovannye-vozmozhnosti-i-don-t-care
http://cyberleninka.ru/article_covers/16469519.png

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

Source: Историческая и социально-образовательная мысль.

Subject Terms: 4. Education, PROGRAMMING TECHNOLOGY,PEDAGOGICAL EDUCATION,PROGRAMMING LANGUAGE PYTHON,OBJECTORIENTED PROGRAMMING,ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ,ПЕДАГОГИЧЕСКОЕ ОБРАЗОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ PYTHON,ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/16949929.png
http://cyberleninka.ru/article/n/mobilnost-pedagogicheskogo-obrazovaniya-na-primere-obucheniya-yazykam-programmirovaniya

Параллельный алгоритм поиска максимума целевой функции методом динамического программирования с помощью технологии CUDA

Authors: Seredin, E. N.

Subject Terms: parallel algorithm, параллельный алгоритм, метод динамического программирования, максимум целевой функции, dynamic programming method, CUDA, the maximum of the objective function, технология программирования видеокарт CUDA, доклады БГУИР

Access URL: https://openrepository.ru/article?id=208764

Construction and Verification of PLC LD-programs by LTL-specification ; Построение и верификация LD-программ ПЛК по LTL-спецификации

Authors: E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин

Contributors: РФФИ, Минобрнауки РФ, ФЦП "Научные и научно-педагогические кадры инновационной России»

Source: Modeling and Analysis of Information Systems; Том 20, № 6 (2013); 78-94 ; Моделирование и анализ информационных систем; Том 20, № 6 (2013); 78-94 ; 2313-5417 ; 1818-1015

Subject Terms: релейные диаграммы, software engineering, specification and verification of PLC-programs, Ladder Diagram, технология программирования, спецификация и верификация программ

File Description: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/159/160; Кузьмин Е. В., Соколов В. А., Рябухин Д. А. Построение и верификация ПЛК-программ по LTL-спецификации // Моделирование и анализ информационных систем. 2013. Т. 20, №4. С. 5–22. (Kuzmin E. V., Sokolov V. A., Ryabukhin D. A. Construction and Verification of PLC-programs by LTL-specification // Modeling and analysis of information systems. 2013. V. 20, №4. P. 5–22 [in Russian]).; Кузьмин Е. В., Рябухин Д. А., Шипов А. А. Построение и верификация ПЛК-программ по LTL-спецификации // Международная научно-практическая конференция «Инструменты и методы анализа программ». Кострома, КГТУ, 2013. С. 17–34. (Kuzmin E. V., Ryabukhin D. A., Shipov A. A. Construction and Verification of PLCprograms by LTL-specification // Proc. of Int. Conf. «Tools and Methods of Program Analysis (TMPA-2013)». Kostroma, KSTU, 2013. P. 17–34 [in Russian]).; Кузьмин Е. В., Соколов В. А. Моделирование, спецификация и построение программ логических контроллеров // Моделирование и анализ информационных систем. 2013. Т. 20, №2. С. 104–120. (Kuzmin E. V., Sokolov V. A. Modeling, Specification and Construction of PLC-programs // Modeling and analysis of information systems. 2013. V. 20, №2. P. 104–120 [in Russian]).; Кузьмин Е. В., Соколов В. А. О построении и верификации программ логических контроллеров // Моделирование и анализ информационных систем. 2012. Т. 19, №4. С. 25–36. (Kuzmin E. V., Sokolov V. A. On Construction and Verification of PLC-Programs // Modeling and analysis of information systems. 2012. V. 19, №4. P. 25–36 [in Russian]).; Кузьмин Е. В., Соколов В. А. О верификации LD-программ логических контроллеров // Моделирование и анализ информационных систем. 2012. Т. 19, №2. С. 138–144. (Kuzmin E. V., Sokolov V. A. On Verification of PLC-Programs Written in the LDLanguage // Modeling and analysis of information systems. 2012. V. 19, №2. P. 138–144 [in Russian]).; Петров И. В. Программируемые контроллеры. Стандартные языки и приемы прикладного проектирования. М.: СОЛОН-Пресс, 2004. 256 с. (Petrov I. V. Programmiruemye kontrollery. Standartnye jazyki i priemy prikladnogo proektirovanija. M.: SOLONPress, 2004. 256 p. [in Russian]).; Clark E. M., Grumberg O., Peled D. A. Model Checking. The MIT Press, 2001.; CoDeSys. Controller Development System. http://www.3s-software.com/; Parr E. A. Programmable Controllers. An engineer’s guide. Newnes, 2003. 442 p.; SMV. The Cadence SMV Model Checker. http://www.kenmcmil.com/smv.html

Availability: https://www.mais-journal.ru/jour/article/view/159
https://doi.org/10.18255/1818-1015-2013-6-78-94

ТЕОРЕТИЧЕСКИЕ АСПЕКТЫ ПАТТЕРНОГО ПРОГРАММИРОВАНИЯ

Authors: Крайнова, Екатерина

Subject Terms: ПРОГРАММИРОВАНИЕ, ПАРАДИГМА, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ, ПАТТЕРНЫ ПРОЕКТИРОВАНИЯ, ПОРОЖДАЮЩИЕ ПАТТЕРНЫ, СТРУКТУРНЫЕ ПАТТЕРНЫ, ПАТТЕРНЫ ПОВЕДЕНИЯ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/teoreticheskie-aspekty-patternogo-programmirovaniya
http://cyberleninka.ru/article_covers/15126130.png

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

Authors: Арыков, Сергей, Малышкин, Виктор

Subject Terms: СБОРОЧНАЯ ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ, АСИНХРОННЫЕ ЯЗЫКИ И СИСТЕМЫ ПРОГРАММИРОВАНИЯ, ДИНАМИЧЕСКИЕ СВОЙСТВА ПРОГРАММ, АВТОМАТИЗАЦИЯ ПАРАЛЛЕЛЬНОЙ РЕАЛИЗАЦИИ ЧИСЛЕННЫХ МОДЕЛЕЙ, DYNAMIC PROGRAM'S PROPERTIES

File Description: text/html

Availability: http://cyberleninka.ru/article/n/algoritmy-konstruirovaniya-asinhronnyh-programm-zadannoy-stepeni-neprotsedurnosti-metodom-gruppirovki
http://cyberleninka.ru/article_covers/13938436.png

Преимущества фреймворка Django на примере разработки веб-каталога

Authors: Ермакович, В. С.

Subject Terms: веб-приложения, фреймворк Django, веб-каталоги, Django, технология программирования ORM, панель администратора, паттерн MTV, паттерн MVC

File Description: application/pdf

Relation: https://elib.belstu.by/handle/123456789/35438; 004.43

Availability: https://elib.belstu.by/handle/123456789/35438