SCIENCE & EDUCATION

References

1. Glukhikh M.I., Itsykson V.M. Programmnaia inzheneriia. Obespechenie kachestva programmnykh sredstv metodami staticheskogo analiza [Software engineering. Ensuring the quality of the software by methods of static analysis].St. Petersburg, SPbSTU Publ., 2011. 150 p.

2. Markov A.S., Mironov S.V., Tsirlov V.L. Vyiavlenie uiazvimostei programmnogo obespecheniia v protsesse sertifikatsii [Identification of software vulnerabilities in the process of certification]. Izvestiia Iuzhnogo federal'nogo universiteta. Tekhnicheskie nauki [Bulletins of the southern Federal University. Technical Sciences], 2006, vol. 62, no. 7, pp. 82-87.

3. Markov A.S., Fadin A.A., Tsirlov V.L. Kontseptual'nye osnovy postroeniia analizatora bezopasnosti programmnogo koda [Conceptual foundations of construction of analyzer of security of programming code]. Programmnye produkty i sistemy [Software products and systems], 2012, no. 2.

4. Markov A.S., Fadin A.A., Tsirlov V.L. Sistematika defektov i uiazvimostei programmnogo obespecheniia [Systematics of defects and vulnerabilities of software]. Bezopasnye informatsionnye tekhnologii : cbornik trudov 2-i Nauchno-Tekhnicheskoi konferentsii [Secure information technologies : proceedings of the 2nd Scientific and Technical conference]. Moscow, Bauman MSTU Publ., 2011, pp. 83-87.

5. Vylegzhanin V.V., Markin A.L., Markov A.S., Utochka R.A., Fadin A.A., Fambulov A.K., Tsirlov V.L. Sistema dlia opredeleniia programmnykh zakladok [System for determining program bookmarks]. Patent RF, no. 114799, 2012.

6. TIOBE Programming Community Index for July 2012: Objective-C overtakes C++. Available at: http://www.tiobe.com/index.php/content/paperinfo/tpci/index.htm , accessed 04.08.2012.