Tayyorlash va ularning malakasini oshirishni tashkil etish bosh ilmiy metodik markazi toshkent axborot texnologiyalari universiteti

 
 

110 
ADABIYOTLAR 
RO`YXATI 
VIII. BO`LIM

VIII. ADABIYOTLAR RO’YXATI 
111 
VIII. ADABIYOTLAR RO’YXATI 
Maxsus adabiyotlar 
1.
“Software Engineering”, by Ian Sommerville, 2015, pages – 790. 
2.
Holdener, A. T. (2008). Ajax: The Definitive Guide. Sebastopol, Ca.: 
O’Reilly and Associates. 
3.
Abrial, J. R. (2005). The B Book: Assigning Programs to Meanings. 
Cambridge, UK: Cambridge University Press. 
4.
Anderson, R. (2001). Security Engineering: A Guide to Building 
Dependable Distributed Systems. Chichester, UK: John Wiley & Sons. 
5.
Baier, C. and Katoen, J.-P. (2008). Principles of Model Checking. 
Cambridge, Mass.: MIT Press. 
6.
Ball, T., Bounimova, E., Cook, B., Levin, V., Lichtenberg, J., McGarvey, 
C., Ondrusek, B., S. K., R. and Ustuner, A. (2006).
7.
‘Thorough Static Analysis of Device Drivers’. Proc. EuroSys 2006, Leuven, 
Belgium. Ahern, D. M., Clouse, A. and Turner, R. (2001). CMMI Distilled. 
Reading, Mass.: Addison-Wesley. 
8.
Basili, V. and Green, S. (1993). ‘Software Process Improvement at the 
SEL’. IEEE Software, 11 (4), 58–66. 
 
Internet resurslar 
1.
http://www.SoftwareEngineering-9.com
 
2.
http://www.pearsonhighered.com/sommerville
 
3.
https://en.wikipedia.org/wiki/Software_engineer
 
4.
http://www.ece.rutgers.edu/~marsic/books/SE/projects/