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, ORvUML can not verify linear temporal logic (LTL)  formulas. SPIN supports the ... the verifications. Although SPIN is an excellent model checker, it is not the most efficient solution for our models. ... Therefore, manual conversion of UMLanbsp;...
|Title||:||The 14th IEEE International Conference on Automated Software Engineering|
|Publisher||:||IEEE - 1999|