LEADER 03003nam 2200637 a 450 001 9910456152703321 005 20200520144314.0 010 $a1-282-75747-4 010 $a9786612757471 010 $a981-283-729-9 035 $a(CKB)2490000000001780 035 $a(EBL)731063 035 $a(OCoLC)670429608 035 $a(SSID)ssj0000412391 035 $a(PQKBManifestationID)12101019 035 $a(PQKBTitleCode)TC0000412391 035 $a(PQKBWorkID)10367413 035 $a(PQKB)10093998 035 $a(MiAaPQ)EBC731063 035 $a(WSP)00007122 035 $a(Au-PeEL)EBL731063 035 $a(CaPaEBR)ebr10422652 035 $a(CaONFJC)MIL275747 035 $a(EXLCZ)992490000000001780 100 $a20100419d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated database applications testing$b[electronic resource] $especification representation for automated reasoning /$fRana Farid Mikhail, Donald Berndt & Abraham Kandel 210 $aSingapore ;$aHackensack, NJ $cWorld Scientific$dc2010 215 $a1 online resource (212 p.) 225 1 $aSeries in machine perception and artificial intelligence ;$vv. 76 300 $aDescription based upon print version of record. 311 $a981-283-728-0 320 $aIncludes bibliographical references (p. 185-192) and index. 327 $aPreface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index 330 $aThis book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code. 410 0$aSeries in machine perception and artificial intelligence ;$vv. 76. 606 $aComputer software$xTesting$xAutomation 606 $aDatabase design 608 $aElectronic books. 615 0$aComputer software$xTesting$xAutomation. 615 0$aDatabase design. 676 $a005.1/4 700 $aMikhail$b Rana Farid$0984765 701 $aBerndt$b Donald J$0984766 701 $aKandel$b Abraham$028590 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910456152703321 996 $aAutomated database applications testing$92250266 997 $aUNINA LEADER 02865nam0 2200565 i 450 001 IEI0139033 005 20251003044200.0 010 $a8842059978 020 $aIT$b2000-12514 100 $a20000217d2000 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aˆGli ‰anziani in Europa$esistemi sociali e modelli di welfare a confronto$e9. rapporto CER-SPI$fa cura di Claudio De Vincenti$gprefazione di Giorgio Ruffolo$gpromosso dal Sindacato pensionati italiani CGIL e realizzato dal Centro Europa ricerche 210 $aRoma [etc.]$cGLF editori Laterza$d2000 215 $a253 p.$d21 cm. 225 | $aLibri del tempo Laterza$v303 314 $aSC/NAP 22/12/98$9CFIV008552 314 $aSC/PAL, 2/11/94$9CFIV037060 410 0$1001CFI0002018$12001 $aLibri del tempo Laterza$v303 606 $aAnziani$xEuropa$xInchieste$2FIR$3CFIC116135$9I 676 $a305.26$9TERZA ETA'$v21 676 $a305.26094$9LIVELLI DI ETA'. TERZA ETA'. EUROPA$v19 676 $a305.26094$9LIVELLI DI ETA'. TERZA ETA'. EUROPA$v20 676 $a305.26094$9$v21 676 $a362.6$9PROBLEMI DELLE PERSONE NELLA TARDA ETÀ ADULTA E SERVIZI RELATIVI$v21 696 $aVecchi$aPersone anziane 699 $aAnziani$yVecchi 699 $aAnziani$yPersone anziane 702 1$aRuffolo$b, Giorgio$3CFIV057041 702 1$aDe Vincenti$b, Claudio$3CFIV104800 710 02$aCER$c $3CFIV008552$4070$0118307 711 02$aSPI$c $3CFIV037060$4070$0285398 791 02$aCentro Europa ricerche$3CFIV172007$zCER 791 02$aCentro Europa ricerche$3CFIV172007$zCER 791 02$aSPI CGIL$3CFIV037061$zSPI 791 02$aSindacato pensionati italiani$3CFIV169981$zSPI 791 02$aSindacato pensionati italiani-Cgil$3IEIV104989$zSPI 791 02$aCGIL$b : Sindacato pensionati italiani$3LO1V291578$zSPI 791 02$aFederazione italiana pensionati$3LO1V331547$zSPI 801 3$aIT$bIT-000000$c20000217 850 $aIT-BN0095 $aIT-AV0007 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. 912 $aIEI0139033 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.ECON MON 5351$e 0101 0000282035E VMA 1 v.$fB $h20210401$i20210401 977 $a 01$a AV 996 $aAnziani in Europa$91770023 997 $aUNISANNIO