The 14th IEEE International Conference on Automated Software Engineering

Know about the book -

The 14th IEEE International Conference on Automated Software Engineering is written by IEEE Computer Society and published by Institute of Electrical & Electronics Engineers(IEEE). It's available with International Standard Book Number or ISBN identification 0769504159 (ISBN 10) and 9780769504155 (ISBN 13).

Twenty-five papers presented at the October 1999 conference are grouped into sessions having the broad topics of software synthesis, requirements elicitation, reuse, test synthesis, analysis, verification, transformation, architecture, and automated testing. Among the topics are data mining library reuse patterns in user-selected applications, industrial applications of software synthesis via category theory, automated translation of UML models of architectures for verification and simulation using SPIN, verification of picture generated code, evolving object-oriented designs with refactorings, automatically detecting mismatches during component-based and model-based development, and an overview of Lutess: a specification- based tool for testing synchronous software. There are also 25 short papers that represent novel work not yet fully mature. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.