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 02776nam 2200649 a 450 001 9910459745603321 005 20200520144314.0 010 $a1-283-27215-6 010 $a9786613272157 010 $a1-4411-7410-9 035 $a(CKB)2670000000077474 035 $a(EBL)674914 035 $a(OCoLC)710974911 035 $a(SSID)ssj0000467040 035 $a(PQKBManifestationID)11342596 035 $a(PQKBTitleCode)TC0000467040 035 $a(PQKBWorkID)10490111 035 $a(PQKB)11585467 035 $a(MiAaPQ)EBC674914 035 $a(Au-PeEL)EBL674914 035 $a(CaPaEBR)ebr10459918 035 $a(CaONFJC)MIL327215 035 $a(EXLCZ)992670000000077474 100 $a20100811d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aArts and humanities academics in schools$b[electronic resource] $emapping the pedagogical interface /$fedited by Geoff Baker and Andrew Fisher 210 $aNew York $cContinuum$d2011 215 $a1 online resource (193 p.) 300 $aDescription based upon print version of record. 311 $a1-4411-3430-1 311 $a1-4411-0622-7 320 $aIncludes bibliographical references and index. 327 $apt. 1. Schools outreach in context -- pt. 2. Teaching and learning in schools outreach -- pt. 3. Teaching complex and controversial issues in schools outreach. 330 $aIn recent years interest in schools outreach and academic enrichment has increased dramatically, reflecting a greater social conscience and awareness of the impact that universities can have on the wider community. The transferable skills that academics bring to schools need to be honed for this new learning environment, as delivery methods and success benchmarks are radically different in a schools context. This collection address the numerous issues raised when Arts academics become involved with schools, bringing together practitioners from a broad range of fields within the Arts to share e 606 $aEducation, Higher$xEconomic aspects$zUnited States 606 $aArt and technology 606 $aHumanities$xSocial aspects 606 $aAcademic-industrial collaboration$zUnited States 608 $aElectronic books. 615 0$aEducation, Higher$xEconomic aspects 615 0$aArt and technology. 615 0$aHumanities$xSocial aspects. 615 0$aAcademic-industrial collaboration 676 $a378.1/03 701 $aBaker$b Geoff$0861482 701 $aFisher$b Andrew$0861483 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459745603321 996 $aArts and humanities academics in schools$91922570 997 $aUNINA