Economic, industry and corporate trends A report from the Economist Intelligence Unit sponsored by Cisco Systems Foresight 2020 Economic, industry and corporate trends Contents Preface Executive summary Chapter 1: The world economy Chapter 2: Industries Automotive Consumer goods and retailing Energy Financial services Healthcare and pharmaceuticals Manufacturing Public sector Telecoms Chapter 3: The company Appendix I: Survey results 2 3 6 22 24 30 36 43 50 57 62 67 74 86 Appendix II: Methodology for

��� � �������: (�������� ��� ���������� (>2) - bc.fdo.msu.ru/ )

... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- � int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } ��, �bbb� -- , : � � , , � � , , � � , � � . ... 1977 � LTL, � , 1981 � (CTL), � , , 1981 , , 1982 � model checking ( ), � , 1986 � model checking ( ), � , 1989 � SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

508. ������� ������ �������������

509. ���: ��������