LEADER 01094nam--2200361---450- 001 990003290690203316 005 20090707122200.0 010 $a978-88-810-3513-7 035 $a000329069 035 $aUSA01000329069 035 $a(ALEPH)000329069USA01 035 $a000329069 100 $a20090707d2008----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> America gringa$estorie italiane d'immigrazione tra Argentina e Brasile$fEmilio Franzina 210 $aReggio Emilia$cDiabasis$d[2008] 215 $a286 p.$d23 cm 225 2 $aDal porto al mondo 410 0$12001$aDal porto al mondo 606 0 $aImmigrati italiani$yAmerica Latina$zSec. 19.-20.$2BNCF 676 $a305.851082 700 1$aFRANZINA,$bEmilio$0120743 801 0$aIT$bsalbc$gISBD 912 $a990003290690203316 951 $aIII.1. 3521$b2455 LG$cIII.1.$d00227630 959 $aBK 969 $aUMA 979 $aSENATORE$b90$c20090707$lUSA01$h1221 979 $aSENATORE$b90$c20090707$lUSA01$h1222 996 $aAmerica gringa$9843924 997 $aUNISA LEADER 02079oam 2200409zu 450 001 9910872428703321 005 20241212214754.0 035 $a(CKB)111026746701446 035 $a(SSID)ssj0000454867 035 $a(PQKBManifestationID)12129438 035 $a(PQKBTitleCode)TC0000454867 035 $a(PQKBWorkID)10397968 035 $a(PQKB)10225745 035 $a(NjHacI)99111026746701446 035 $a(EXLCZ)99111026746701446 100 $a20160829d2000 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a15th International Conference on Automated Software Engineering 2000 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2000 215 $a1 online resource 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769507101 311 08$a0769507107 330 $aResearchers and practitioners share their latest on automating various tasks of software engineering. The 23 full papers cover verification, requirements, evolution, synthesis and code generation, algebraic specification, process, design, and testing. Another 23 short papers consider such topics as the explicit representation of architectural design assumptions, automated security checking and patching using TestTalk, a transformational viewpoint on design patterns, automatically assessing the ability of reusable class libraries to evolve, semantic abstract rules for class diagrams, a group critic system for object-oriented analysis and design, and systematically generating dependable change coordination plans for the automated switching of coordinate policies. There is no subject index. Annotation copyrighted by Book News, Inc., Portland, OR. 606 $aSoftware engineering$vCongresses 615 0$aSoftware engineering 676 $a005.1 702 $aIEEE Staff 801 0$bPQKB 906 $aPROCEEDING 912 $a9910872428703321 996 $a15th International Conference on Automated Software Engineering 2000$92373268 997 $aUNINA