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, ORTable 3: Layered Architecture describes System Product Ordering System User Interface (Order UI, Inventory UI) Order ... automate class diagram abstraction incremental development of software systems involves the detection and handling 196.
|Title||:||The 14th IEEE International Conference on Automated Software Engineering|
|Publisher||:||IEEE - 1999|