Search

Search for
Advanced filters
Keyword(s)	Delete

Search categories
Authors
Title
Abstract
Full Text
Search in PDF
Supplementary File(s)
Publication Date
From
Until
Index terms
Discipline(s)
Type (method/approach)
Coverage
All index term fields

Issue

Title

Authors

Vol 20, No 2 (2019)

Applying software-mathematical models of onboard equipment to develop onboard software

Lomaev Y.S., Ivanov I.A., Tolstykh A.V., Islentev E.V.

(Eng)

Vol 22, No 1 (2021)

Multiversion model of software control systems for space vehicles with range of decision-making

Kartsan I.N., Efremova S.V.

(Rus)

(Eng)

Vol 21, No 3 (2020)

Mathematical model of reliability of information processing computer appliances for real-time control systems

Aab A.V., Galushin P.V., Popova A.V., Terskov V.A.

(Eng)

Vol 21, No 2 (2020)

Applying software-mathematical models of onboard equipment to develop onboard software

Lomaev Y.S., Ivanov I.A., Tolstykh A.V., Islentev E.V.

(Eng)

Vol 11, No 1 (2010)

Мain principles of communication and navigation satellites onboard software system testing and validation

Koltashev А.A.

(Rus)

Vol 15, No 3 (2014)

Analysis of problems in the research area of software reliability: a lot of stages and architectural aspect

Kovalev I.V.

(Rus)

Vol 18, No 1 (2017)

SOFTWARE SUPPORT FOR TESTING of large spacecraft REFLECTOR AND EVALUATION OF THE OPERATION PARAMETERS OF COMPONENT WEIGHT COMPENSATION SYSTEM

Kovalev I.V., Badanina J.O.

(Rus)

Vol 10, No 3 (2009)

Modular decomposition modelsof technological control cycles software

Antamoshkin О.А., Nurgaleeva J.A., Usachev A.V.

(Rus)

Vol 15, No 4 (2014)

Problems of software implementation of multiversioned views runtime of algorithms for data processing in control systems

Kovalev I.V.

(Rus)

Vol 18, No 4 (2017)

RESEARCH INTO THE METHODS OF SOFTWARE PRODUCT DEVELOPING AND MAINTAINING

Abenova Z.S., Petrov M.N.

(Rus)

Vol 10, No 1-2 (2009)

DIACOPTICS METHOD APPLICATION FOR SOFTWARE RELIABILITY ANALYSIS

Kolesov K.V.

(Rus)

Vol 15, No 2 (2014)

Modifications to the standard ant colony algorithm for solving the problem of formation multiversioned views software

Kovalev D.I., Klimenko A.V., Soloviev E.V., Tueva E.V.

(Rus)

Vol 16, No 3 (2015)

MODERNIZATION DIRECTIONS OF THE HARDWARE AND SOFTWARE OF «KRABIK-BM» RADIO NAVIGATION SYSTEM

Aleshechkin A.M., Feoktistov D.S.

Vol 13, No 5 (2012)

COST ESTIMATION FOR MODERNIZATION OF CRITICAL RELIABILITY SYSTEMS SOFTWARE

Kukartsev V.V., Sheenok D.A.

(Rus)

Vol 15, No 1 (2014)

Ant algorithm modification for the problem of multiversion software formation

Kovalev I.V., Karaseva M.V., Solovyev E.V.

(Rus)

Vol 13, No 5 (2012)

RELIABILITY IMPROVEMENT OF COMPLEX NETWORKS SOFTWARE

Zhukov V.G., Sheenok D.A., Terskov V.A.

(Rus)

Vol 15, No 1 (2014)

Development of the equivalent transformation of GERT-networks methods for multiversion software analysis

Kovalev D.I., Saramud M.V., Karaseva M.V., Nurgaleeva Y.A.

(Rus)

Vol 13, No 1 (2012)

PROBLEMS OF OPTIMISATION OF SOFTWARE OF ON-BOARD RADIO-ELECTRONIC EQUIPMENT

Zharikov V.N., Pichkalev A.V.

(Rus)

Vol 14, No 4 (2013)

THE DESIGN OF THE EXPERIMENT AND CREATION OF THE REGRESSION MODEL OF THE SPECIFIC IMPULSE LIQUID ROCKET ENGINE THRUST FROM 10 TO 420 N

Kolomentsev A.I., Khokhlov A.N.

(Rus)

Vol 11, No 3 (2010)

The mam typesof redundancy that are used for design of navigation and communication satellites reliable operation software

Kondratev С.A., Shumakov N.N., Erohov P.M., Hohlova A.V., Koltashev A.A.

(Rus)

Vol 13, No 4 (2012)

ANALYSIS OF PROBABILISTIC AND INTERIM CHARACTERISTICS OF FAULT TOLERANT SOFTWARE OF DISTRIBUTED COMPUTING SYSTEMS

Tsarev R.Y., Shtarik A.V., Shtarik E.N., Kochergina M.A., Panfilova T.A.

(Rus)

Vol 14, No 1 (2013)

Model of GERT-networks for different ways of usage of multi-version methodology

Kovalev I.V., Zelenkov P.V., Saramud M.V., Sidorova G.A., Brezitskaya V.V.

(Rus)

Vol 11, No 3 (2010)

Computing algorithms dispatching and usein navigation and communication satellites on-board software

Kondratev C.A., Shumakov N.N., Koltashev A.A.

(Rus)

Vol 15, No 2 (2014)

The system of formation of the composition multiversioned views of the software in real time

Solovyev E.V.

(Rus)

Vol 20, No 1 (2019)

MATHEMATICAL MODELING OF THE TECHNOLOGICAL PROCESS OF IMPROVING THE QUALITY OF POLYMERIC PRODUCTS OF MACHINE-BUILDING PURPOSES

Larchenko A.G., Filippenko N.G., Livshits A.V.

(Rus)

1 - 25 of 25 Items

Search tips:

Search terms are case-insensitive
Common words are ignored
By default only articles containing all terms in the query are returned (i.e., AND is implied)
Combine multiple words with OR to find articles containing either term; e.g., education OR research
Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"

Username
Password
Remember me

Forgot password?	Register

Username
Password
Remember me

Forgot password?	Register

Search

Advanced filters

Search categories

Publication Date

Index terms

Search tips:

This website uses cookies