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

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2016
Hauptverfasser:	A. B. Godlevskij, N. M. Mishchenko, M. K. Morokhovets, O. D. Felizhanko, N. N. Shchegoleva
Format:	Artikel
Sprache:	English
Veröffentlicht:	2016
Schriftenreihe:	Cybernetics and Systems Analysis
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000553516
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

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

Cyber-physical systems: Linguistic aspect
von: A. B. Godlevskij, et al.
Veröffentlicht: (2020)

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

Green’s function formalism for highly correlated systems
von: Mancini, F., et al.
Veröffentlicht: (2006)

Islamic banks: specifics of their functioning and development
von: S. V. Sember, et al.
Veröffentlicht: (2016)

Some Means of Processing Electronic Text Documents
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2021)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

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

A TECHNIQUE OF MEASURING OF RESISTANCE OF A GROUNDING DEVICE
von: Nizhevskyi, I. V., et al.
Veröffentlicht: (2016)

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

Specificity of manufacturing process validation for diagnostic serological devices
von: Yu. Galkin, et al.
Veröffentlicht: (2018)

Formal and nonarchimedian structures of dynamic systems on manifolds
von: V. P. Kharchenko, et al.
Veröffentlicht: (2019)

Specific value of aspectual meaning of the multipledistributive and distributive action verbs
von: N. Medynska
Veröffentlicht: (2012)

A TECHNIQUE OF FULL-SCALE MEASUREMENTS OF THE RESISTANCE OF THE GROUNDING DEVICE
von: Nizhevskyi, I. V., et al.
Veröffentlicht: (2018)

The theoretical foundations of the functioning of the permanent devices of the transport systems in Ukraine in the terms of privatization
von: N. A. Remzina
Veröffentlicht: (2017)

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

Nonequilibrium perturbative formalism and spectral function for the Anderson model
von: Hamasaki, M.
Veröffentlicht: (2007)

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

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

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

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

Almost everywhere convergence of T means with respect to the Vilenkin system of integrable functions
von: N. Nadirashvili
Veröffentlicht: (2023)

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

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

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

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

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

Formal and functional-semantic correlation of categories of tens and method
von: V. Barchuk
Veröffentlicht: (2011)

The Keldysh formalism in the time-dependent density-functional theory
von: Korostilv, A.
Veröffentlicht: (2010)

Specification of functions of monitoring economic activity of enterprises
von: A. N. Braginets
Veröffentlicht: (2013)

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

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

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

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

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

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

Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)

Development of device elektrocoagulatsion of water treating from microscopic fungi
von: M. N. Saprykina
Veröffentlicht: (2012)

To the Question on Life Simulation with the Help of Technical Means (On Some Analogues in Technique and Living World)
von: V. K. Belik
Veröffentlicht: (2018)

Effects of total and variances specific combining ability of hemp inbred lines and varieties in topcross systems
von: S. V. Mishchenko
Veröffentlicht: (2017)