1. ABET Computing Accreditation Commission. 2013. Criteria for accrediting computing programs; http://www.abet.org/uploadedFiles/Accreditation/Accreditation_Process/ Accreditation_Documents/Current/C001%2014-15%20CAC%20Criteria%2010-26-13.pdf. ABET Computing Accreditation Commission. 2013. Criteria for accrediting computing programs; http://www.abet.org/uploadedFiles/Accreditation/Accreditation_Process/ Accreditation_Documents/Current/C001%2014-15%20CAC%20Criteria%2010-26-13.pdf.
2. Beck K. etal 2001. Manifesto for agile software development. http://www.agilemanifesto.org/. Beck K. et al. 2001. Manifesto for agile software development. http://www.agilemanifesto.org/.
3. Boehm B.W. Turner R. 2004. Balancing Agility and Discipline: A Guide for the Perplexed. Boston MA: Addison-Wesley. Boehm B.W. Turner R. 2004. Balancing Agility and Discipline: A Guide for the Perplexed. Boston MA: Addison-Wesley.
4. Holzmann G.J. 2011. The SPIN Model Checker: Primer and Reference Manual. Upper Saddle River NJ: Addison-Wesley Educational Publishers. Holzmann G.J. 2011. The SPIN Model Checker: Primer and Reference Manual. Upper Saddle River NJ: Addison-Wesley Educational Publishers.