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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

Automation of the composition of grammatical glossaries for thematic texts
за авторством: Mishchenko, N.M., та інші
Опубліковано: (2026)

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

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

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

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

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

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

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

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

Effects of total and variances specific combining ability of hemp inbred lines and varieties in topcross systems
за авторством: S. V. Mishchenko
Опубліковано: (2017)

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

Development of a preparation technique and study on the properties of concentrated aqueous dispersions based on nanoscale particles of pyrogenic silica with low specific surface area
за авторством: Gaishun, V. E., та інші
Опубліковано: (2007)

To the Question on Life Simulation with the Help of Technical Means (On Some Analogues in Technique and Living World)
за авторством: V. K. Belik
Опубліковано: (2018)

Methods and means of localization of focals of self-ignition of specific dumps
за авторством: I. I. Chobotko, та інші
Опубліковано: (2018)

A CHOICE OF SECTIONS OF ELECTRIC WIRES AND CABLES IN CIRCUITS OF DEVICES OF HIGH-VOLTAGE HIGH-CURRENT IMPULSE TECHNIQUE
за авторством: Baranov, M. I.
Опубліковано: (2018)

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

Thermal management system for electronic devices
за авторством: I. V. Tsevukh, та інші
Опубліковано: (2016)

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

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

Development of control system for critical parameters of medical device sterization at an electron accelerator
за авторством: Pomatsalyuk, R.I., та інші
Опубліковано: (2015)

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