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

Formal foundations for software model to model transformation operation

Збережено в:

Бібліографічні деталі
Дата:	2018
Автор:	O. V. Chebanyuk
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2018
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000882047
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)

Formal methods of parallel software design automation
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Formal methods of parallel software design automation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2020)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)

Some geometric-differential models in the class of formal operator power series
за авторством: Baranovich, A. M., та інші
Опубліковано: (1996)

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

Conceptual foundations for analysis and modeling of global energy transformations
за авторством: Ye. Pysmenna
Опубліковано: (2015)

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

The Formal Optological Models in the Scientific Researches
за авторством: S. L. Kryvyj
Опубліковано: (2016)

Using of ontological models for formalized knowledge assessment
за авторством: Ya. Hladun, та інші
Опубліковано: (2019)

Life Cycle Model of Software Defect
за авторством: O. O. Hordieiev, та інші
Опубліковано: (2020)

The problem of modeling hardware and software environment of the complex of avionics for stages of design, testing and operation
за авторством: V. P. Zinchenko, та інші
Опубліковано: (2016)

On models of ergative system software reliability
за авторством: V. P. Poshivalov, та інші
Опубліковано: (2017)

The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
за авторством: V. V. Mykytenko
Опубліковано: (2022)

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

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

Methods of Modelling Marketing Activity on Software Sales
за авторством: Kh. Bashyrov, та інші
Опубліковано: (2013)

Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)

Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)

Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)

Domain engineering approach of software requirements analysis
за авторством: O. V. Chebanyuk, та інші
Опубліковано: (2020)

A model and software for the inertial measurement unit
за авторством: Bezpalko, S.O., та інші
Опубліковано: (2022)

Nonequilibrium perturbative formalism and spectral function for the Anderson model
за авторством: Hamasaki, M.
Опубліковано: (2007)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: O. V. Bisikalo, та інші
Опубліковано: (2013)

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

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

On the formalization of information dissemination processes based on hybrid diffusion models
за авторством: E. V. Ivokhin, та інші
Опубліковано: (2018)

Usage of Publicly Available Software for Epidemiological Trends Modelling
за авторством: M. S. Dunaievskyi, та інші
Опубліковано: (2020)

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)

Infinite order differential operators in the module of formal generalized functions and in a ring of formal power series
за авторством: S. L. Hefter, та інші
Опубліковано: (2022)

Infinite order differential operators in the module of formal generalized functions and in a ring of formal power series
за авторством: Hefter, S. L., та інші
Опубліковано: (2022)