06620nam 22007575 450 99646557730331620200703035703.03-540-49749-810.1007/3-540-60973-3(CKB)1000000000234423(SSID)ssj0000323191(PQKBManifestationID)11223084(PQKBTitleCode)TC0000323191(PQKBWorkID)10296448(PQKB)10357355(DE-He213)978-3-540-49749-3(PPN)155163825(EXLCZ)99100000000023442320121227d1996 u| 0engurnn|008mamaatxtccrFME '96: Industrial Benefit and Advances in Formal Methods[electronic resource] Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. /edited by Marie-Claude Gaudel, James Woodcock1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (XIII, 711 p.) Lecture Notes in Computer Science,0302-9743 ;1051Bibliographic Level Mode of Issuance: Monograph3-540-60973-3 How did software get so reliable without proof? -- A case study on the formal development of a reactor safety system -- Test automation for safety-critical systems: Industrial application and future developments -- Quantitative analysis of an application of formal methods -- Applying the B technologies to CICS -- Refining action systems within B-Tool -- Integrating action systems and Z in a medical system specification -- Formalizing Anaesthesia: A case study in formal specification -- A new system engineering methodology coupling formal specification and performance evaluation -- Formalizing new navigation requirements for NASA's Space Shuttle -- Combining VDM-SL specifications with C++ code -- Data reification without explicit abstraction functions -- Formal and informal specifications of a secure system component: Final results in a comparative study -- Visual verification of safety and liveness -- Graphical development of consistent system specifications -- Deduction in the Verification Support Environment (VSE) -- Consistency and refinement for partial specification in Z -- Combining statecharts and Z for the design of safety-critical control systems -- Integrating real-time scheduling theory and program refinement -- Using a logical and categorical approach for the validation of fault-tolerant systems -- Local nondeterminism in asynchronously communicating processes -- Identification of and solutions to shortcomings of LCL, a Larch/C interface specification language -- Formal specification and verification of the pGVT algorithm -- Automatic verification of a hydroelectric power plant -- Experiences in embedded scheduling -- Model checking in practice: An analysis of the ACCESS.bus™ protocol using SPIN -- The incremental development of correct specifications for distributed systems -- A theory of distributing train rescheduling -- An improved translation of SA/RT specification model to high-level timed Petri nets -- From testing theory to test driver implementation -- Program slicing using weakest preconditions -- A formal approach to architectural design patterns -- Modular completeness: Integrating the reuse of specified software in top-down program development -- A strategic approach to transformational design -- Correct and user-friendly implementations of transformation systems -- An example of use of formal methods to debug an embedded software -- Experiments in theorem proving and model checking for protocol verification -- Procedure-level verification of real-time concurrent systems.This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.Lecture Notes in Computer Science,0302-9743 ;1051Software engineeringComputer programmingProgramming languages (Electronic computers)Computer logicInformation technologyBusiness—Data processingSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XIT in Businesshttps://scigraph.springernature.com/ontologies/product-market-codes/522000Software engineering.Computer programming.Programming languages (Electronic computers).Computer logic.Information technology.Business—Data processing.Software Engineering/Programming and Operating Systems.Programming Techniques.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.IT in Business.005.1/01/5113Gaudel Marie-Claudeedthttp://id.loc.gov/vocabulary/relators/edtWoodcock Jamesedthttp://id.loc.gov/vocabulary/relators/edtInternational Symposium of Formal Methods EuropeBOOK996465577303316FME '96: Industrial Benefit and Advances in Formal Methods2831423UNISA05276nam 2200673 450 991081271880332120170918165008.01-78238-896-610.1515/9781782388968(CKB)3710000000493966(EBL)4014252(SSID)ssj0001570761(PQKBManifestationID)16221969(PQKBTitleCode)TC0001570761(PQKBWorkID)14576516(PQKB)10234622(SSID)ssj0001691543(PQKBManifestationID)16538939(PQKBTitleCode)TC0001691543(PQKBWorkID)15064452(PQKB)25078606(MiAaPQ)EBC4014252(DE-B1597)636749(DE-B1597)9781782388968(EXLCZ)99371000000049396620150519d2015 uy| 0engur|n|---|||||txtccrThe Merkel Republic an appraisal /edited by Eric LangenbacherNew York :Berghahn Books,2015.1 online resource (218 p.)Description based upon print version of record.1-78238-895-8 Includes bibliographical references and index.Introduction: Merkel's Nachsommermärchen? / Eric Langenbacher, Department of Government, Georgetown University -- Follow-up to the grand coalition : the German party system before and after the 2013 federal election / Frank Decker, Institut für Politische Wissenschaft und Soziologie, Universität Bonn -- Chancellor hegemony : party politics and the Bundestag party system after the 2013 federal election / Charles Lees, Department of Politics, Languages, and International Studies, University of Bath -- Past imperfect, future tense : the SPD before and after the 2013 federal election / Jonathan Olsen, History and Government, Texas Woman's University -- Small parties and the 2013 Bundestag election : end of the upward trend? / David F. Patton, Government and International Relations, Connecticut College -- Many new faces, but nothing new? : the sociodemographic and career profiles of German Bundestag members in the eighteenth legislative period / Melanie Kintz, English, Chemnitz University of Technology -- Closing the gap : gender and constituency candidate nomination in the 2013 Bundestag election / Louise K. Davidson-Schmich, Political Science, University of Miami -- Immigration into politics : immigrant-origin candidates and their success in the 2013 Bundestag election / Andreas M. Wüst, Mannheimer Zentrum für Europäische Sozialforschung (MZES), University of Mannheim -- The reluctant cosmopolitanization of European party politics : the case of Germany / Lars Rensmann, Political Science, John Cabot University -- European integration and party competition in German federal elections / Steven Weldon, Political Science, Simon Fraser University, and Hermann Schmitt, Social Sciences, University of Manchester and Mannheimer Zentrum für Europeische Sozialforischung, Universität Mannheim -- The politics of the Eurozone crisis : two puzzles behind the German consensus / Wade Jacoby, Political Science, Brigham Young University -- Merkel 3.0 : German foreign policy in the aftermath of the 2013 Bundestag election / Jackson Janes, American Institute for Contemporary German Studies -- Epilogue: Concluding thoughts on the 2013 Bundestag election / Jeffrey Anderson, German and European Studies/Government, Georgetown University."Chancellor Angela Merkel has dominated German and European politics for almost a decade. Her stellar reputation, sound political and economic management, and popularity inside of Germany resulted in one of the most decisive electoral victories for her conservative parties in postwar Germany--the country can rightfully be deemed the Merkel Republic. Bringing together German politics experts from both sides of the Atlantic, this volume addresses the campaign, results, and consequences of the 2013 Bundestag election. Chapters delve into a diverse array of themes, including immigrant-origin and women candidates, the fate of the small parties, and the prospects for the SPD, the new coalition partner, as well as more general structural trends like the Europeanization and cosmopolitanization of German politics"--Provided by publisher.ElectionsGermanyHistory21st centuryPolitical partiesGermanyHistory21st centuryPolitical candidatesGermanyHistory21st centuryCoalition governmentsGermanyHistory21st centuryCosmopolitanismPolitical aspectsGermanyHistory21st centuryGermanyPolitics and government1990-ElectionsHistoryPolitical partiesHistoryPolitical candidatesHistoryCoalition governmentsHistoryCosmopolitanismPolitical aspectsHistory324.943/0883Langenbacher EricMiAaPQMiAaPQMiAaPQBOOK9910812718803321The Merkel Republic4114230UNINA