TY - BOOK AU - Eushiuan, T. PY - 1999 DA - 1999// TI - Requirements and Specifications ID - Eushiuan1999 ER - TY - STD TI - Ascent® Logic website http://www.alc.com UR - http://www.alc.com ID - ref2 ER - TY - STD TI - Nu Thena® Systems website http://www.lynuxworks.com/ UR - http://www.lynuxworks.com/ ID - ref3 ER - TY - STD TI - Rational® Software website http://www-01.ibm.com/software/rational/ UR - http://www-01.ibm.com/software/rational/ ID - ref4 ER - TY - STD TI - Scientific and Engineering Software® website https://www.ece.cmu.edu/~koopman/des_s99/requirements_specs/ UR - https://www.ece.cmu.edu/~koopman/des_s99/requirements_specs/ ID - ref5 ER - TY - BOOK AU - Eushiuan, T. PY - 1999 DA - 1999// TI - Requirements & Specifications ID - Eushiuan1999 ER - TY - CHAP AU - Lattemann, F. AU - Lehmann, E. PY - 1997 DA - 1997// TI - A methodological Approach to the Requirement Specification of Embedded Systems BT - Proceedings of the First IEEE International Conference on Formal Engineering Methods, ISBN 0-8186-8002-4; Nov. 12–14, 1997 ID - Lattemann1997 ER - TY - CHAP AU - Patridge, D. PY - 1995 DA - 1995// TI - Where do Specifications Come From? BT - Achievement and Assurance of Safety - Proceedings of the Third Safety-Critical Systems Symposium ID - Patridge1995 ER - TY - BOOK AU - Donald Ervin, K. PY - 1974 DA - 1974// TI - The Art of Computer Programming, Volume I: Fundamental Algorithms ID - Donald Ervin1974 ER - TY - BOOK AU - John, C. PY - 2012 DA - 2012// TI - Art and Science of Software Engineering ID - John2012 ER - TY - STD TI - Ko AJ, et al.: The State of the Art in End-User Software Engineering. ACM Surveys Vol. 43, No. 3, Article 21, April 2011; http://faculty.washington.edu/ajko/papers/Ko2011EndUserSoftwareEngineering.pdf UR - http://faculty.washington.edu/ajko/papers/Ko2011EndUserSoftwareEngineering.pdf ID - ref11 ER - TY - JOUR AU - Loka, R. R. PY - 2007 DA - 2007// TI - Software Development: What Is the Problem? JO - Computer VL - 40 UR - https://doi.org/10.1109/MC.2007.73 DO - 10.1109/MC.2007.73 ID - Loka2007 ER - TY - CHAP AU - Victoria, R. PY - 2011 DA - 2011// BT - Software Engineering: Art or Science ID - Victoria2011 ER - TY - JOUR AU - Steve, M. C. PY - 1998 DA - 1998// TI - The Art, Science, and Engineering of Software Development JO - IEEE Softw VL - 15 ID - Steve1998 ER - TY - BOOK AU - Naveen, G. PY - 2006 DA - 2006// TI - Art of Software Engineering, Function Point Analysis Examined ID - Naveen2006 ER - TY - BOOK AU - Glass, R. PY - 2006 DA - 2006// TI - Software Conflict 2.0: The Art and Science of Software Development ID - Glass2006 ER - TY - BOOK AU - Waldo, J. PY - 2001 DA - 2001// TI - DSP Laboratory for Real-Time Systems Design and Implementation: Software Engineering and the Art of Design. Proceedings of the 2001 American Society for Engineering and Education Annual Conference; session 1526 ID - Waldo2001 ER - TY - JOUR AU - Votta, L. PY - 2004 DA - 2004// TI - Measuring High Performance Computing Productivity JO - Int J High Perform Comput Appl VL - 18 UR - https://doi.org/10.1177/1094342004048539 DO - 10.1177/1094342004048539 ID - Votta2004 ER - TY - BOOK AU - Wilkins, D. PY - 2002 DA - 2002// TI - The Bathtub Curve and Product Failure Behavior ID - Wilkins2002 ER - TY - JOUR AU - Wood, A. PY - 2003 DA - 2003// TI - Software Reliability from the Customer View JO - IEEE Comp Soc VL - 36 UR - https://doi.org/10.1109/MC.2003.1220580 DO - 10.1109/MC.2003.1220580 ID - Wood2003 ER - TY - JOUR AU - Iyer, R. K. AU - Rossetti, D. J. PY - 1985 DA - 1985// TI - Effect of System Workload on Operating System Reliability: A Study on IBM 3081 JO - IEEE Trans Software Eng VL - SE-11 UR - https://doi.org/10.1109/TSE.1985.232180 DO - 10.1109/TSE.1985.232180 ID - Iyer1985 ER - TY - CHAP AU - Jun, X. AU - Zbigniew, K. AU - Ravishankar, K. I. PY - 1999 DA - 1999// TI - Networked Windows NT System Field Failure Data Analysis BT - Proceedings of IEEE Pacific Rim Intl’ Symp. Dependable Computing (PRDC) ID - Jun1999 ER - TY - BOOK AU - Malkawi, M. AU - Votta, L. AU - Ignatius, G. AU - Moore, B. PY - 2001 DA - 2001// TI - Availability Work Products – A Strategic Approach PB - IEEE Signal Processing Society 5th WSES International Conference CY - Crete ID - Malkawi2001 ER - TY - CHAP AU - Malkawi, M. PY - 2002 DA - 2002// TI - Analysis of Failure and Recovery Rates in a Wireless Telecommunications System BT - Proceedings of the International Conference on Dependable Systems and Networks (DSN) ID - Malkawi2002 ER - TY - BOOK AU - Malkawi, M. AU - Votta, L. PY - 2000 DA - 2000// TI - Software Systems Availability Modeling and Analysis. Motorola Report and Motorola Symposium on Software Engineering ID - Malkawi2000 ER - TY - BOOK AU - Malkawi, M. PY - 1999 DA - 1999// TI - High Availability Models for Common Platform BTS ID - Malkawi1999 ER - TY - BOOK AU - Sahner, R. A. AU - Trivedi, K. S. AU - Antonio, P. PY - 1996 DA - 1996// TI - Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package PB - Kluwer Academic Publishers CY - Netherlands UR - https://doi.org/10.1007/978-1-4615-2367-3 DO - 10.1007/978-1-4615-2367-3 ID - Sahner1996 ER - TY - CHAP AU - Courtney, T. AU - Daly, D. AU - Derisavi, S. AU - Lam, V. AU - Sanders, W. H. PY - 2003 DA - 2003// TI - The Möbius Modeling Environment BT - Tools of the 2003 Illinois International Multiconference on Measurement, Modeling, and Evaluation of Computer-Communication Systems PB - Universität Dortmund Fachbereich Informatik CY - Germany ID - Courtney2003 ER - TY - CHAP AU - Malkawi, M. AU - Malkawi, A. PY - 2005 DA - 2005// TI - Spectrum Management and Rebanding BT - Mobile Radio Technology (MRT) J ID - Malkawi2005 ER - TY - BOOK AU - Malkawi, M. AU - Malkawi, A. PY - 2002 DA - 2002// TI - A Comprehensive Analysis of External Interference ID - Malkawi2002 ER - TY - JOUR AU - Babcock, W. C. PY - 1953 DA - 1953// TI - Intermodulation Interference in Radio Systems JO - Bell Syst Tech J VL - 32 UR - https://doi.org/10.1002/j.1538-7305.1953.tb01422.x DO - 10.1002/j.1538-7305.1953.tb01422.x ID - Babcock1953 ER - TY - CHAP AU - Jacobsmeyer, J. M. PY - 2007 DA - 2007// TI - Solving Inermodulation Interference in Radio Systems BT - Mobile Radio Technology ID - Jacobsmeyer2007 ER - TY - STD TI - Lucent Technologies User manual Document 401–610–133 Issue 28- Flexnet/Autoplex Wirless Networks Executve Cellular Processor (ECP) Release 24 4–125–4–127. ID - ref33 ER - TY - STD TI - Williams S: Analysis of the SSH Key Exchange Protocol. Cryptology ePrint Archive, Report 2011/276. , 2011 http://eprint.iacr.org/2011/276 , 2011 UR - http://eprint.iacr.org/2011/276 ID - ref34 ER - TY - STD TI - Patrick T: Buggy software costs users, vendors nearly $60B annually. : Computerworld; June 25 2002; http://www.computerworld.com/s/article/72245/Study_Buggy_software_costs_users_vendors_nearly_60B_annually June 25 2002; UR - http://www.computerworld.com/s/article/72245/Study_Buggy_software_costs_users_vendors_nearly_60B_annually ID - ref35 ER - TY - STD TI - Fiorenza B: Cambridge University Study States Software Bugs Cost Economy $312 Billion Per Year. Cambridge Judge Business School: PRWeb Online Visibility from Focus; http://www.prweb.com/releases/2013/1/prweb10298185.htm UR - http://www.prweb.com/releases/2013/1/prweb10298185.htm ID - ref36 ER - TY - STD TI - U.S.-Canada Power System Outage Task Force: August 14th, 2003 Blackout: Causes and Recommendations. http://energy.gov/sites/prod/files/oeprod/DocumentsandMedia/BlackoutFinal-Web.pdf UR - http://energy.gov/sites/prod/files/oeprod/DocumentsandMedia/BlackoutFinal-Web.pdf ID - ref37 ER - TY - BOOK AU - Stephenson, A. PY - 1999 DA - 1999// TI - Mars Climate Orbiter Mishap Investigation Board, Phase I Report on Project Management in NASA ID - Stephenson1999 ER - TY - STD TI - Lions JL: Arian 5 flight 501 Failure, Report by the Inquiry Board. http://www.ima.umn.edu/~arnold/disasters/ariane5rep.html UR - http://www.ima.umn.edu/~arnold/disasters/ariane5rep.html ID - ref39 ER - TY - CHAP AU - Matz, S. PY - 2001 DA - 2001// BT - GoAhead Stress Test Definition; Motorola Internal Report; Rep. ##R2001ALT01 ID - Matz2001 ER - TY - JOUR AU - Jones, T. C. PY - 1978 DA - 1978// TI - Measuring Programming Quality and Productivity JO - IBM Syst J VL - 17 UR - https://doi.org/10.1147/sj.171.0039 DO - 10.1147/sj.171.0039 ID - Jones1978 ER - TY - STD TI - Information Management and Technology Division, GAO/IMTEC-92–26 Patriot Missile Software Problem, B-247094, February 4, 1992 http://www.fas.org/spp/starwars/gao/im92026.htm UR - http://www.fas.org/spp/starwars/gao/im92026.htm ID - ref42 ER - TY - BOOK AU - Douglas, A. PY - 1992 DA - 1992// TI - Two disasters caused by computer arithmetic errors ID - Douglas1992 ER - TY - JOUR AU - Dominik, G. C. AU - Pangan Oliver, I. PY - 2004 DA - 2004// TI - Cultural Influences on Disaster Management: ACase Study of the Mt. Pinatubo Eruption JO - Int J Mass Emergencies Disasters VL - 22 ID - Dominik2004 ER - TY - JOUR AU - Dobrica, L. AU - Niemela, E. PY - 2002 DA - 2002// TI - A survey on software architecture analysis methods JO - IEEE Trans Software Eng VL - 28 UR - https://doi.org/10.1109/TSE.2002.1019479 DO - 10.1109/TSE.2002.1019479 ID - Dobrica2002 ER -