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

A development technique and formalization means for functional specifications of systems and devices

Збережено в:

Бібліографічні деталі
Дата:	2016
Автори:	A. B. Godlevskij, N. M. Mishchenko, M. K. Morokhovets, O. D. Felizhanko, N. N. Shchegoleva
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2016
Назва видання:	Cybernetics and Systems Analysis
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000553516
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

New functionalities of the system for natural-language specifications processing and its operating environment
за авторством: N. M. Mishchenko, та інші
Опубліковано: (2018)

Cyber-physical systems: Linguistic aspect
за авторством: A. B. Godlevskij, та інші
Опубліковано: (2020)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
за авторством: Bača, J., та інші
Опубліковано: (2004)

Some Means of Processing Electronic Text Documents
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2021)

Green’s function formalism for highly correlated systems
за авторством: Mancini, F., та інші
Опубліковано: (2006)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Islamic banks: specifics of their functioning and development
за авторством: S. V. Sember, та інші
Опубліковано: (2016)

Application and development of linguistic software tools for analising and transforming the texts of requirements for software systems
за авторством: M. K. Morokhovets, та інші
Опубліковано: (2022)

A TECHNIQUE OF MEASURING OF RESISTANCE OF A GROUNDING DEVICE
за авторством: Nizhevskyi, I. V., та інші
Опубліковано: (2016)

Specificity of manufacturing process validation for diagnostic serological devices
за авторством: Yu. Galkin, та інші
Опубліковано: (2018)

A TECHNIQUE OF FULL-SCALE MEASUREMENTS OF THE RESISTANCE OF THE GROUNDING DEVICE
за авторством: Nizhevskyi, I. V., та інші
Опубліковано: (2018)

Formal and nonarchimedian structures of dynamic systems on manifolds
за авторством: V. P. Kharchenko, та інші
Опубліковано: (2019)

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

Specific value of aspectual meaning of the multipledistributive and distributive action verbs
за авторством: N. Medynska
Опубліковано: (2012)

Development of molecularly imprinted polymer membranes with specificity to triazine herbicides, prepared by the "surface photografting" technique
за авторством: Sergeyeva, T.A., та інші
Опубліковано: (2004)

The theoretical foundations of the functioning of the permanent devices of the transport systems in Ukraine in the terms of privatization
за авторством: N. A. Remzina
Опубліковано: (2017)

Substantiation of the backpropagation technique via the Hamilton—Pontryagin formalism for training nonconvex nonsmooth neural networks
за авторством: V. I. Norkin
Опубліковано: (2019)

Substantiation of the backpropagation technique via the Hamilton—Pontryagin formalism for training nonconvex nonsmooth neural networks
за авторством: Norkin, V.I.
Опубліковано: (2019)

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

Classification of Monte-Carlo tree search enhancement techniques oriented to specifics of the method
за авторством: O. I. Marchenko, та інші
Опубліковано: (2016)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
за авторством: S. M. Pryima, та інші
Опубліковано: (2020)

Study of probe methods for fabrication of units for nanoelectronic devices and diagnostic technique using electrostatic force microscopy
за авторством: N. I. Khodakovskij, та інші
Опубліковано: (2011)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)

Decreasing shaft swings of powerful turbogenerators by means of an asynchronous damping device
за авторством: Yu. V. Kuievda, та інші
Опубліковано: (2017)

Specific growing features of variable section sapphire articles by Stepanov technique
за авторством: Konevskiy, P.V., та інші
Опубліковано: (2008)

Almost everywhere convergence of $T$ means with respect to the Vilenkin system of integrable functions
за авторством: Nadirashvili, N., та інші
Опубліковано: (2023)

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)

Wigner distribution function formalism for superconductors and collisionless dynamics of the superconducting order parameter
за авторством: Amin, M.H.S., та інші
Опубліковано: (2004)

Almost everywhere convergence of T means with respect to the Vilenkin system of integrable functions
за авторством: N. Nadirashvili
Опубліковано: (2023)

Formalization of the order of allocation of technical means by monitoring objects based on the theory of fuzzy sets
за авторством: O. A. Iliashov, та інші
Опубліковано: (2021)

Methods and tools for developing an information system for validation of non-formal learning outcomes
за авторством: S. M. Pryima, та інші
Опубліковано: (2020)

The Profinite Dimensional Manifold Structure of Formal Solution Spaces of Formally Integrable PDEs
за авторством: Güneysu, B., та інші
Опубліковано: (2017)

Methods and tools for developing an information system for validation of non-formal learning outcomes
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)

Formal and functional-semantic correlation of categories of tens and method
за авторством: V. Barchuk
Опубліковано: (2011)

Specificity of high-pure monocrystalline silicon production for various registering and converting devices
за авторством: Trubitsyn, Yu.V., та інші
Опубліковано: (2000)

Specification of functions of monitoring economic activity of enterprises
за авторством: A. N. Braginets
Опубліковано: (2013)

Specific Features of the Formation of Structural Heterogeneity in Carbon Steel Depending on Manufacturing Technique
за авторством: O. I. Babachenko, та інші
Опубліковано: (2023)

Development of device elektrocoagulatsion of water treating from microscopic fungi
за авторством: M. N. Saprykina
Опубліковано: (2012)

Semi-Formal Rules As a Factor in the Dynamics of the Efficiency of Formal Rules of Financial Monitoring
за авторством: N. M. Volosnikova, та інші
Опубліковано: (2023)