06195nam 22008295 450 99646589670331620220423010231.03-642-00867-410.1007/978-3-642-00867-2(CKB)1000000000714665(SSID)ssj0000318923(PQKBManifestationID)11243802(PQKBTitleCode)TC0000318923(PQKBWorkID)10336584(PQKB)11694694(DE-He213)978-3-642-00867-2(MiAaPQ)EBC3063986(PPN)132875020(EXLCZ)99100000000071466520100301d2009 u| 0engurnn#008mamaatxtccrMethods, Models and Tools for Fault Tolerance[electronic resource] /edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (VIII, 343 p.)Programming and Software Engineering ;5454Bibliographic Level Mode of Issuance: Monograph3-642-00866-6 Includes bibliographical references and index.Formal Reasoning about Fault Tolerant Systems and Protocols -- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols -- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic -- Temporal Verification of Fault-Tolerant Protocols -- Design and Verification of Fault-Tolerant Components -- Dynamically Detecting Faults via Integrity Constraints -- Fault Tolerance: Modelling in B -- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction -- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems -- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B -- Model-Based Testing Using Scenarios and Event-B Refinements -- Fault Tolerance in System Development Process -- Recording Process Documentation in the Presence of Failures -- DREP: A Requirements Engineering Process for Dependable Reactive Systems -- Documenting the Progress of the System Development -- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process -- Fault Tolerant Applications -- Step-Wise Development of Resilient Ambient Campus Scenarios -- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods together with fault-tolerant design techniques help to achieve this. Therefore, there is a clear need for methods that enable rigorous modeling and the development of complex fault-tolerant systems. This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. The authors of the best workshop papers were asked to enhance and expand their work, and a number of well-established researchers working in the area contributed invited chapters in addition. From the 15 refereed and revised papers presented, 12 are versions reworked from the workshop and 3 papers are invited. The articles are organized in four topical sections on: formal reasoning about fault-tolerant systems and protocols; fault tolerance: modelling in B; fault tolerance in system development process; and fault-tolerant applications.Programming and Software Engineering ;5454Computer communication systemsSoftware engineeringProgramming languages (Electronic computers)Computer programmingOperating systems (Computers)Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Aufsatzsammlung.swdComputer communication systems.Software engineering.Programming languages (Electronic computers).Computer programming.Operating systems (Computers).Computer Communication Networks.Software Engineering/Programming and Operating Systems.Programming Languages, Compilers, Interpreters.Programming Techniques.Software Engineering.Operating Systems.004.2DAT 286fstubSS 4800rvkButler Michael1967-edthttp://id.loc.gov/vocabulary/relators/edtJones Cliff Bedthttp://id.loc.gov/vocabulary/relators/edtRomanovsky Alexanderedthttp://id.loc.gov/vocabulary/relators/edtTroubitsyna Elenaedthttp://id.loc.gov/vocabulary/relators/edtWorkshop on Methods, Models and Tools for Fault Tolerance(2007 :Oxford, England)International Conference on Integrated Formal Methods(6th :2007 :Oxford, England)BOOK996465896703316Methods, Models and Tools for Fault Tolerance774181UNISA03484nam 2200529 450 991081267280332120230807221112.01-4529-4512-8(CKB)3710000000450903(EBL)2129517(MiAaPQ)EBC2129517(OCoLC)914712387(MdBmJHUP)muse47817(Au-PeEL)EBL2129517(CaPaEBR)ebr11081634(CaONFJC)MIL816161(EXLCZ)99371000000045090320141121h20152015 uy| 0engur|n|---|||||rdacontentrdamediardacarrierCivil resistance comparative perspectives on nonviolent struggle /Kurt Schock, editorMinneapolis :University of Minnesota Press,[2015]©20151 online resource (359 p.)Social movements, protest, and contention ;volume 43Description based upon print version of record.0-8166-9492-3 Includes bibliographical references and index.Introduction: civil resistance in comparative perspective / Kurt Schock -- Dynamics of civil resistance -- "We do not work for peace" : reframing nonviolence in post-Oslo Palestine / Julie M. Norman -- Nonviolent action as the interplay between political context and Ôinsider's knowledge' : otpor in Serbia / Janjira Sombatpoonsiri -- Youth mobilization before and during the orange revolution : learning from losses / Olena Nikolayenko -- How regimes counter civil resistance movements : the cases of Panama and Kenya / Sharon Erickson Nepstad -- From political jiu-jitsu to the backfire dynamic : how repression promotes mobilization / Brian Martin -- Sources, functions, and dilemmas of external assistance to civil resistance movements / Veronique Dudouet -- Frontiers of civil resistance -- Defending freedom with civil resistance in the early Roman republic / Dustin Ells Howes -- Making sense of civil resistance: from theories and techniques to social movement phronesis / Sean Chabot -- Four dimensions of nonviolent action : a sociological perspective / Stellan Vinthagen -- Overcoming illusory division : between nonviolence as a pragmatic strategy and a principled way of life / Chaiwat Satha-Anand -- Civil resistance in the twenty-first century / Kurt Schock -- Acknowledgments -- Contributors -- Index.In the past quarter century the world has witnessed dramatic social and political transformations, due in part to an upsurge in civil resistance. There have been significant uprisings around the globe, including the toppling of communist regimes in Eastern Europe, the Color Revolutions, the Arab Spring, protests against war and economic inequality, countless struggles against corruption, and demands for more equitable distribution of land. These actions have attracted substantial scholarly attention, reflected in the growth of literature on social movements and revolution as well as literatureSocial movements, protest, and contention ;v. 43.Passive resistanceNonviolencePassive resistance.Nonviolence.303.6/1Schock Kurt1963-MiAaPQMiAaPQMiAaPQBOOK9910812672803321Civil resistance4119330UNINA