LEADER 01966nam 2200625Ia 450 001 9910449664303321 005 20200520144314.0 010 $a1-280-08542-8 010 $a9786610085422 010 $a1-4175-6187-4 035 $a(CKB)1000000000018228 035 $a(OCoLC)70720999 035 $a(CaPaEBR)ebrary10070383 035 $a(SSID)ssj0000087109 035 $a(PQKBManifestationID)11119387 035 $a(PQKBTitleCode)TC0000087109 035 $a(PQKBWorkID)10032130 035 $a(PQKB)10026683 035 $a(MiAaPQ)EBC3050760 035 $a(Au-PeEL)EBL3050760 035 $a(CaPaEBR)ebr10070383 035 $a(CaONFJC)MIL8542 035 $a(OCoLC)910115138 035 $a(EXLCZ)991000000000018228 100 $a20030924d2005 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aGlobal economic prospects 2005$b[electronic resource] $etrade, regionalism and development 210 $aWashington, DC $cWorld Bank$dc2005 215 $a1 online resource (184 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8213-5747-6 606 $aEconomic forecasting$zDeveloping countries$vPeriodicals 606 $aEconomic forecasting$vPeriodicals 606 $aEconomic history$y1971-1990$vPeriodicals 606 $aEconomic history$y1990-$vPeriodicals 606 $aInternational economic relations$vPeriodicals 607 $aDeveloping countries$xEconomic conditions$vPeriodicals 608 $aElectronic books. 615 0$aEconomic forecasting 615 0$aEconomic forecasting 615 0$aEconomic history 615 0$aEconomic history 615 0$aInternational economic relations 676 $a330.9172/4 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910449664303321 996 $aGlobal economic prospects 2005$92014063 997 $aUNINA LEADER 05557nam 22006375 450 001 996466091003316 005 20200630071101.0 010 $a3-540-47462-5 024 7 $a10.1007/11901433 035 $a(CKB)1000000000283844 035 $a(SSID)ssj0000317705 035 $a(PQKBManifestationID)11208035 035 $a(PQKBTitleCode)TC0000317705 035 $a(PQKBWorkID)10294474 035 $a(PQKB)10679533 035 $a(DE-He213)978-3-540-47462-3 035 $a(MiAaPQ)EBC3068678 035 $a(PPN)123139201 035 $a(EXLCZ)991000000000283844 100 $a20100325d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods and Software Engineering$b[electronic resource] $e8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /$fedited by Zhiming Liu, Jifeng He 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 792 p.) 225 1 $aProgramming and Software Engineering ;$v4260 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-47460-9 320 $aIncludes bibliographical references and index. 327 $aKeynote Talks -- Program Verification Through Computer Algebra -- JML?s Rich, Inherited Specifications for Behavioral Subtypes -- Three Perspectives in Formal Engineering -- Specification and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed Interval Calculus to Simulink Diagrams -- Reducing Model Checking of the Few to the One -- Induction-Guided Falsification -- Verifying ? Models of Industrial Systems with Spin -- Stateful Dynamic Partial-Order Reduction -- Internetware and Web-Based Systems -- User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition -- Environment Ontology-Based Capability Specification for Web Service Discovery -- Scenario-Based Component Behavior Derivation -- Verification of Computation Orchestration Via Timed Automata -- Towards the Semantics for Web Service Choreography Description Language -- Type Checking Choreography Description Language -- Concurrent, Communicating, Timing and Probabilistic Systems -- Formalising Progress Properties of Non-blocking Programs -- Towards a Fully Generic Theory of Data -- Verifying Statemate Statecharts Using CSP and FDR -- A Reasoning Method for Timed CSP Based on Constraint Solving -- Mapping RT-LOTOS Specifications into Time Petri Nets -- Reasoning Algebraically About Probabilistic Loops -- Object and Component Orientation -- Formal Verification of the Heap Manager of an Operating System Using Separation Logic -- A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs -- Model Checking Dynamic UML Consistency -- Testing and Model Checking -- Conditions for Avoiding Controllability Problems in Distributed Testing -- Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm -- Checking the Conformance of Java Classes Against Algebraic Specifications -- Incremental Slicing -- Assume-Guarantee Software Verification Based on Game Semantics -- Optimized Execution of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open Extensible Tool Environment for Event-B -- Tool for Translating Simulink Models into Input Language of a Model Checker -- Fault-Tolerance and Security -- Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices -- A Language for Modeling Network Availability -- Multi-process Systems Analysis Using Event B: Application to Group Communication Systems -- Specification and Refinement -- Issues in Implementing a Model Checker for Z -- Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking -- Discovering Likely Method Specifications -- Time Aware Modelling and Analysis of Multiclocked VLSI Systems -- SALT?Structured Assertion Language for Temporal Logic. 410 0$aProgramming and Software Engineering ;$v4260 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.13/1 702 $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHe$b Jifeng$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466091003316 996 $aFormal Methods and Software Engineering$9771999 997 $aUNISA