LEADER 02319nam 2200613Ia 450 001 9910782259803321 005 20230829230140.0 010 $a1-281-81440-7 010 $a9786611814403 010 $a0-567-29901-5 035 $a(CKB)1000000000542272 035 $a(EBL)436890 035 $a(OCoLC)276369162 035 $a(SSID)ssj0000185625 035 $a(PQKBManifestationID)12039296 035 $a(PQKBTitleCode)TC0000185625 035 $a(PQKBWorkID)10210561 035 $a(PQKB)10570160 035 $a(MiAaPQ)EBC436890 035 $a(Au-PeEL)EBL436890 035 $a(CaPaEBR)ebr10250600 035 $a(CaONFJC)MIL181440 035 $a(OCoLC)893334522 035 $a(EXLCZ)991000000000542272 100 $a19990127h19981998 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aJewish scribes in the Second-Temple period /$fChristine Schams 210 1$aSheffield, Eng. :$cSheffield Academic Press,$d1998. 210 4$aŠ1998 215 $a1 online resource (369 pages) 225 1 $aJournal for the study of the Old Testament. Supplement series ;$v291 300 $aOriginally presented as the author's thesis (doctoral). 311 0 $a1-85075-940-5 320 $aIncludes bibliographical references nd indexes. 327 $aContents; Acknowledgments; Abbreviations; INTRODUCTION; Chapter 1 PREVIOUS SCHOLARSHIP ON SCRIBES AND ITS SHORTCOMINGS; Chapter 2 DISCUSSION OF THE EVIDENCE FOR JEWISH SCRIBES IN THE SECOND-TEMPLE PERIOD; Chapter 3 POSSIBLE EXPLANATORY FACTORS; Chapter 4 A POSSIBLE MODEL FOR THE STATUS AND FUNCTIONS OF SCRIBES; Bibliography; Index of References; Index of Authors 330 $aJournal for the Study of the Old Testament Supplement series, 291 410 0$aJournal for the study of the Old Testament.$pSupplement series ;$v291. 606 $aScribes, Jewish 606 $aJews$xHistory$y586 B.C.-70 A.D 615 0$aScribes, Jewish. 615 0$aJews$xHistory 676 $a296.09014 700 $aSchams$b Christine$01469459 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782259803321 996 $aJewish scribes in the Second-Temple period$93680927 997 $aUNINA LEADER 03691oam 2200481 450 001 9910298573803321 005 20190911112726.0 010 $a3-642-40038-8 024 7 $a10.1007/978-3-642-40038-4 035 $a(OCoLC)869793215 035 $a(MiFhGG)GVRL6YVL 035 $a(EXLCZ)993710000000078839 100 $a20131022d2014 uy 0 101 0 $aeng 135 $aurun|---uuuua 181 $ctxt 182 $cc 183 $acr 200 10$aVerification of business rules programs /$fBruno Berstel-Da Silva 205 $a1st ed. 2014. 210 1$aHeidelberg [Germany] :$cSpringer,$d2014. 215 $a1 online resource (xvii, 236 pages) $cillustrations (some color) 225 0 $aGale eBooks 300 $aDescription based upon print version of record. 311 $a3-642-40037-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aChap. 1 - Introduction -- Chap. 2 - Related Work -- Chap. 3 - Syntax of Rules and Rule Programs -- Chap. 4 - States and State Assertions -- Chap. 5 - Operational Semantics of Rule Programs -- Chap. 6 - Correctness of Rule Programs -- Chap. 7 - Correctness of Programs: A Comparison -- Chap. 8 - Main Steps in Rule Program Verification -- Chap. 9 - A Verification Method for Rule Programs -- Chap. 10 - Specialized Proof Rules -- Chap. 11 - Conclusion -- Appendix A - Verification in an Industrial Business Rules Management System -- List of Proof Rules -- Index.                                . 330 $aRules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs. The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules?thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence. 606 $aBusiness$xComputer network resources 606 $aRule-based programming 615 0$aBusiness$xComputer network resources. 615 0$aRule-based programming. 676 $a004 676 $a005.1015113 676 $a005.11 676 $a005.74 700 $aBerstel-Da Silva$b Bruno$4aut$4http://id.loc.gov/vocabulary/relators/aut$0918910 801 0$bMiFhGG 801 1$bMiFhGG 906 $aBOOK 912 $a9910298573803321 996 $aVerification of Business Rules Programs$92060903 997 $aUNINA