Speciality: 05.13.11 (Mathematical and programme software for computers, computer systems, and networks)
E-mail:
Keywords: Software engineering, Requirement specifications, Verificatoin and validation, Test Automation, Software Process.

Subject:

Software Engineering, Software Development Process, Software Architecture, Verification of Requirement Specifications.

Main publications:

1. Baranov S., Kotlyarov V., Weigert Th., “Test Automation with Verifiable Coverage Criteria”, Ershov Informatics Conference PSI Series, Preliminary Proceedings (June 27–July 1, 2011), Akademgorodok, Novosibirsk, 2011, 267–273
2. Baranov S., Kapitonova J., Letichevsky A., Volkov V., Weigert Th., “Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications”, Computer Networks, 49:5 (2005), 661–675
3. Baranov S., Kotlyarov V., Letichevsky A., “An Industrial Technology of Test Automation Based on Verified Behavioral Models of Requirement Specifications for Telecommunication Applications”, The The IEEE Region 8 Eurocon 2009 Conference (May 18–23, 2009, St. Petersburg, Russia), 2009, 122–129
4. Baranov S, Vaigert T., Kapitonova Yu., Kotlyarov V., Letichevskii A., Letichevskii A.ml., “Spetsifikatsiya sistem s pomoschyu bazovykh protokolov”, Kibernetika i sistemnyi analiz, 2005, № 4, 3–21
5. Baranov S., “Protsess razrabotki programm kak osnova professionalnoi deyatelnosti programmistov”, Kompyuternye instrumenty v obrazovanii, 2002, № 3-4, 21–29

Publications in Math-Net.Ru

Personal pages:

• 

Organisations:

• Saint-Petersburg State University of Aerospace Instrumentation
• Peter the Great St. Petersburg Polytechnic University
• St. Petersburg Institute for Informatics and Automation of RAS