Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System von Prihodko, P.P.

Volltext

Development of a spiral model of life cycle of the program systems von Alekseev, V.A., Tereshchenko, V.S.

Volltext

Применение статистических моделей в инженерии качества процессов производства программных систем... von Matveeva, L.Е., Gorislavets, T.N.

Volltext

Тechnology of security confidential information from inside threats von Antoniuk, A.A., Portyanoy, V.S., Shylin, V.P.

Volltext

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse von Radetskyi, I.O.

Volltext

Approaches to configuring reusable assets von Kolesnik, A.L.

Volltext

Relations of logical consequence in composition nominative logics von Shkilnyak, S.S.

Volltext

Variability assurance mechanisms in Software Product Line von Kolesnik, A.L.

Volltext

The descriptive foundations of the ontological platform von Redko, V.N, Redko, I.V., Grishko, V.N.

Volltext

Compositional-nominative modal logics of the functional-equational level von Shkilniak, O.S.

Volltext

Problem of reengineering of legacy-software systems von Pashkovets, N.D., Babak, O.V.

Volltext

Engineering of software development processes quality by means of Petri Nets von Matveeva, L.E.

Volltext

Fuzzy models of multiagent systems in distributed environment von Parasyuk, I.N., Ershov, S.V.

Volltext

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS von Bezverha, M.A., Protsyk, P.P.

Volltext

Query optimization from DL/1 (IMS) to sol von Anisimov, A.V., Kulyabko, O.P., Kulyabko, P.P., Marchenko, O.O.

Volltext

System of the automated carrying over of contents electronic documents in DB IS von Blazhko, A.A., Marulin, S.Yu., Dunko, Yu.A.

Volltext

Automated creation of rules fo data access control by resources using DBMS von Blazhko, A.A., Saud, Ibaa

Volltext

Modelling technology based on fuzzy Bayesian belief networks von Parasyuk, I.M., Kostukevich, F.V.

Volltext

Semantic properties of composition nominative modal logics von Shkilnyak, O.S.

Volltext

Specialities of management processes in case of software systems families creation von Lavrischeva, К.М., Koval, G.I., Slabospickaya, О.A., Kolesnik, A.L.

Volltext