
S.V. Zykov1
1 HSE University (Moscow, Russia)
1 szykov@hse.ru
The article is devoted to the analysis of models and methods applicable to support the development of digital products (DP) in a crisis. At the same time, the main goal is anti-crisis management of development, taking into account ensuring the sustainability of the development processes of such products based on the structural and behavioral features of their construction. At the same time, the concept of management can include various aspects, such as, for example, prevention, adaptive response, mitigation or elimination. For Supporting the ability to manage the crisis, a digital product must meet a certain level of quality.
Methods of object analysis, modeling, and design are used to represent the structure and behavior of the DP, as well as heuristic methods of compromise optimization for key quality indicators. At the same time, it is possible to use the basic set of objects of combinatorial logic as the basis of the object model. Results. The set of principles and methods proposed in the article within the framework of the approach "IT crisisology" based on object modeling and compromise optimization provides adaptive analysis and sustainable management of DP development. The synergetic efficiency of technological, human- and business-oriented factors in the development of DP is substantiated. The proposed concept of DP modeling and design is a tool for crisis management of the development of systems of this class and allows optimizing their structure and functioning throughout the entire life cycle while maintaining a practically acceptable overall level of quality.
Zykov S.V. Digitalization crisis and object modeling: development approaches to construct robust software systems. Information-measuring and Control Systems. 2024. V. 22. № 5. P. 23−30. DOI: https://doi.org/10.18127/j20700814-202405-03 (in Russian)
- Bugayenko Y. Elegant Objects. CreateSpace Independent Publishing Platform; 1.4 Edition. 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.
- GOST R ISO/MEK 25010-2015 "Informatsionnye tekhnologii. Sistemnaya i programmnaya inzheneriya. Trebovaniya i otsenka kachestva sistem i programmnogo obespecheniya. Modeli kachestva sistem i programmnykh produktov" [https://protect.gost.ru/document.aspx?control=7&id=200427]. (in Russian)