02079oam 2200409zu 450 991087242870332120241212214754.0(CKB)111026746701446(SSID)ssj0000454867(PQKBManifestationID)12129438(PQKBTitleCode)TC0000454867(PQKBWorkID)10397968(PQKB)10225745(NjHacI)99111026746701446(EXLCZ)9911102674670144620160829d2000 uy engur|||||||||||txtccr15th International Conference on Automated Software Engineering 2000[Place of publication not identified]IEEE Computer Society Press20001 online resourceBibliographic Level Mode of Issuance: Monograph9780769507101 0769507107 Researchers 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.Software engineeringCongressesSoftware engineering005.1IEEE StaffPQKBPROCEEDING991087242870332115th International Conference on Automated Software Engineering 20002373268UNINA