Cover Image

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

Saved in:

Bibliographic Details
Date:	2016
Main Authors:	A. B. Godlevskij, N. M. Mishchenko, M. K. Morokhovets, O. D. Felizhanko, N. N. Shchegoleva
Format:	Article
Language:	English
Published:	2016
Series:	Cybernetics and Systems Analysis
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000553516
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

New functionalities of the system for natural-language specifications processing and its operating environment
by: N. M. Mishchenko, et al.
Published: (2018)

Cyber-physical systems: Linguistic aspect
by: A. B. Godlevskij, et al.
Published: (2020)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004)

Some Means of Processing Electronic Text Documents
by: O. O. Letychevskyi, et al.
Published: (2021)

Green’s function formalism for highly correlated systems
by: Mancini, F., et al.
Published: (2006)

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

Islamic banks: specifics of their functioning and development
by: S. V. Sember, et al.
Published: (2016)

Application and development of linguistic software tools for analising and transforming the texts of requirements for software systems
by: M. K. Morokhovets, et al.
Published: (2022)

A TECHNIQUE OF MEASURING OF RESISTANCE OF A GROUNDING DEVICE
by: Nizhevskyi, I. V., et al.
Published: (2016)

Specificity of manufacturing process validation for diagnostic serological devices
by: Yu. Galkin, et al.
Published: (2018)

A TECHNIQUE OF FULL-SCALE MEASUREMENTS OF THE RESISTANCE OF THE GROUNDING DEVICE
by: Nizhevskyi, I. V., et al.
Published: (2018)

Formal and nonarchimedian structures of dynamic systems on manifolds
by: V. P. Kharchenko, et al.
Published: (2019)

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)

Specific value of aspectual meaning of the multipledistributive and distributive action verbs
by: N. Medynska
Published: (2012)

Development of molecularly imprinted polymer membranes with specificity to triazine herbicides, prepared by the "surface photografting" technique
by: Sergeyeva, T.A., et al.
Published: (2004)

The theoretical foundations of the functioning of the permanent devices of the transport systems in Ukraine in the terms of privatization
by: N. A. Remzina
Published: (2017)

Substantiation of the backpropagation technique via the Hamilton—Pontryagin formalism for training nonconvex nonsmooth neural networks
by: V. I. Norkin
Published: (2019)

Substantiation of the backpropagation technique via the Hamilton—Pontryagin formalism for training nonconvex nonsmooth neural networks
by: Norkin, V.I.
Published: (2019)

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

Classification of Monte-Carlo tree search enhancement techniques oriented to specifics of the method
by: O. I. Marchenko, et al.
Published: (2016)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
by: S. M. Pryima, et al.
Published: (2020)

Study of probe methods for fabrication of units for nanoelectronic devices and diagnostic technique using electrostatic force microscopy
by: N. I. Khodakovskij, et al.
Published: (2011)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
by: Pryima, S.M., et al.
Published: (2020)

Decreasing shaft swings of powerful turbogenerators by means of an asynchronous damping device
by: Yu. V. Kuievda, et al.
Published: (2017)

Specific growing features of variable section sapphire articles by Stepanov technique
by: Konevskiy, P.V., et al.
Published: (2008)

Almost everywhere convergence of $T$ means with respect to the Vilenkin system of integrable functions
by: Nadirashvili, N., et al.
Published: (2023)

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)

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

Wigner distribution function formalism for superconductors and collisionless dynamics of the superconducting order parameter
by: Amin, M.H.S., et al.
Published: (2004)

Almost everywhere convergence of T means with respect to the Vilenkin system of integrable functions
by: N. Nadirashvili
Published: (2023)

Formalization of the order of allocation of technical means by monitoring objects based on the theory of fuzzy sets
by: O. A. Iliashov, et al.
Published: (2021)

Methods and tools for developing an information system for validation of non-formal learning outcomes
by: S. M. Pryima, et al.
Published: (2020)

The Profinite Dimensional Manifold Structure of Formal Solution Spaces of Formally Integrable PDEs
by: Güneysu, B., et al.
Published: (2017)

Methods and tools for developing an information system for validation of non-formal learning outcomes
by: Pryima, S.M., et al.
Published: (2020)

Formal and functional-semantic correlation of categories of tens and method
by: V. Barchuk
Published: (2011)

Specificity of high-pure monocrystalline silicon production for various registering and converting devices
by: Trubitsyn, Yu.V., et al.
Published: (2000)

Specification of functions of monitoring economic activity of enterprises
by: A. N. Braginets
Published: (2013)

Specific Features of the Formation of Structural Heterogeneity in Carbon Steel Depending on Manufacturing Technique
by: O. I. Babachenko, et al.
Published: (2023)

Development of device elektrocoagulatsion of water treating from microscopic fungi
by: M. N. Saprykina
Published: (2012)

Semi-Formal Rules As a Factor in the Dynamics of the Efficiency of Formal Rules of Financial Monitoring
by: N. M. Volosnikova, et al.
Published: (2023)