Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2024
Hauptverfasser:	Shynkarenko, V.I., Chyhir, R.R.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2024
Schlagworte:	constructive-synthesizing modeling software constructor algorithm formal grammar formalization UDC 510+004.4
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/626
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

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

Constructive-synthesizing model of text graph representation
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2018)

Video-based visualization of debugging process
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)

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

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

The grammar of Petri-object model visual programming language
von: Dyfuchyn, А.J., et al.
Veröffentlicht: (2022)

The system of models of domain "Software Metatechnology"
von: Morentsov, Y.I.
Veröffentlicht: (2018)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

Study of the efficiency of some deterministic preprocessing methods for sorting algorithms
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2023)

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

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

Logical view for construction-synthesis model of data structures
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2025)

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

Application of machine learning in software engineering: an overview
von: Moroz, O.H., et al.
Veröffentlicht: (2019)

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Managing scientific workflows in grid systems
von: Tverdokhlib, E.M., et al.
Veröffentlicht: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Ecosystem research in software engineering
von: Sydorov, N.A.
Veröffentlicht: (2025)

Genetic algorithm for structural adaptation of sorting algorithms
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2024)

Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)

V.M. Glushkov Kyiv School of Programming
von: Andon, P.I.
Veröffentlicht: (2025)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

Integration of large language models with semantic processing tools as an instrument for knowledge digitization
von: Sinitsyn, I.P., et al.
Veröffentlicht: (2025)

Bicomponent sorting algorithms
von: Shynkarenko, V. I., et al.
Veröffentlicht: (2023)

Design of a terrain surface visualization program using algebra-algorithmic tools
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2019)

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

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Molecular modeling in the radiation therapy. The algebraic approach
von: Volkov, V.A., et al.
Veröffentlicht: (2023)

Object-component development of changeable software systems
von: Lavrischeva, E.M., et al.
Veröffentlicht: (2018)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

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

Toward software engineering ecosystems definition
von: Sydorov, M.O.
Veröffentlicht: (2023)