Методы верификации программного обеспечения

Architecture Tradeoff Analysis Method. Proc. of 4-th International Conference on 
Engineering. of Complex Computer Systems (ICECCS '98), pp. 68-78, August 1998. 

---

104 
[97] R. Kazman, M. Barbacci, M. Klein, S. J. Carriere, S. G. Woods. Experience with 
Performing Architecture Tradeoff Analysis. Proc. of International Conference of 
Software Engineering (ICSE’99), pp. 54-63, May 1999. 
[98] P. O. Bengtsson, J. Bosch. Scenario-Based Architecture Reengineering. Proc. Of 5-th 
International Conference on Software Reuse (ICSR 5), pp. 308-317, 1998. 
[99] P. O. Bengtsson, N. Lassing, J. Bosch, H. V. Vliet. Architecture-Level Modifiability 
Analysis. Journal of Systems and Software, 69(1-2):129-147, January 2004. 
[100] R. Kazman, J. Asundi, M. Klein. Quantifying the Costs and Benefits of Architectural 
Decisions. Proc. of 23-rd International Conference on Software Engineering (ICSE'01), 
pp. 297-306, 2001. 
[101] B. Lionberger, C. Zhang. ATAM Assistant: A Semi-Automated Tool for the Architecture 
Tradeoff Analysis Method. Proc. of Software Engineering and Applications Conference, 
2007. 
[102] 
http://www.testingfaqs.org/t-static.html
. 
[103] P. Emanuelsson, U. Nilsson. A Comparative Study of Industrial Static Analysis Tools. 
Technical Report 2008:3, Linkoping University, 2008. 
http://www.ep.liu.se/ea/trcis/2008/003/trcis08003.pdf
. 
[104] 
http://www.mathworks.com/products/polyspace/index.html?s_cid=psr_prod
. 
[105] 
http://www.coverity.com/html/prod_prevent.html
. 
[106] 
http://www.iplbath.com/pdf/klocwork/KlocworkEmbeddedSystems.pdf
. 
[107] L. Yu, R. B. France, I. Ray, K. Lano. A light-weight static approach to analyzing UML 
behavioral properties. Proc. of 12-th IEEE International Conference on Engineering 
Complex Computer Systems (ICECCS 2007), pp. 56-63, 2007. 
[108] Э. Мендельсон. Введение в математическую логику. М.: Наука, 1971. 
[109] Ю. Л. Ершов, Е. А. Палютин. Математическая логика. СПб.: Лань, 2004. 
[110] Х. Барендрегт. Лямбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985. 
[111] J.-F. Monin. Understanding Formal Methods. Springer, 2003. 
[112] Р. Фейс. Модальная логика. М.: Наука, 1974. 
[113] К. Ии, Н. В. Шилов, Е. В. Бодин. О программных логиках — просто. Системная 
Информатика, 8:206-249, Новосибирск: Наука, 2002. 

---

105 
[114] Э. Кларк, О. Грамберг, Д. Пелед. Верификация моделей программ: Model Checking. 
М.: МЦНМО, 2002. 
[115] К. Дж. Дейт. Введение в системы баз данных. 8-е изд. М.: Вильямс, 2006. 
[116] Г. Гарсиа-Молина, Дж. Ульман, Дж. Уидом. Системы баз данных. Полный курс. 
М.: Вильямс, 2003. 
[117] В. Е. Котов, Л. А. Черкасова. Исчисления процессов I. Системная информатика, 
2:6-38, Новосибирск: Наука, 1993. 
[118] C. A. R. Hoare. Communicating sequential processes. Prentice Hall, 1985.
Русский перевод: Ч. Хоар. Взаимодействующие последовательные процессы. 
М.: Мир, 1989. 
[119] R. Milner. A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980. 
[120] J. A. Bergstra, J. W. Klop. Fixed point semantics in process algebra. Technical Report 
IW 208, Mathematical Centre, Amsterdam, 1982. 
[121] J. C. M. Baeten, W. P. Weijland. Process Algebra. Cambridge Tracts in Theoretical 
Computer Science, 18. Cambridge University Press, 1990. 
[122] R. Milner. Communicating and Mobile Systems: the 

-Calculus. Cambridge University 
Press, 1999. 
[123] L. Cardelli, A. D. Gordon. Mobile Ambients. Proc. of 1-st International Conference on 
Foundations of Software Science and Computation Structure, M. Nivat, ed. 
LNCS 1378:140-155, Springer-Verlag, 1998. 
[124] Дж. Э. Хопкрофт, Р. Мотвани, Дж. Д. Ульман. Введение в теорию автоматов,