Proceedings of ISP RAS


Nina Yevtushenko, Ana R. Cavalli, Alexander K. Petrenko.


The 1st Franco-Russian seminar ‘Software Verification, Testing, and Quality Estimation’ has been held in Institut Mines-Télécom, Paris, France, on November, 24-25, 2014. Together with the seminar another important event took place: the joint Franco-Russian Research Laboratory that will focus on the use of formal methods for dealing with issues concerning service validity and reliability. The laboratory members are the Institut Mines-Télécom, France, the Institute for System Programming, of the Russian Academy of Sciences, Moscow, Russia, and the Tomsk State University, Tomsk, Russia. One of the laboratory research directions is the quality estimation of web applications and services that nowadays becomes one of the main areas of software development. The key word here is ‘quality’ and thus, the title of laboratory Qualipso has been established. This issue of the Proceedings of ISP RAS consists of papers presented at the seminar.


Proceedings of the Institute for System Programming, vol. 26, issue 6, 2014, pp. 11-16

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2014-26(6)-0

Full text of the paper in pdf Back to the contents of the volume