Buchumschlag

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:	Englisch
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)

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

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

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

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

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

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

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 FULL-SCALE MEASUREMENTS OF THE RESISTANCE OF THE GROUNDING DEVICE
von: Nizhevskyi, I. V., et al.
Veröffentlicht: (2018)

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)

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)

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

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)

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)

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)

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

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)

Formal and functional-semantic correlation of categories of tens and method
von: V. Barchuk
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)

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

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)

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)

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

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

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: Pryima, S.M., et al.
Veröffentlicht: (2020)

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

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)

Formal functional calculus for copolynomials over a commutative ring
von: Gefter, Sergiy L., et al.
Veröffentlicht: (2025)

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)

A CHOICE OF SECTIONS OF ELECTRIC WIRES AND CABLES IN CIRCUITS OF DEVICES OF HIGH-VOLTAGE HIGH-CURRENT IMPULSE TECHNIQUE
von: Baranov, M. I.
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)

Formal interpretation of masculinity
von: A. M. Arkhanhelska
Veröffentlicht: (2011)

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

The Formal method of Component Basic Programming
von: Grischenko, V.N.
Veröffentlicht: (2015)

FUNCTIONAL CORRELATION OF PARAMETERS AND CRITERIA OF RATIONAL CHOICE FOR ELECTRIC DEVICE
von: Zagirnyak, M. V., et al.
Veröffentlicht: (2014)

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