LEADER 01644oam  2200433zu 450 
001 9910872687603321
005 20241212215242.0
024 7 $a10.1109/ASE.2004
035   $a(CKB)1000000000021811
035   $a(SSID)ssj0000454723
035   $a(PQKBManifestationID)12150188
035   $a(PQKBTitleCode)TC0000454723
035   $a(PQKBWorkID)10397577
035   $a(PQKB)10315233
035   $a(NjHacI)991000000000021811
035   $a(EXLCZ)991000000000021811
100   $a20160829d2004      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a19th International Conference on Automated Software Engineering
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2004
215   $a1 online resource (xxviii, 435 pages) $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9780769521312 
311 08$a0769521312 
330   $aAnnotation ASE focuses on the automation aspects of formal methods, software process, humen-computer interaction, requirements engineering, reverse engineering, testing, verification and validation, while still including an active AI and knowledge-based research focus.
606   $aComputer-aided software engineering$vCongresses
606   $aSoftware engineering$vCongresses
615  0$aComputer-aided software engineering
615  0$aSoftware engineering
676   $a005.1
801  0$bPQKB
906   $aPROCEEDING
912   $a9910872687603321
996   $a19th International Conference on Automated Software Engineering$92378639
997   $aUNINA