03827nam 2200589 a 450 991048312070332120200520144314.010.1007/b106390(CKB)1000000000212848(SSID)ssj0000317722(PQKBManifestationID)11267317(PQKBTitleCode)TC0000317722(PQKBWorkID)10308023(PQKB)11373714(DE-He213)978-3-540-31847-7(MiAaPQ)EBC3067644(PPN)123092175(EXLCZ)99100000000021284820050110d2005 uy 0engurnn|008mamaatxtccrFormal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /Hans-Jorg Kreowski ... [et al.] (eds.)1st ed. 2005.Berlin ;New York Springerc20051 online resource (XXVIII, 420 p.) Lecture notes in computer science,0302-9743 ;3393Bibliographic Level Mode of Issuance: Monograph3-540-31847-X 3-540-24936-2 Includes bibliographical references and index.Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes with Fusions: Concurrency by Colimits, Again -- Graph Transformation with Variables -- Graph Transformation in Molecular Biology -- Changing Labels in the Double-Pushout Approach Can Be Treated Categorically -- Algebraic Specification and Logic -- Modules, Brains and Schemas -- From Conditional Specifications to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics of Rewrite Theories -- Expander2 -- Relationships Between Equational and Inductive Data Types -- Cofree Coalgebras for Signature Morphisms -- Formal and Visual Modeling -- Nested Constraints and Application Conditions for High-Level Structures -- Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements -- Main Concepts of Networks of Transformation Units with Interlinking Semantics -- Embeddings and Contexts for Link Graphs -- Towards Architectural Connectors for UML -- Loose Semantics of Petri Nets -- A Formal Framework for the Development of Concurrent Object-Based Systems -- A Formal Description of the Basic Concepts of System Theory for Transportation.By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.Lecture notes in computer science ;3393.Formal methods (Computer science)Computer softwareComputersDesignFormal methods (Computer science)Computer software.ComputersDesign.004/.01/51Ehrig Hartmut56511Kreowski H.-J(Hans-Jorg)597505MiAaPQMiAaPQMiAaPQBOOK9910483120703321Formal methods in software and systems modeling4195401UNINA02798nam 22005173 450 99666026860331620250514080314.01-04-079987-61-003-70793-91-04-077397-490-485-6640-1(MiAaPQ)EBC32108055(Au-PeEL)EBL32108055(CKB)38756156600041(OCoLC)1519939036(NjHacI)9938756156600041(EXLCZ)993875615660004120250514d2025 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierThe Uncertain World of Renaissance Geneva and Savoy Political Life, Factional Conflicts and Religious Turmoil1st ed.Amsterdam :Amsterdam University Press,2025.©2025.1 online resource (303 pages)Renaissance History, Art and Culture Series ;v.1290-485-6639-8 Cover -- Half Title -- Title Page -- Copyright Page -- Table of Contents -- List of Charts, Maps and Tables -- Abbreviations -- A Preliminary Note on Terms, Names and Maps -- Prologue -- 1. An Uncertain World: From Prosperity to Instability -- Renaissance Savoy -- The Swiss Influence -- Prosperity Lost -- 2. Regional Alliances and Urban Factionalism -- The Swiss Drive Towards the Lake Geneva Region -- Factions in Geneva -- 3. Princely Policies Amidst Rising Uncertainty -- An Unhealable Hereditary Hatred in Piedmontese Towns -- The Good Prince Against Factionalism -- Endless Negotiations and Obscure Times -- 4. Genevan Confessional Struggles: Factions and Criminal Trials -- The Early Evangelical Community -- The Repression of the Sabaudian-Catholic Faction -- Early Lutherans on Trial -- 5. Competing Reforms -- Reactions to the Spread of "Lutheranism" -- Reforming Society: The Estates and the Duke -- The Bishops and Ecclesiastical Reforms -- Epilogue -- Maps -- Tables -- Bibliography -- Index.Uncertainty and instability affected Geneva and the Duchy of Savoy since the mid-fifteenth century.French and Swiss expansionism had turned Savoy into part of a long geopolitical fault line, running from the North Sea to the Mediterranean along the border between France and the Empire.Renaissance History, Art and Culture SeriesSocial historyArtHistorySocial history.ArtHistory.949.45103Caesar Mathieu1716288MiAaPQMiAaPQMiAaPQBOOK996660268603316The Uncertain World of Renaissance Geneva and Savoy4378251UNISA