LEADER 01093nam a2200265 i 4500 001 991001930309707536 008 130117s2009 it |||||||||||||||||ita 020 $a9788808105073 035 $ab14093674-39ule_inst 040 $aBibl. Interfacoltà T. Pellegrino$bita 082 04$a455.03 100 1 $aPittàno, Giuseppe$0376140 245 10$aDizionario grammaticale :$bcosì si dice (e si scrive) :$bdizionario grammaticale e degli usi della lingua italiana /$cdi Giuseppe Pittàno 250 $aRist. anast. 260 $aBologna :$bZanichelli,$c1994 300 $a381 p. ;$c24 cm 440 2$aI libri sempre aperti 500 $aRipr. facs. dell'ed.: Bologna : Zanichelli, 1993, con il tit.: Così si dice (e si scrive) 650 4$aLingua italiana$xGrammatica$xDizionari 907 $a.b14093674$b02-04-14$c18-01-13 912 $a991001930309707536 945 $aLE002 455.03 PIT$g1$i2002000896087$lle002$op$pE10.00$q-$rn$so $t0$u0$v0$w0$x0$y.i15474641$z18-01-13 996 $aDizionario grammaticale$9265720 997 $aUNISALENTO 998 $ale002$b13-11-03$cm$da $e-$fita$git $h0$i0 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 LEADER 02070nam0 22003973i 450 001 MIL0159430 005 20251003044226.0 020 $aIT$b7111023 100 $a19930513d1971 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aˆI ‰rapporti tra Fascismo e Nazionalsocialismo fino all'andata al potere di Hitler$e1922-1933$eappunti e documenti$eAnno Accademico 1970-1971$fRenzo De Felice 210 $aNapoli$cEdizioni scientifiche italiane$dstampa 1971 215 $a208 p.$d25 cm. 314 $aSC/ 22/10/03 SC/MIL 08/09/99 SC/MIL 18/05/99 SC/RAV 25/11/97 SC/RAV 25/11/97$9CFIV005709 606 $aNAZIONALSOCIALISMO E FASCISMO$x1922-1933$2FIR$3RAVC046486$9I 606 $aItalia e Germania$x1922-1933$2FIR$3SBLC005685$9I 676 $a940.51$9STORIA GENERALE DELL'EUROPA, 1918-1929$v22 676 $a945.0915$9ITALIA. STORIA. 1922-1943$v20 696 $aFascismo$aNazionalsocialismo 699 $aNazionalsocialismo e fascismo$xFascismo$xNazionalsocialismo 700 1$aDe Felice$b, Renzo$3CFIV005709$4070$0123070 801 3$aIT$bIT-000000$c19930513 850 $aIT-BN0095 $aIT-AV0007 $aIT-NA0079 $aIT-NA0298 $aIT-NA0075 901 $bNAP BN$cV.F. $nLa consegna dei documenti è effettuata dall'Ufficio Distribuzione 901 $bNAP AV$cSEZ. M $nSezione Moderna 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 901 $bNAP GC$cSALA 2 $n$ 912 $aMIL0159430 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.ECON MON 5248$e 0101 0000012605E VMA 1 v.$fB $h20210401$i20210401 977 $a 01$a AV$a BN$a GC$a GE 996 $aRapporti tra fascismo e nazionalsocialismo fino all'andata al potere di Hitler$9232899 997 $aUNISANNIO