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. |