01644oam 2200433zu 450 991087268760332120241212215242.010.1109/ASE.2004(CKB)1000000000021811(SSID)ssj0000454723(PQKBManifestationID)12150188(PQKBTitleCode)TC0000454723(PQKBWorkID)10397577(PQKB)10315233(NjHacI)991000000000021811(EXLCZ)99100000000002181120160829d2004 uy engur|||||||||||txtccr19th International Conference on Automated Software Engineering[Place of publication not identified]IEEE Computer Society Press20041 online resource (xxviii, 435 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9780769521312 0769521312 Annotation 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.Computer-aided software engineeringCongressesSoftware engineeringCongressesComputer-aided software engineeringSoftware engineering005.1PQKBPROCEEDING991087268760332119th International Conference on Automated Software Engineering2378639UNINA