J. V. Kapitonova

Statistics

Publications

Citations

141

H-Index

Active since

1990

Affiliations

V.M. Glushkov Institute of Cybernetics(Current)

J. V. Kapitonova is an author at V.M. Glushkov Institute of Cybernetics specializing in computer science, requirements analysis, and requirement verification.

Publications per year

1990–2005

Publications

Basic protocols, message sequence charts, and the verification of requirements specifications

J. V. Kapitonova, A. A. Letichevsky, V. A. Volkov et al. · Computer Networks · 2005 · 76 citations

Engineering, Computer Engineering, Computer Science +15

Computations in APS

A. A. Letichevsky, J. V. Kapitonova, S. V. Konozenko · Theoretical Computer Science · 1993 · 44 citations

Algebraic programming in the APS system

A. A. Letichevsky, J. V. Kapitonova · 1990 · 21 citations · Full text

Natural Sciences, Computer Science, Mathematics +8

1–3 of 3