LEADER 00949nam a22002533i 4500 001 991001046729707536 005 20040209112110.0 008 040318s1986 it a||||||||||||||||ita 020 $a8813156782 035 $ab12709943-39ule_inst 035 $aARCHE-069420$9ExL 040 $aDip.to Filosofia$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a004 100 1 $aVaragnolo, Lucio$0482044 245 10$aInformatica nella scuola di base /$cLucio Varagnolo 260 $aPadova :$bCEDAM,$c1986 300 $aIX, 368 p. :$bill. ;$c24 cm 650 4$aInformatica$xScuola elementare$xTesti per l'insegnamento 907 $a.b12709943$b02-04-14$c31-03-04 912 $a991001046729707536 945 $aLE005 DIR I A 302$g1$i2005000152146$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13233099$z31-03-04 996 $aInformatica nella scuola di base$9269647 997 $aUNISALENTO 998 $ale005$b31-03-04$cm$da $e-$fita$git $h0$i1 LEADER 05417nam 2200661 450 001 9910826552803321 005 20200903223051.0 010 $a1-119-05063-4 010 $a1-119-05064-2 010 $a1-119-05057-X 035 $a(CKB)3710000000261359 035 $a(EBL)1816329 035 $a(SSID)ssj0001414552 035 $a(PQKBManifestationID)11734163 035 $a(PQKBTitleCode)TC0001414552 035 $a(PQKBWorkID)11432027 035 $a(PQKB)10493713 035 $a(MiAaPQ)EBC1816329 035 $a(Au-PeEL)EBL1816329 035 $a(CaPaEBR)ebr10954089 035 $a(CaONFJC)MIL652741 035 $a(OCoLC)893737458 035 $a(PPN)191455571 035 $a(EXLCZ)993710000000261359 100 $a20141020h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aRapid prototyping software for avionics systems $emodel-oriented approaches for complex systems certification /$fNicolas Larrieu, Antoine Varet 210 1$aLondon, England ;$aHoboken, New Jersey :$cISTE :$cWiley,$d2014. 210 4$d©2014 215 $a1 online resource (154 p.) 225 1 $aFocus Series,$x2051-249X 300 $aDescription based upon print version of record. 311 $a1-322-21461-1 311 $a1-84821-764-1 320 $aIncludes bibliographical references and index. 327 $aCover; Title Page; Copyright; Contents; Introduction; I.1. The use of model-based approaches; I.2. Structure of this book; Chapter1: Developing Model-Based Design Methods in Software Engineering; 1.1. The history of model-based design; 1.2. The Unified Modeling Language, a support for model-based methods; 1.2.1. The philosophy and history of the Unified Modeling Language; 1.2.2. The Unified Modeling Language normalized diagrams; 1.2.3. The advantages of model-based design; 1.3. Formal model-based validation techniques; 1.3.1. Model Checking; 1.3.2. Formal theorem proving 327 $a1.3.3. Code assertion1.3.4. Applying for certification for complex systems; Chapter2: Methodology for Rapid Prototyping Avionic Software; 2.1. The specificities of the avionic domain; 2.1.1. System virtualization: integrated modular avionics; 2.1.1.1. ARINC 653 APEX interface: application executive; 2.1.1.2. AFDX bus: Avionics Full-Duplex switched ethernet; 2.1.2. MILS: divide and conquer, to rule over a secure world; 2.1.3. Processing security and safety aspects simultaneously; 2.2. The certification of an avionic system; 2.2.1. The qualification of tools for certification 327 $a2.2.2. Model-based development approaches in aeronautics2.2.2.1. DO-178C: Software Considerations in Airborne Systems and Equipment Certification; 2.2.2.2. DO-331: Model-based development and verification; 2.2.3. A sophisticated methodology for the development of complex onboard systems; 2.3. Methodology of rapid development in seven stages; 2.3.1. Presentation of the different stages; 2.3.2. Advantages of the methodology; 2.3.3. Example of the benefits of using our model-based methodology; 2.3.4. Instantiation of the methodology with different tools 327 $a2.3.4.1. Summary of compatible tool chains2.3.4.2. Organization of the architecture of the software solution; 2.3.4.3. Design: modeling with Simulink and Stateflow; 2.3.4.4. Transforming into the language C with Gene-Auto; 2.3.4.5. Execution with a strengthened onboard operating system; 2.3.4.5.1. Glueing and compiling code; 2.3.4.5.2. Integration with Sysgo PikeOS; 2.4. Chapter summary; Chapter3: Implementing the Prototyping Methodology to Develop a Next Generation Avionic Router; 3.1. Introduction to next generation aeronautical communication domains 327 $a3.1.1. Avionic and aeronautical network domains3.1.2. Communication standards and protocols for next generation aeronautics; 3.1.3. The benefits of a next generation avionic router: secure next generation router; 3.1.3.1. Interconnecting avionic domains with a next generation router; 3.1.3.2. Mutualization of ground-board aeronautical links by a next generation router; 3.2. Implementing the SNG router; 3.2.1. Architecture of the SNG router software; 3.2.2. Routing functionalities (IPv4); 3.2.2.1. The principles of routing for the SNG; 3.2.2.2. Implementing routing functionalities 327 $a3.2.2.2.1. Description of the structure of the routing table 330 $a The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use 410 0$aFocus series (London, England) 606 $aRapid prototyping 615 0$aRapid prototyping. 676 $a620.0042 700 $aLarrieu$b Nicolas$01697036 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910826552803321 996 $aRapid prototyping software for avionics systems$94100889 997 $aUNINA LEADER 08112nam 2200745Ia 450 001 9910955241103321 005 20200520144314.0 010 $a9786611224004 010 $a9781281224002 010 $a1281224006 010 $a9780226733203 010 $a0226733203 024 7 $a10.7208/9780226733203 035 $a(CKB)1000000000406116 035 $a(EBL)408231 035 $a(OCoLC)437247582 035 $a(SSID)ssj0000137717 035 $a(PQKBManifestationID)11130062 035 $a(PQKBTitleCode)TC0000137717 035 $a(PQKBWorkID)10088619 035 $a(PQKB)10710488 035 $a(MiAaPQ)EBC408231 035 $a(DE-B1597)535533 035 $a(OCoLC)781253329 035 $a(DE-B1597)9780226733203 035 $a(Au-PeEL)EBL408231 035 $a(CaPaEBR)ebr10216893 035 $a(CaONFJC)MIL122400 035 $a(Perlego)1975070 035 $a(EXLCZ)991000000000406116 100 $a19880802d1990 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aDeveloping country debt and economic performance$hVolume 2$iCountry studies -- Argentina, Bolivia, Brazil, Mexico /$fedited by Jeffrey D. Sachs 205 $a1st ed. 210 $aChicago $cUniversity of Chicago Press$d1990 215 $a1 online resource (x, 565 pages) $cillustrations 225 1 $aA National Bureau of Economic Research project report 300 $aPapers presented at a conference held in Washington, D.C. on Sept. 21-23, 1987. 300 $aVol. 3: edited by Jeffrey D. Sachs and Susan M. Collins. 311 0 $a9780226733333 311 0 $a0226733335 320 $aIncludes bibliographies and indexes. 327 $tFront matter --$tContents --$tPreface --$tIntroduction /$rSachs, Jeffrey D. --$tBook I. Debt and Macroeconomic Instability in Argentina --$t1. An Overview of Debt and Macroeconomic Problems /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$t2. Some Debt History /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$t3. From Martinez de Hoz to Alfonsín /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$t4. The Process of High Inflation /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$t5. The Austral Plan115 /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$t6. Avenues and Obstacles to Growth /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$tAppendix A. Price Dynamics Under a Tablita Regime /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$tAppendix B. The Budget and Inflation /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$tAppendix C. Statistical Data /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$tNotes /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$tReferences /$rDornbusch, Rudiger / Carlos de Pablo, Juan --$tBook II. Bolivia's Economic Crisis --$t1. An Overview of Macroeconomic Performance /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$t2. Political Economy and Macroeconomic Policy making, 1952-87 /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$t3. State Capitalism and the Operation of the Public Sector /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$t4. Trade Policies, 1970- 85 /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$t5. Aspects of Foreign Debt Accumulation, 1952-85 /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$t6. The Emergence of Hyperinflation, 1982-85 /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$t7. Ending the Hyperinflation, 1985-88 /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$t8. Bolivian Debt Management, 1985-88 /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$t9. Beyond Stabilization to Economic Growth and Development /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$tNotes /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$tReferences /$rAntonio Morales, Juan / Sachs, Jeffrey D. --$tBook III. The Macroeconomics of the Brazilian External Debt --$t1. Introduction /$rCardoso, Eliana A. / Fishlow, Albert --$t2. Adjustment to the First Oil Shock: From Import Substitution to Macroeconomic Restraint /$rCardoso, Eliana A. / Fishlow, Albert --$t3. Adjustment in the 1980's: From International Monetarism to the Plano Cruzado /$rCardoso, Eliana A. / Fishlow, Albert --$t4. Stopping Inflation /$rCardoso, Eliana A. / Fishlow, Albert --$t5. External Debt, Budget Deficits, and Inflation /$rCardoso, Eliana A. / Fishlow, Albert --$t6. Trade Policies and Consequences /$rCardoso, Eliana A. / Fishlow, Albert --$t7. Epilogue: Debt and Development /$rCardoso, Eliana A. / Fishlow, Albert --$tAppendix: Brazilian Statistics /$rCardoso, Eliana A. / Fishlow, Albert --$tNotes /$rCardoso, Eliana A. / Fishlow, Albert --$tReferences /$rCardoso, Eliana A. / Fishlow, Albert --$tBook IV. Economic Policy and Foreign Debt in Mexico --$t1. Introduction /$rBuffie, Edward F. --$t2. The Record of Stabilizing Development /$rBuffie, Edward F. --$t3. Shared Development and the Echeverría Administration /$rBuffie, Edward F. --$t4. The Lopez Portillo Administration /$rBuffie, Edward F. --$t5. The De La Madrid Administration and the Present Crisis /$rBuffie, Edward F. --$t6. Import Compression, Real Wages, and Underemployment /$rBuffie, Edward F. --$t7. Fiscal and Monetary Policy, Financial Intermediation, Inflation, and Growth /$rBuffie, Edward F. --$t8. Debt Management and Negotiations /$rBuffie, Edward F. --$t9. Future Prospects: Is There A Way Out? /$rBuffie, Edward F. --$tNotes /$rBuffie, Edward F. --$tReferences /$rBuffie, Edward F. --$tBiographies --$tContributors --$tName Index --$tSubject Index 330 $aFor dozens of developing countries, the financial upheavals of the 1980's have set back economic development by a decade or more. Poverty in those countries has intensified as they struggle under the burden of an enormous external debt. In 1988, more than six years after the onset of the crisis, almost all the debtor countries were still unable to borrow in the international capital markets on normal terms. Moreover, the world financial system has been disrupted by the prospect of widespread defaults on those debts. Because of the urgency of the present crisis, and because similar crises have recurred intermittently for at least 175 years, it is important to understand the fundamental features of the international macroeconomy and global financial markets that have contributed to this repeated instability. This project on developing country debt, undertaken by the National Bureau of Economic Research, provides a detailed analysis of the ongoing developing country debt crisis. The project focuses on the middle-income developing countries, particularly those in Latin America and East Asia, although many lessons of the study should apply as well to other, poorer debtor countries. The project analyzes the crisis from two perspectives, that of the international financial system as a whole (volume 1) and that of individual debtor countries (volumes 2 and 3). This second volume contains lengthy and detailed case studies of four Latin American nations-Argentina, Bolivia, Brazil, and Mexico-providing a wealth of comparative data and new statistics on the general economic development of each nation. The authors explore the various factors that contributed to the debt crisis in each country and analyze how the crisis was managed once it had taken hold. Trenchant economic analyses are enhanced by assessments of the stark political realities behind the policy choices facing each nation. 410 0$aNational Bureau of Economic Research project report. 606 $aDebts, External$zDeveloping countries$vCongresses 606 $aInternational finance$vCongresses 607 $aDeveloping countries$xEconomic conditions$vCongresses 615 0$aDebts, External 615 0$aInternational finance 676 $a336.3/435/091724 676 $a336.3435091724 701 $aCollins$b Susan Margaret$0119150 701 $aSachs$b Jeffrey$0120952 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910955241103321 996 $aDeveloping country debt and economic performance$94352134 997 $aUNINA