07789nam 22007935 450 99646582540331620200703142953.010.1007/b27882(CKB)1000000000213133(SSID)ssj0000317674(PQKBManifestationID)11258691(PQKBTitleCode)TC0000317674(PQKBWorkID)10293671(PQKB)11519677(DE-He213)978-3-540-31714-2(MiAaPQ)EBC3067665(PPN)123096278(EXLCZ)99100000000021313320100718d2005 u| 0engurnn|008mamaatxtccrFM 2005: Formal Methods[electronic resource] International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /edited by John Fitzgerald, Ian J. Hayes1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XIV, 558 p.) Programming and Software Engineering ;3582"13th International Symposium of Formal Methods Europe"--Pref.3-540-31714-7 3-540-27882-6 Includes bibliographical references and index.Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Creation Guards -- Symbolic Animation of JML Specifications -- Resource Analysis and Verification -- Certified Memory Usage Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs -- Formally Defining and Verifying Master/Slave Speculative Parallelization -- Timing and Testing -- Systematic Implementation of Real-Time Models -- Timing Tolerances in Safety-Critical Software -- Timed Testing with TorX -- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems -- CSP, B and Circus -- Adding Conflict and Confusion to CSP -- Combining CSP and B for Specification and Property Verification -- Operational Semantics for Model Checking Circus -- Control Law Diagrams in Circus -- Security -- Verification of a Signature Architecture with HOL-Z -- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification of Security Properties of Smart Card Embedded Source Code -- Networks and Processes -- A Formal Model of Addressing for Interoperating Networks -- An Approach to Unfolding Asynchronous Communication Protocols -- Semantics of BPEL4WS-Like Fault and Compensation Handling -- Abstraction, Retrenchment and Rewriting -- On Some Galois Connection Based Abstractions for the Mu-Calculus -- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern -- Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion -- Scenarios and Modeling Languages -- Synthesis of Distributed Processes from Scenario-Based Specifications -- Verifying Scenario-Based Aspect Specifications -- An MDA Approach Towards Integrating Formal and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes, Data and Time -- Automatic Symmetry Detection for Model Checking Using Computational Group Theory -- On Partitioning and Symbolic Model Checking -- Dynamic Component Substitutability Analysis -- Industry Day: Abstracts of Invited Talks -- Floating-Point Verification -- Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications -- Model-Based Testing in Practice -- Testing Concurrent Object-Oriented Systems with Spec Explorer -- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software -- The Informal Nature of Systems Engineering.This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume. We would like to thank all the Program Committee members and the referees for their excellent and e?cient work. Apart from the selected contributions, the Committee invited three keynote lectures from Mathai Joseph, Marie-Claude Gaudel and Chris Johnson. You will ?nd the abstracts/papers for their keynote lectures in this volume as well. AninnovationfortheFM2005programwasapaneldiscussiononthehistory of formal methods, with Jean-Raymond Abrial, Dines Bjørner, Jim Horning and Cli? Jones as panelists. Unfortunately, it was not possible to re?ect this event in the current volume, but you will ?nd the material documenting it elsewhere (see the conference Web page).Programming and Software Engineering ;3582Software engineeringComputer logicProgramming languages (Electronic computers)Computer programmingMathematical logicManagement information systemsComputer scienceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software engineering.Computer logic.Programming languages (Electronic computers).Computer programming.Mathematical logic.Management information systems.Computer science.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Programming Techniques.Mathematical Logic and Formal Languages.Management of Computing and Information Systems.004.13/1Fitzgerald Johnedthttp://id.loc.gov/vocabulary/relators/edtHayes Ian Jedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465825403316FM 2005: Formal Methods772263UNISA04125nam 22006732 450 991081971160332120160201060149.01-139-56477-31-316-09009-41-283-57520-51-139-19872-61-139-55123-X97866138876581-139-55619-31-139-55249-X1-139-54998-71-139-55494-8(CKB)2670000000234784(EBL)989119(OCoLC)811408592(SSID)ssj0000704756(PQKBManifestationID)11410707(PQKBTitleCode)TC0000704756(PQKBWorkID)10719681(PQKB)11468415(UkCbUP)CR9781139198721(MiAaPQ)EBC989119(Au-PeEL)EBL989119(CaPaEBR)ebr10591073(CaONFJC)MIL388765(EXLCZ)99267000000023478420141103d2012|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierDemocracy prevention the politics of the U.S.-Egyptian alliance /Jason Brownlee[electronic resource]Cambridge :Cambridge University Press,2012.1 online resource (xv, 279 pages) digital, PDF file(s)Title from publisher's bibliographic system (viewed on 01 Feb 2016).1-107-67786-6 1-107-02571-0 Includes bibliographical references and index.Cover; Democracy Prevention; Title; Copyright; Dedication; Contents; Preface and Acknowledgments; Introduction; Authoritarianism under Liberal Hegemony; America and the Egyptian Regime; Analytic Framework; Foreign Aid and Regime Survival; Structure of the Book; 1 Peace before Freedom; Limited War; Liberalization; Diplomacy and Dissent; Bilateral Peace; Autumn of Fury; Conclusion; 2 Mubaraks War on Terrorism; State of Emergency; Agreeing to Disagree; Domestic Challengers; Strategic Rents; The New Enemy; Retaliation; Conclusion; 3 The Succession Problem; The War on Terrorism; Pushing MubarakFrom Strain to EstrangementAuthoritarianism on the March; Conclusion; 4 Gaza Patrol; Elections and Double Standards; Annus Horribilis; The Scion and the Spy; Freedom in Reverse; The Gaza Takeover; Return to Diplomacy; Conclusion; 5 Groundswell; Egypts Malcontents; War on Gaza; A New Beginning; The Alternative; The Uprising; Conclusion; Conclusion; Post-Mubarak Authoritarianism; Foreign Relations; Egypt amid the Arab Uprisings; Implications; Close; Notes; Sources; IndexWhen a popular revolt forced long-ruling Egyptian President Hosni Mubarak to resign on February 11, 2011, US President Barack Obama hailed the victory of peaceful demonstrators in the heart of the Arab World. But Washington was late to endorse democracy - for decades the United States favored Egypt's rulers over its people. Since 1979, the United States had provided the Egyptian regime with more than 60 billion in aid and immeasurable political support to secure its main interests in the region: Israeli security and strong relations with Persian Gulf oil producers. During the Egyptian uprising, the White House did not promote popular sovereignty but instead backed an 'orderly transition' to one of Mubarak's cronies. Even after protesters derailed that plan, the anti-democratic US-Egyptian alliance continued. Using untapped primary materials, this book helps explain why authoritarianism has persisted in Egypt with American support, even as policy makers claim to encourage democratic change.United StatesForeign relationsEgyptEgyptForeign relationsUnited StatesEgyptForeign relations1952-327.73062POL040020bisacshBrownlee Jason1974-1110266UkCbUPUkCbUPBOOK9910819711603321Democracy prevention3940342UNINA