01328nam 2200337 450 991068821820332120230628233303.0(CKB)5400000000043718(NjHacI)995400000000043718(EXLCZ)99540000000004371820230628d2006 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierSpecification and verification of object-oriented software components /Andreas Roth[Place of publication not identified] :KIT Scientific Publishing,2006.1 online resource (268 pages)1000004542 This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.Component softwareComponent software.005.3Roth Andreas238992NjHacINjHaclBOOK9910688218203321Specification and verification of object-oriented software components3394746UNINA05210oam 22012254 450 991078823230332120230721045657.01-4623-7799-81-4527-0872-X97866128414081-4518-7047-71-282-84140-8(CKB)3170000000055086(EBL)1607969(SSID)ssj0000944154(PQKBManifestationID)11597310(PQKBTitleCode)TC0000944154(PQKBWorkID)10983809(PQKB)10534219(OCoLC)762613919(MiAaPQ)EBC1607969(IMF)WPIEE2008189(EXLCZ)99317000000005508620020129d2008 uf 0engur|n|---|||||txtccrInvestigating Inflation Dynamics in Sudan /Kenji MoriyamaWashington, D.C. :International Monetary Fund,2008.1 online resource (23 p.)IMF Working PapersIMF working paper ;WP/08/189Description based upon print version of record.1-4519-1500-4 Includes bibliographical references.Contents; I. Introduction; II. Background; III. Model; IV. Data Issues and Results; A. Single-Equation Model; B. Structural Vector Auto Regression Model (SVAR); C. Vector Error Correction Model (VECM); V. Policy Implications and Conclusions; Appendixes; I. Data Issues; II. Structural Model Assumptions; Tables; 1. Unit Root Tests; 2. Estimated Regressions; 3. Elasticities of Inflation to Money Supply and Nominal Exchange Rate; 4. Schwartz Information Criterion (SIC) and Akaike Information Criterion (AIC); 5. Johansen Co-Integration Tests; ReferencesThis paper investigates inflation dynamics in Sudan using three different approaches: the single equation model, the structural vector-auto regression model and a vector error correction model. This is the first study in a low-income and a post-conflict country that uses these three separate techniques to understand inflation dynamics. The use of these approaches is particularly useful to check the robustness of the estimated parameters in the model for a country with limited data coverage and possible structural breaks. The estimated results suggest that money supply growth and nominal exchange rate changes affect inflation with 18-24 months time lag.IMF Working Papers; Working Paper ;No. 2008/189Inflation (Finance)SudanEconometric modelsMonetary policySudanEconometric modelsEconometricsimfForeign ExchangeimfInflationimfMoney and Monetary PolicyimfMonetary Policy, Central Banking, and the Supply of Money and Credit: GeneralimfPrice LevelimfDeflationimfMultiple or Simultaneous Equation ModelsimfMultiple Variables: GeneralimfTime-Series ModelsimfDynamic Quantile RegressionsimfDynamic Treatment Effect ModelsimfDiffusion ProcessesimfState Space ModelsimfMonetary economicsimfMacroeconomicsimfCurrencyimfForeign exchangeimfEconometrics & economic statisticsimfMonetary baseimfExchange ratesimfVector error correction modelsimfStructural vector autoregressionimfMoney supplyimfPricesimfEconometric modelsimfSudanEconomic conditionsEconometric modelsSudanimfInflation (Finance)Econometric models.Monetary policyEconometric models.EconometricsForeign ExchangeInflationMoney and Monetary PolicyMonetary Policy, Central Banking, and the Supply of Money and Credit: GeneralPrice LevelDeflationMultiple or Simultaneous Equation ModelsMultiple Variables: GeneralTime-Series ModelsDynamic Quantile RegressionsDynamic Treatment Effect ModelsDiffusion ProcessesState Space ModelsMonetary economicsMacroeconomicsCurrencyForeign exchangeEconometrics & economic statisticsMonetary baseExchange ratesVector error correction modelsStructural vector autoregressionMoney supplyPricesEconometric models332.41Moriyama Kenji1472668DcWaIMFBOOK9910788232303321Investigating Inflation Dynamics in Sudan3704152UNINA