Alexei S. Ragozin

According to our database, Alexei S. Ragozin authored at least 3 papers between 1996 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

Using declarative mapping for automatic code generation from SDL and ASN.1.

Nikolai Mansurov, Alexei S. Ragozin

Proceedings of the SDL '99 The Next Millennium, 1999

1997

Industrial strength code generation from SDL.

Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin

Proceedings of the SDL '97 Time for Testing, 1997

1996

Tool Support for Algebraic Specifications of Dat in SDL-92.

Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov

Proceedings of the Formal Description Techniques IX: Theory, 1996