Cover Image

The algebraic model refactoring of components

The algebraic approach to formalization of component refactoring is described. On the base of component model the methods of refactoring, possible operations and integrity conditions of components are cosidered. The concepts for building of algebraic model of component refactoring are defined and in...

Full description

Saved in:

Bibliographic Details
Date:	2015
Main Author:	Grischenko, V.N.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:	UDC 681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/26
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

Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)

Conceptual models of distributed component systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

Axiomatic models and methods used to design of language translators
by: Parasyuk, I.N., et al.
Published: (2015)

Programming gestures simulator with statistical modeling
by: Doroshenko, А.Yu., et al.
Published: (2017)

Model program, systems and operational environments
by: Lavrischeva, K.M.
Published: (2025)

On some technology of project modeling of stochastic manufacturing technological processes
by: Maksimey, I.V., et al.
Published: (2015)

Technological Model for the Process of Software Automated Production
by: Slabospitska, O.O.
Published: (2025)

Agent model of information retrieval on the basis of beehive metaphor
by: Remarovich, S.S.
Published: (2025)

Virtualization of models of technical plants in educational and research problems in the development of control systems
by: Zherebko, V.A.
Published: (2017)

One model of optimal resource allocation in homogeneous multiprocessor system
by: Doroshenko, A.Yu., et al.
Published: (2025)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
by: Marchenko, O.O.
Published: (2025)

The program technological complex of decision making in industrial enterprise management on early stages of crises changes
by: Masalitina, N.N., et al.
Published: (2025)

Problem of automation of situational management of protection of zones of the responsibility
by: Alekseev, V.A., et al.
Published: (2025)

Application of problem domain ontological description for relevantness increasing of informational retrieval
by: Rogushina, J.V.
Published: (2015)

The registration and accounting of the information about events in specialized informational-telecommunication systems
by: Alekseev, V.A., et al.
Published: (2025)

Service-oriented, distributed real-time systems in digital libraries
by: Novitsky, O.V.
Published: (2025)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
by: Alekseev, V.A., et al.
Published: (2015)

Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)

Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)

Development of applications in service-oriented architecture of Semantic Web
by: Deretskiy, V.A.
Published: (2025)

Using ontological knowledge in recommender systems
by: Rogushina, J.V.
Published: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

Support for the management of variability in the family of software systems
by: Kolesnik, A.L.
Published: (2015)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)

Parallel non-negative sparse extra-large matrix factorization
by: Nasirov, E.M.
Published: (2025)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
by: Voznyuk, T.G.
Published: (2025)

Conception of industry scientific software to decision scientific tasks
by: Lavrischeva, K.M.
Published: (2025)

Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)

Formal description of the types and - data structures mixed programmes
by: Stenyashin, A.Yu.
Published: (2025)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
by: Lavrischeva, K.M.
Published: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Comparative characteristics of methods of object-relational mapping
by: Lihatsky, I.A.
Published: (2025)

Designing principles of the Intelligent information technology for organization decisions
by: Ilyina, E.P., et al.
Published: (2017)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
by: Yatsenko, O.A.
Published: (2015)