Oliy va o‘rta maxsus ta’lim vazirligi oliy ta’lim tizimi pedagog va rahbar kadrlarini qayta tayyorlash va ularning malakasini oshirishni tashkil etish bosh ilmiy

110

5. 
   BO`LIM
   

ADABIYOTLAR RO`YXATI

VIII. ADABIYOTLAR RO’YXATI

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/
   

EXPERT CONCLUSION