Liste des références

[1] Aho A, Hopcroft J et Ullman, Data Structures and Algorithms, Reading, MA: Addison Wesley; 1983.

[2] Bachmair L et Ganzinger H, Rewrite techniques for transitive relations, Symposium on Logic in Computer Science, p. 384 - 393.

[3] Botella P, Burgués X, Carvallo JP, Franch X, Grau G, Marco J et Quer C, ISO/IEC 9126 in practice: what do we need to know?, First Software Measurement European Forum.

[4] Cisco Systems, inc., High Availability LAN, http://www.cisco.com/web/about/ ciscoitatwork/downloads/ciscoitatwork/pdf/Cisco_IT_LAN_HA_PPT_Print.pdf., 17 avril 2011.

[5] Greenfield J et Short K, Software Factories, Proceeding OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p. 17-27.

[6] H. Attiya J, Distributed Computing: Fundamentals, Simulations, and Advanced Topics, 2nd Edn. Wiley; 2004.

[7] Harvey B, Computer Science Logo Style: Advanced techniques, Cambridge: MIT Press; 1997.

[8] Helms J et Tacha N, Strategy in practice: Taking a hardware abstraction layer from design to deployment, AUTOTESTCON, IEEE , 13 septembre 2010.

[9] Highpoint Technologies, RocketRaid 3560, http://www.highpoint-tech.com/France/rr3560f.htm., 17 avril 2011.

[10] IBM Corporation, HIPO - A Design Aid and Documentation Technique, Manual No. GC20-1851-0, White Plains, N.Y.: IBM Data Processing Division; 1974.

[11] Intel Corporation, Intel Server Boards S5000PSL, http://download.intel.com/support/motherboards/server/s5000psl/sb/s5000psl_tps_rev_1_5.pdf., 30 avril 2011.

[12] Marlov A, המחשב האישי – מהפעלה ועד Logon, http://www.microsoft.com/israel/ windowsxp/expertzone/columns/marlov/04jun21.mspx., 18 avril 2011.

13

Microsoft Corporation, Distributed Transactions (Database Engine), http://msdn.microsoft.com/en-us/library/ms191440.aspx., 18 avril 2011.

[14] Microsoft Corporation, Service Level Agreements, http://www.microsoft.com/ windowsazure/sla/., 15 avril 2011.

[15] Microsoft Corporation, Windows 7 system requirements, http://windows.microsoft.com/en-US/windows7/products/system-requirements., 17 avril 2011.

[16] Misra S et Paul J, Third-Generation versus Fourth-Generation Software Development, IEEE Software, p. 8.

[17] Office québécois de la langue française, Grand dictionnaire terminologique, http://www.granddictionnaire.com., 21 avril 2011.

[18] Oracle Corporation, Oracle Administrator's Guide, http://download.oracle.com/docs/cd/B12037_01/server.101/b10739/ds_txns.htm., 18 avril 2011.

[19] Patterson D et Hennessy J, Computer Organization and Design, The Hardware/Software Interface 4th Ed., Burlington: Morgan Kauffmann Publishers; 2009.

[20] Rickard N, Cost Cutting by Rightsizing Network Reliability, http://my.gartner.com/resources/155900/155940/cost_cutting_by_rightsizing__155940.pdf., 18 avril 2011.

[21] Smith J et Nair R, Virtual Machines Elsevier; 2005.

[22] Solomon C et Papert S, A case study of a young child doing turtle graphics in LOGO, National Computer Conference, p. 1049.

[23] Tsai DR et Sang HA, Constructing a Risk Dependency-based Availability , 2010 IEEE International Carnahan Conference on Security Technology (ICCST), 5-8 octobre 2010.

[24] Wen-Li Wang Y, An Architecture-Based Software Reliability Model, 1999 Pacific Rim International Symposium on Dependable Computing.

[25] Western Digital, Internal Product Overview, http://www.wdc.com/WDProducts/Library/OVR/ENG/PANAMletter/2178-001010.pdf., 17 avril 2011.