LEADER 04859nam 22008054a 450 001 9910783576703321 005 20230617000217.0 010 $a1-84541-314-8 010 $a1-280-62785-9 010 $a9786610627851 010 $a1-84541-005-X 024 7 $a10.21832/9781845410056 035 $a(CKB)1000000000242614 035 $a(EBL)235035 035 $a(OCoLC)70747499 035 $a(SSID)ssj0000260502 035 $a(PQKBManifestationID)11207396 035 $a(PQKBTitleCode)TC0000260502 035 $a(PQKBWorkID)10223968 035 $a(PQKB)10377824 035 $a(MiAaPQ)EBC235035 035 $a(DE-B1597)541766 035 $a(OCoLC)437147596 035 $a(DE-B1597)9781845410056 035 $a(Au-PeEL)EBL235035 035 $a(CaPaEBR)ebr10110151 035 $a(CaONFJC)MIL62785 035 $a(EXLCZ)991000000000242614 100 $a20040720d2005 uy 0 101 0 $aeng 135 $aurnn#---|u||u 181 $ctxt 182 $cc 183 $acr 200 00$aTourism, recreation, and climate change$b[electronic resource] /$fedited by C. Michael Hall and James Higham 210 $aClevedon ;$aBuffalo $cChannel View Publications$dc2005 215 $a1 online resource (321 p.) 225 1 $aAspects of tourism ;$v22 300 $aDescription based upon print version of record. 311 0 $a1-84541-003-3 311 0 $a1-84541-004-1 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tContents --$tContributors --$tPreface --$tChapter 1. Introduction: Tourism, Recreation and Climate Change --$tChapter 2. The Climate?Tourism Relationship and its Relevance to Climate Change Impact Assessment --$tChapter 3. The Evolution of the Climate Change Issue in the Tourism Sector --$tChapter 4. Climate and Policy Changes: Their Implications for International Tourism Flows --$tChapter 5. The Mediterranean: How Can the World?s Most Popular and Successful Tourist Destination Adapt to a Changing Climate? --$tChapter 6. Greenhouse Gas Emissions from Tourism under the Light of Equity Issues --$tChapter 7. Climate Change and Tourism and Recreation in North America: Exploring Regional Risks and Opportunities --$tChapter 8. Nature Tourism and Climatic Change in Southern Africa --$tChapter 9. Changing Snow Cover and Winter Tourism and Recreation in the Scottish Highlands --$tChapter 10. Climate Change and Tourism in the Swiss Alps --$tChapter 11. Effects of Climate Change on Tourism Demand and Benefits in Alpine Areas --$tChapter 12. Implications of Climate Change on Tourism in Oceania --$tChapter 13. Tourism, Fossil Fuel Consumption and the Impact on the Global Climate --$tChapter 14. Tourism and Climate Change Adaptation: The Norwegian Case --$tChapter 15. Tourism and the Ozone Hole: Varying Perceptions --$tChapter 16. ?Everyone Talks About the Weather . . .? --$tChapter 17. Climate Change, Leisure-related Tourism and Global Transport --$tChapter 18. Sustainable Mobility and Sustainable Tourism --$tChapter 19. Tourism as Victim, Problem or Solution: Story Lines of a Complex Industry?Environment Relation --$tChapter 20.Tourism?s Contribution to Global Environmental Change: Space, Energy, Disease, Water --$tChapter 21. Making Tourism Sustainable: The Real Challenge of Climate Change? --$tIndex 330 $aClimate change is one of the major issues facing us today and has been described as a threat greater than terrorism. As the world's largest industry tourism both contributes to and will be dramatically affected by climate change. This is the first comprehensive book-level examination of the relationship between tourism and climate change, of interest not only to students of tourism but to policy makers and the industry who will have to respond to the challenges posed. 410 0$aAspects of tourism ;$v22. 606 $aClimatic changes$xEnvironmental aspects 606 $aOutdoor recreation$xEnvironmental aspects 606 $aTourism$xEnvironmental aspects 610 $aclimate change impact assessment. 610 $aclimate change. 610 $aenvironmental change. 610 $aglobal environmental change. 610 $aglobal warming. 610 $agreenhouse gas emissions. 610 $asustainable mobility. 610 $asustainable tourism. 610 $atourism management. 615 0$aClimatic changes$xEnvironmental aspects. 615 0$aOutdoor recreation$xEnvironmental aspects. 615 0$aTourism$xEnvironmental aspects. 676 $a363.738/741 701 $aHall$b Colin Michael$f1961-$0151476 701 $aHigham$b James$f1968-$0481290 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910783576703321 996 $aTourism, recreation, and climate change$93769636 997 $aUNINA LEADER 05781nam 2200805 a 450 001 9910821368103321 005 20240313144213.0 010 $a9781118602867 010 $a1118602862 010 $a9781118602959 010 $a1118602951 010 $a9781118602843 010 $a1118602846 010 $a9781299187788 010 $a1299187781 035 $a(CKB)2550000001005909 035 $a(EBL)1124674 035 $a(OCoLC)828298908 035 $a(SSID)ssj0000832009 035 $a(PQKBManifestationID)11521864 035 $a(PQKBTitleCode)TC0000832009 035 $a(PQKBWorkID)10882198 035 $a(PQKB)11028278 035 $a(OCoLC)828198486 035 $a(MiAaPQ)EBC1124674 035 $a(Au-PeEL)EBL1124674 035 $a(CaPaEBR)ebr10660561 035 $a(CaONFJC)MIL450028 035 $a(OCoLC)769469644 035 $a(FINmELB)ELB178712 035 $a(Perlego)1013435 035 $a(EXLCZ)992550000001005909 100 $a20111021d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aStatic analysis of software $ethe abstract interpretation /$fedited by Jean-Louis Boulanger 205 $a1st ed. 210 $aHoboken, N.J. $cWiley$d2012 215 $a1 online resource (347 p.) 225 1 $aISTE 300 $aDescription based upon print version of record. 311 08$a9781848213203 311 08$a1848213204 320 $aIncludes bibliographical references and index. 327 $aCover; Title Page; Copyright Page; Table of Contents; Introduction; Chapter 1. Formal Techniques for Verification and Validation; 1.1. Introduction; 1.2. Realization of a software application; 1.3. Characteristics of a software application; 1.4. Realization cycle; 1.4.1. Cycle in V and other realization cycles; 1.4.2. Quality control (the impact of ISO standard 9001); 1.4.3. Verification and validation; 1.5. Techniques, methods and practices; 1.5.1. Static verification; 1.5.2. Dynamic verification; 1.5.3. Validation; 1.6. New issues with verification and validation; 1.7. Conclusion 327 $a1.8. BibliographyChapter 2. Airbus: Formal Verification in Avionics; 2.1. Industrial context; 2.1.1. Avionic systems; 2.1.2. A few examples; 2.1.3. Regulatory framework; 2.1.4. Avionic functions; 2.1.5. Development of avionics levels; 2.2. Two methods for formal verification; 2.2.1. General principle of program proof; 2.2.2. Static analysis by abstract interpretation; 2.2.3. Program proof by calculation of the weakest precondition; 2.3. Four formal verification tools; 2.3.1. Caveat; 2.3.2. Proof of the absence of run-time errors: Astre?e; 2.3.3. Stability and numerical precision: Fluctuat 327 $a2.3.4. Calculation of the worst case execution time: aiT (AbsInt GmbH)2.4. Examples of industrial use; 2.4.1. Unitary proof (verification of low level requirements); 2.4.2. The calculation of worst case execution time; 2.4.3. Proof of the absence of run-time errors; 2.5. Bibliography; Chapter 3. Polyspace; 3.1. Overview; 3.2. Introduction to software quality and verification procedures; 3.3. Static analysis; 3.4. Dynamic tests; 3.5. Abstract interpretation; 3.6. Code verification; 3.7. Robustness verification or contextual verification; 3.7.1. Robustness verifications 327 $a3.7.2. Contextual verification3.8. Examples of PolyspaceŽ results; 3.8.1. Example of safe code; 3.8.2. Example: dereferencing of a pointer outside its bounds; 3.8.3. Example: inter-procedural calls; 3.9. Carrying out a code verification with Polyspace; 3.10. Use of PolyspaceŽ can improve the quality of embedded software; 3.10.1. Begin by establishing models and objectives for software quality; 3.10.2. Example of a software quality model with objectives; 3.10.3. Use of a subset of languages to satisfy coding rules; 3.10.4. Use of PolyspaceŽ to reach software quality objectives 327 $a3.11. Carrying out certification with PolyspaceŽ3.12. The creation of critical onboard software; 3.13. Concrete uses of PolyspaceŽ; 3.13.1. Automobile: Cummins Engines improves the reliability of its motor's controllers; 3.13.2. Aerospace: EADS guarantees the reliability of satellite launches; 3.13.3. Medical devices: a code analysis leads to a recall of the device; 3.13.4. Other examples of the use of PolyspaceŽ; 3.14. Conclusion; 3.15. Bibliography; Chapter 4. Software Robustness with Regards to Dysfunctional Values from Static Analysis; 4.1. Introduction; 4.2. Normative context 327 $a4.3. Elaboration of the proof of the robustness method 330 $aThe existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ""abstract interpretation"" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people curr 410 0$aISTE 606 $aComputer software$xTesting 606 $aDebugging in computer science 606 $aComputer software$xQuality control 615 0$aComputer software$xTesting. 615 0$aDebugging in computer science. 615 0$aComputer software$xQuality control. 676 $a005.1/4 701 $aBoulanger$b Jean-Louis$0847395 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910821368103321 996 $aStatic analysis of software$93983000 997 $aUNINA