Зображення обкладинки

The software tool of constructive-synthesizing modeling

The concept of constructive-synthesizing modelling is presented. The basic principles are outlined. The classification of constructors by the purpose of constructing and external relations is presented. The types of constructors are defined: generating, transforming, analyzing, optimizing/adapting,...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2024
Автори:	Shynkarenko, V.I., Chyhir, R.R.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2024
Теми:	constructive-synthesizing modeling software constructor algorithm formal grammar formalization UDC 510+004.4
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/626
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Constructive-synthesizing modeling of the genetic algorithm chromosomes with encoded sorting algorithms
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2025)

Implementation of the reconstruction process for constructive-synthesizing models of fractal time series
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2026)

Constructive-synthesizing model of text graph representation
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2018)

Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Рaradigms of programming assembling type in software engeneering
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)

Video-based visualization of debugging process
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

Methods and software for significant indicators determination of the natural language texts author profile
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2023)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)

Analysis of storage and display frameworks based on aspect-oriented technologies
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Managing scientific workflows in grid systems
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

V.M. Glushkov Kyiv School of Programming
за авторством: Andon, P.I.
Опубліковано: (2025)

Logical view for construction-synthesis model of data structures
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2025)

Study of the efficiency of some deterministic preprocessing methods for sorting algorithms
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2023)

The system of models of domain "Software Metatechnology"
за авторством: Morentsov, Y.I.
Опубліковано: (2018)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Application of machine learning in software engineering: an overview
за авторством: Moroz, O.H., та інші
Опубліковано: (2019)

Towards ecosystem research in the software engineering
за авторством: Sydorov, M.O.
Опубліковано: (2024)

Genetic algorithm for structural adaptation of sorting algorithms
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2024)

The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)

Bicomponent sorting algorithms
за авторством: Shynkarenko, V. I., та інші
Опубліковано: (2023)

Ecosystem research in software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2025)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Formation of the readiness of future bachelors of software engineering for professional communication
за авторством: Sidorova, N.M.
Опубліковано: (2015)

Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2018)

50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)

On decompilation of VLIW executable files
за авторством: Jakub, K.
Опубліковано: (2017)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
за авторством: Dobrovolsky V.K.
Опубліковано: (2000)

Software engineering and big data software
за авторством: Sydorov, N.O., та інші
Опубліковано: (2023)

Software solution for electrocardiogram storage and analysis
за авторством: Yefremov, M.S., та інші
Опубліковано: (2025)

Specialized software for simulating dynamic virtual machine consolidation
за авторством: Zharikov, E.V., та інші
Опубліковано: (2022)