Cover Image

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,...

Full description

Saved in:

Bibliographic Details
Date:	2024
Main Authors:	Shynkarenko, V.I., Chyhir, R.R.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2024
Subjects:	constructive-synthesizing modeling software constructor algorithm formal grammar formalization UDC 510+004.4
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/626
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Constructive-synthesizing modeling of the genetic algorithm chromosomes with encoded sorting algorithms
by: Shinkarenko, V.I., et al.
Published: (2025)

Implementation of the reconstruction process for constructive-synthesizing models of fractal time series
by: Shynkarenko, V.I., et al.
Published: (2026)

Constructive-synthesizing model of text graph representation
by: Shynkarenko, V.I., et al.
Published: (2018)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

Video-based visualization of debugging process
by: Shynkarenko, V.I., et al.
Published: (2024)

Methods and software for significant indicators determination of the natural language texts author profile
by: Shynkarenko, V.I., et al.
Published: (2023)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

The grammar of Petri-object model visual programming language
by: Dyfuchyn, А.J., et al.
Published: (2022)

Analysis of storage and display frameworks based on aspect-oriented technologies
by: Glybovets, M.M., et al.
Published: (2025)

Managing scientific workflows in grid systems
by: Tverdokhlib, E.M., et al.
Published: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
by: Glybovets, M.M., et al.
Published: (2017)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
by: Glybovets, M.M., et al.
Published: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
by: Slabospitskaya, О.A.
Published: (2017)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

V.M. Glushkov Kyiv School of Programming
by: Andon, P.I.
Published: (2025)

Logical view for construction-synthesis model of data structures
by: Shynkarenko, V.I., et al.
Published: (2025)

Study of the efficiency of some deterministic preprocessing methods for sorting algorithms
by: Shynkarenko, V.I., et al.
Published: (2023)

The system of models of domain "Software Metatechnology"
by: Morentsov, Y.I.
Published: (2018)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

Application of machine learning in software engineering: an overview
by: Moroz, O.H., et al.
Published: (2019)

Towards ecosystem research in the software engineering
by: Sydorov, M.O.
Published: (2024)

Genetic algorithm for structural adaptation of sorting algorithms
by: Shinkarenko, V.I., et al.
Published: (2024)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Bicomponent sorting algorithms
by: Shynkarenko, V. I., et al.
Published: (2023)

Ecosystem research in software engineering
by: Sydorov, N.A.
Published: (2025)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Formation of the readiness of future bachelors of software engineering for professional communication
by: Sidorova, N.M.
Published: (2015)

Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems
by: Shynkarenko, V.I., et al.
Published: (2018)

50 years of software engineering
by: Sydorov, N.A.
Published: (2019)

On decompilation of VLIW executable files
by: Jakub, K.
Published: (2017)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
by: Dobrovolsky V.K.
Published: (2000)

Software engineering and big data software
by: Sydorov, N.O., et al.
Published: (2023)

Software solution for electrocardiogram storage and analysis
by: Yefremov, M.S., et al.
Published: (2025)

Spectrum of sequential number pershopordinal compositional-nominative logics
by: Shkilnyak, S.S.
Published: (2025)