Journals
Books
Articles by keyword Аппликативные вычислительные системы
Domain-specific type systems in the church and curry formalism

L.Yu. Ismailova1, S.V. Kosikov2

1 National Research Nuclear University MEPhI (Moscow, Russia)

2 LLC "JurInfoR" (Moscow, Russia)

1 LYIsmailova@mephi.ru, 2 kosikov.s.v@gmail.com

Developing information and intelligent systems using applicative and semantic technologies

V.V. Roslovtsev1

1 National Research Nuclear University MEPhI (Moscow, Russia)

1 vvroslovtsev@mephi.ru

Model and architecture process construction environment with tracing capabilities based on sematic technologies and using a model for object evolution

V.V. Roslovtsev¹, D.R. Maksimov², F.S. Chervakov³, E.E. Balashova⁴, K.G. Belyakov⁵, D.N. Gushchin⁶, S.I. Valiullina⁷, E.D. Kalinkin⁸, R.N. Kuzmin⁹, A.Sh. Sirozhev¹⁰, A.V. Fateev¹¹

¹National Research Nuclear University MEPhI (Moscow, Russia)

¹vvroslovtsev@mephi.ru

Applicative tools for constructing and executing computations in distributed environments based on Domain-Specific Language (DSL)

V.V. Roslovtsev¹, D.R. Maksimov², F.S. Chervakov³, E.E. Balashova⁴, K.G. Belyakov⁵, D.N. Gushchin⁶, S.I. Valiullina⁷, E.D. Kalinkin⁸, R.N. Kuzmin⁹, A.Sh. Sirozhev¹⁰, A.V. Fateev¹¹

¹⁻¹¹National Research Nuclear University MEPhI (Moscow, Russia) ¹vvroslovtsev@mephi.ru

Support for polymorphism and object-oriented aspects in the abstract program specification system

P.A. Shapkin¹, K.A. Legkodukh², E.D. Gajduk³

¹⁻³National Research Nuclear University MEPhI (Moscow, Russia)

¹pavel@shapkin.link