LEADER 04729nam 22006015 450 001 9910480198303321 005 20200703005312.0 010 $a1-4471-1494-9 024 7 $a10.1007/978-1-4471-1494-9 035 $a(CKB)3400000000088512 035 $a(SSID)ssj0000805248 035 $a(PQKBManifestationID)11498383 035 $a(PQKBTitleCode)TC0000805248 035 $a(PQKBWorkID)10842167 035 $a(PQKB)11706568 035 $a(DE-He213)978-1-4471-1494-9 035 $a(MiAaPQ)EBC3074773 035 $a(EXLCZ)993400000000088512 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 14$aThe B Language and Method$b[electronic resource] $eA Guide to Practical Formal Development /$fby Kevin Lano 205 $a1st ed. 1996. 210 1$aLondon :$cSpringer London :$cImprint: Springer,$d1996. 215 $a1 online resource (VIII, 232 p.) 225 1 $aFormal Approaches to Computing and Information Technology (FACIT) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-76033-4 320 $aIncludes bibliographical references and index. 327 $a1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study ? Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study ? Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques. 330 $aB is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. 410 0$aFormal Approaches to Computing and Information Technology (FACIT) 606 $aSoftware engineering 606 $aMathematical logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aProgramming languages (Electronic computers). 615 14$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1/2/015113 700 $aLano$b Kevin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0746541 906 $aBOOK 912 $a9910480198303321 996 $aThe B Language and Method$92102460 997 $aUNINA LEADER 07242nam 22007935 450 001 9910557593003321 005 20251116143739.0 010 $a9783110639438 010 $a3110639432 024 7 $a10.1515/9783110639438 035 $a(CKB)5590000000469581 035 $a(DE-B1597)507553 035 $a(OCoLC)1248760467 035 $a(DE-B1597)9783110639438 035 $a(MiAaPQ)EBC6637646 035 $a(Au-PeEL)EBL6637646 035 $a(Perlego)2806809 035 $a(EXLCZ)995590000000469581 100 $a20210526h20212021 fg 101 0 $aeng 135 $aur||#|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aTracing the Jerusalem Code $eVolume 1: The Holy City Christian Cultures in Medieval Scandinavia (ca. 1100-1536) /$fed. by Kristin B. Aavitsland, Line M. Bonde 205 $a1st ed. 210 1$aBerlin ;$aBoston :$cDe Gruyter,$d[2021] 210 4$d©2021 215 $a1 online resource (XX, 617 p.) 311 08$a9783110634853 311 08$a3110634856 327 $tFrontmatter --$tContents --$tList of Maps and Illustrations --$tList of Abbreviations --$tEditorial comments for all three volumes --$tPrelude --$tIntroductions: Jerusalem in Medieval Scandinavia --$tChapter 1 Jerusalem: Navel of the Storyworld in Medieval Scandinavia --$tChapter 2 Re-Naming Jerusalem: A Note on Associative Etymology in the Vernacular North --$tChapter 3 Translatio Templi: A Conceptual Condition for Jerusalem References in Medieval Scandinavia --$tPart I: Kings, Crusaders, and Jerusalem Relics: Strategies of Legitimation, Models of Authority --$tChapter 4 Jerusalem and the Christianization of Norway --$tChapter 5 Scandinavian Holy Kings in the Nativity Church of Bethlehem --$tChapter 6 The Saint and the Wry-Neck: Norse Crusaders and the Second Crusade --$tChapter 7 Historia de Profectione Danorum in Hierosolymam: A Journey to the Lost Jerusalem --$tChapter 8 Importing Jerusalem: Relics of the True Cross as Political Legitimation in Early Twelfth-Century Denmark and Norway --$tChapter 9 The Crown of Thorns and the Royal Office in Thirteenth- and Fourteenth-Century Scandinavia --$tPart II: The Holy City: Travels, Perceptions, and Interactions --$tChapter 10 From Nidaros to Jerusalem; from Feginsbrekka to Mount Joy --$tChapter 11 Scandinavian Pilgrims and the Churches of the Holy Land in the Twelfth and Thirteenth Centuries --$tChapter 12 Physical and Spiritual Travel across the Christian Storyworld: Leiðarvísir, an Old Norse Itinerary to Jerusalem --$tChapter 13 The Locus of Truth: St Birgitta of Sweden and the Pilgrimage to the Holy Land --$tPart III: Jerusalem Transposed and Reenacted: Townscapes, Churches, and Practices --$tChapter 14 St Olav, Nidaros, and Jerusalem --$tChapter 15 Jerusalem Commonplaces in Danish Rural Churches: What Urban Architecture Remembers --$tChapter 16 The Holy City in the Wilderness: Interpreting the Round Churches in Västergötland, Sweden --$tChapter 17 Entering the Temple of Jerusalem: Candlemas and Churching in the Lives of the Women of the North. A Study of Textual and Visual Sources --$tChapter 18 Heavenly Agent and Divine Disclosure: The Holy Cross at Borre --$tChapter 19 The Heavenly Jerusalem and the Late Medieval Church Interior --$tPart IV: Navigating the Sacred Storyworld: Nordic Landscapes and Salvation History --$tChapter 20 Civitas Hierusalem famosisima: The Cross, the Orb, and the History of Salvation in the Medieval North --$tChapter 21 Imagining the Holy Land in the Old Norse World --$tChapter 22 Enemies of Christ in the Far North: Tales of Saracens, Jews and the Saami in Norwegian Medieval Painting --$tChapter 23 The Virtues Building Jerusalem: The Four Daughters of God and Their Long Journey to Norwegian Law in the Thirteenth Century --$tChapter 24 Zion in the North: Jerusalem and the Late Medieval Histories of Uppsala --$tList of Contributors --$tBibliography --$tIndex of Manuscripts --$tIndex 330 $aWith the aim to write the history of Christianity in Scandinavia with Jerusalem as a lens, this book investigates the image - or rather the imagination - of Jerusalem in the religious, political, and artistic cultures of Scandinavia through most of the second millennium. Jerusalem is conceived as a code to Christian cultures in Scandinavia. The first volume is dealing with the different notions of Jerusalem in the Middle Ages. Tracing the Jerusalem Code in three volumesVolume 1: The Holy City Christian Cultures in Medieval Scandinavia (ca. 1100-1536)Volume 2: The Chosen People Christian Cultures in Early Modern Scandinavia (1536-ca. 1750)Volume 3: The Promised Land Christian Cultures in Modern Scandinavia (ca. 1750-ca. 1920) 606 $aRELIGION / Christianity / History$2bisacsh 610 $aChristianity in Scandinavia. 610 $aCrusades. 610 $aPilgrimage. 615 7$aRELIGION / Christianity / History. 702 $aAavitsland$b Kristin B.$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aAavitsland$b Kristin B.$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBale$b Anthony$f1975-$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aBandlien$b Bjørn$f1972-$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aBonde$b Line M.$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aBonde$b Line M.$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBysted$b Ane$f1971-$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aEkroll$b Øystein$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aEriksen$b Stefka G.$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aHagen$b Kaja M. H.$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aLiepe$b Lena$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aMales$b Mikael$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aMarkus$b Kersti$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aMyrvoll$b Klaus Johan$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aOen$b Maria H.$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aOftestad$b Eivor Andersen$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aPringle$b Denys$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aRaupp$b Lukas$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aStang$b Margrethe C.$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aSvenungsen$b Pål Berg$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aSyrstad Andås$b Margrete$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aTjällén$b Biörn$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aWangsgaard Ju?rgensen$b Martin$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aZorgati$b Ragnhild Johnsrud$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 702 $aØyrehagen Sunde$b Jørn Ø$4ctb$4https://id.loc.gov/vocabulary/relators/ctb 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910557593003321 996 $aTracing the Jerusalem Code$92127813 997 $aUNINA