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/
