Cover Image

Formal foundations for software model to model transformation operation

Saved in:

Bibliographic Details
Date:	2018
Main Author:	O. V. Chebanyuk
Format:	Article
Language:	English
Published:	2018
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000882047
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.
Published: (2018)

An approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

Conceptual foundations for analysis and modeling of global energy transformations
by: Ye. Pysmenna
Published: (2015)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Formal methods of parallel software design automation
by: Yu. Doroshenko, et al.
Published: (2020)

Formal methods of parallel software design automation
by: Doroshenko, A.Yu., et al.
Published: (2020)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

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

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

The Formal Optological Models in the Scientific Researches
by: S. L. Kryvyj
Published: (2016)

Using of ontological models for formalized knowledge assessment
by: Ya. Hladun, et al.
Published: (2019)

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

The problem of modeling hardware and software environment of the complex of avionics for stages of design, testing and operation
by: V. P. Zinchenko, et al.
Published: (2016)

Life Cycle Model of Software Defect
by: O. O. Hordieiev, et al.
Published: (2020)

ANTHILL: a progressive formalization language for agent-supported software projects
by: Shevchenko, R.S., et al.
Published: (2026)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
by: V. V. Mykytenko
Published: (2022)

On models of ergative system software reliability
by: V. P. Poshivalov, et al.
Published: (2017)

The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)

Nonequilibrium perturbative formalism and spectral function for the Anderson model
by: Hamasaki, M.
Published: (2007)

Formal theory model in the form of commutative semigroup of image constructions
by: O. V. Bisikalo, et al.
Published: (2013)

An approach to the software family quality modeling
by: Koval, G.I.
Published: (2026)

Methods of Modelling Marketing Activity on Software Sales
by: Kh. Bashyrov, et al.
Published: (2013)

The method of software building the thickest grid packing
by: Chuprynka, V.I., et al.
Published: (2026)

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

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

On the formalization of information dissemination processes based on hybrid diffusion models
by: E. V. Ivokhin, et al.
Published: (2018)

Theoretical foundations of modeling economic behavior of an object in the dynamics
by: K. O. Udachyna
Published: (2014)

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)

Formal model for verification of personalized educational trajectories based on ALLOY
by: Poltoratskyi, M.Yu., et al.
Published: (2026)

Usage of Publicly Available Software for Epidemiological Trends Modelling
by: M. S. Dunaievskyi, et al.
Published: (2020)

Infinite order differential operators in the module of formal generalized functions and in a ring of formal power series
by: S. L. Hefter, et al.
Published: (2022)

Domain engineering approach of software requirements analysis
by: O. V. Chebanyuk, et al.
Published: (2020)

Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

Azerbaijan Republic: Foundations of Successful Transformational Reformations
by: A. I. Kudriachenko, et al.
Published: (2021)