
С.В. Зыков1
1 Национальный исследовательский университет «Высшая школа экономики» (Москва, Россия)
1 szykov@hse.ru
Постановка проблемы. В настоящее время растет значимость задач, связанных с анализом моделей и методов, применимых для поддержки разработки цифровых продуктов (ЦП) в условиях кризиса. В фокусе исследования находится антикризисное управление разработкой таких продуктов с учетом обеспечения устойчивости процессов их разработки на основе структурно-поведенческих особенностей их построения. При этом понятие управления может включать различные аспекты, такие как, например, предупреждение, адаптивное реагирование, смягчение последствий или устранение. Для поддержки возможности антикризисного управления цифровой продукт должен соответствовать определенному уровню качества.
Цель. Предложить подход, объединяющий спектр моделей и методов, принципиально применимых для поддержки процессов управления разработкой ЦП в кризисных условиях.
Результаты. Предложена совокупность принципов и методов в рамках подхода «ИТ-кризисология» на основе объектного моделирования и компромиссной оптимизации, которая обеспечивает адаптивный анализ и устойчивое управление разработкой ЦП. Обоснована синергетическая эффективность технологических, человеко- и бизнес-ориентированных факторов при разработке ЦП.
Практическая значимость. Предложенный подход может применяться для широкого спектра цифровых продуктов, преимущественно среднего и крупного масштаба, т.е. корпоративного типа, что является важным для практики цифровой трансформации в условиях импортозамещения.
Зыков С.В. Кризис цифровизации и объектное моделирование: подходы к разработке конструктивно устойчивых программных систем // Информационно-измерительные и управляющие системы. 2024. Т. 22. № 5. С. 23−30. DOI: https://doi.org/10.18127/j20700814-202405-03
- Bugayenko Y. Elegant Objects. CreateSpace Independent Publishing Platform. Edition 1.4. 2017.
- Church A. The calculi of lambda-conversion. Princeton University Press: Humphrey Milford; Oxford University Press. London. 92 p.
- Curry H.B. Functionality in combinatory logic // Proceedings of National Academy of Sciences of the USA. 1934. V. 20. P. 584−590.
- Cousineau G., Curien P., Mauny M. The Categorical Abstract Machine // Computer Science. 1987. DOI: 10.1016/0167-6423(87)90020-7.
- Gutknecht J., Zueff E. Zonnon Language Report. Draft. ETH Zurich. 2003.
- Hindley J.R., Seldin J.P. Introduction to combinators and λ-calculus // The Journal of Symbolic Logic. 53(3). P. 985−986. 1988. DOI: 10.2307/2274588.
- Jones S.L.P. An introduction to fully-lazy supercombinators // Lecture Notes in Computer Science. 2005. V. 242.
- Landin P.J. The Mechanical Evaluation of Expressions // The Computer Journal. 1964. V. 6(4). P. 308−320. DOI: 10.1093/comjnl/6.4.308.
- Meyer B. Object-Oriented Software Construction. Prentice Hall: Englewood Cliffs. N.J. 1988.
- Parnas D. Predicate logic for software engineering // Technical Report TRIO-CRL-241. Telecommunications Research Institute of Ontario (TRIO). Faculty of Engineering. McMaster University: Hamilton. ON. Canada. 1992.
- Parker A. Algorithms and Data Structures in C++. New York: CRC Press. 1993. ISBN: 0849371716.
- Scott D., Strachey C. Towards a Mathematical Semantics for Computer Languages // Proc. Symp. on Computers and Automata. Polytechnic Institute of Brooklyn. 1971. P. 19−45.
- Schönfinkel M. Über die Bausteine der mathematischen Logik // Math. Ann. 1924. 92. P. 305−316. DOI: 10.1007/BF01448013.
- Zykov S.V. IT Crisisology Models: Object-Based Optimization for Sustainable Development. Springer Series in Smart Innovation // Systems and Technologies (Switzerland: Springer). 2024. V. 381. 195 p. ISBN: 978-981-99-8648-4.
- Zykov S.V. IT Crisisology: Smart Crisis Management in Software Engineering Models, Methods, Patterns, Practices, Case Studies. Springer Series in Smart Innovation // Systems and Technologies (Singapore: Springer). 2021. V. 210. ISBN: 978-981-33-4434-1. DOI: 10.1007/978-981-33-4435-8.
- Lattanze A.J. Architecting Software Intensive Systems: A Practitioners Guide. New York: CRC Press. 2008. 416 p. DOI: 10.1201/9781420045703. ISBN: 13-978-0429119316.
- ГОСТ Р ИСО/МЭК 25010-2015 «Информационные технологии. Системная и программная инженерия. Требования и оценка качества систем и программного обеспечения. Модели качества систем и программных продуктов» [https://protect.gost.ru/document.aspx?control=7&id=200427].