The 14th IEEE International Conference on Automated Software Engineering (ASE'99), 12-15 October 1999, Cocoa Beach, Florida, USA, Proceedings. IEEE Computer Society, 1999

Panels

• 
  David F. Redmiles: Can Model Checking Scale to Software? (Panel). 2
• 
  John Penix: Evaluation of Automated Software Engineering Systems? (Panel). 3

Long Papers

Requirements and Reuse

• 
  Michael A. Copenhafer, Kevin J. Sullivan: Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. 7-14
• 
  Luiz Eduardo Galvão Martins, Beatriz Mascia Daltrini: An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory. 15-23
• 
  Amir Michail: Data Mining Library Reuse Patterns in User-Selected Applications. 24-

Synthesis

• 
  Keith E. Williamson, Michael Healy: Industrial Applications of Software Synthesis via Category Theory. 35-43
• 
  Jamie Stark, Andrew Ireland: Towards Automatic Imperative Program Synthesis Through Proof Planning. 44-51
• 
  Bernd Fischer, Jon Whittle: An Integration of Deductive Retrieval into Deductive Synthesis. 52-

Test Synthesis

• 
  Martin S. Feather, Benjamin D. Smith: Automatic Generation of Test Oracles-From Pilot Studies to Application. 63-72
• 
  Cédric Besse, Ana R. Cavalli, David Lee: An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. 73-80
• 
  Arthur Alexander Reyes, Debra J. Richardson: Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. 81-

Analysis

• 
  Hassen Saïdi: Modular and Incremental Analysis of Concurrent Software Systems. 92-101
• 
  Prasanta K. Bose: Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. 102-109
• 
  Frédéric Goualard, Frédéric Benhamou: A Visualization Tool for Constraint Program Debugging. 110-

Verification

• 
  Charles Pecheur: Advanced Modelling and Verification Techniques Applied to a Cluster File System. 119-126
• 
  Colin O'Halloran, Alf Smith: Verification of Picture Generated Code. 127-136
• 
  Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed: Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. 137-

Transformation

• 
  Ted J. Biggerstaff: Fixing Some Transformation Problems. 148-157
• 
  Michael Poppleton, Richard Banach: Retrenchment: Extending the Reach of Refinement. 158-165
• 
  Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: An ML Editor Based on Proofs-As-Programs. 166-173
• 
  Lance Tokuda, Don S. Batory: Evolving Object-Oriented Designs with Refactorings. 174-

Architecture

• 
  David S. Wile: AML: An Architecture Meta-Language. 183-190
• 
  Alexander Egyed, Cristina Gacek: Automatically Detecting Mismatches During Component-based and Model-based Development. 191-198
• 
  Kurt Stirewalt: Separating Concerns in Direct Manipulation User Interfaces. 199-

Automated Testing

• 
  Lydie du Bousquet, Nicolas Zuanon: An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. 208-215
• 
  Dieter Kreuer: Applying Test Automation to Type Acceptance Testing of Telecom Networks: A Case Study with Customer Participation. 216-223
• 
  Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa: UNA Based Iterative Test Data Generation and Its Evaluation. 224-

Short Papers

• 
  John K. Kyaruzi, Jan van Katwijk: Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. 235-242
• 
  Michael Stein, Mats Per Erik Heimdahl, John Riedl: Enhancing Annotation Visibility for Software Inspection. 243-246
• 
  Enrico Tronci: Automatic Synthesis of Control Software for an Industrial Automation Control System. 247-250
• 
  Jonathan I. Maletic, Naveen Valluri: Automatic Software Clustering via Latent Semantic Analysis. 251-254
• 
  Johan Lilius, Ivan Paltor: vUML: A Tool for Verifying UML Models. 255-258
• 
  Christopher A. Welty, David A. Ferrucci: A Formal Ontology for Re-Use of Software Architecture Documents. 259-262
• 
  Walter Cazzola, Andrea Savigni, Andrea Sosio, Francesco Tisato: Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level. 263-266
• 
  Thomas Emerson, Mark H. Burstein: Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications. 267-270
• 
  Andreas Becks, Jörg Köller: Automatically Structuring Textual Requirement Scenarios. 271-274
• 
  Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h: UMLAUT: An Extendible UML Transformation Framework. 275-278
• 
  Dimitur Nikolaev Krustev: Software Test Generation Using Refinement Types. 279-282
• 
  Carine Fédèle, Emmanuel Kounalis: Automatic Proofs of Properties of Simple C^-- Modules. 283-286
• 
  Gabriele Taentzer, Michael Goedicke, Torsten Meyer: Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems. 287-290
• 
  Robert Waters, Spencer Rugaber, Gregory D. Abowd: Architectural Element Matching Using Concept Analysis. 291-294
• 
  Norbert E. Fuchs, Uta Schwertel, Sunna Torge: Controlled Natural Language Can Replace First-Order Logic. 295-298
• 
  Samuel Devulder, Jean-Luc Lambert: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. 299-302
• 
  Peter Henderson, Robert John Walters: Component-based Systems as an Aid to Design Validation. 303-306
• 
  Thierry Miceli, Houari A. Sahraoui, Robert Godin: A Metric Based Technique for Design Flaws Detection and Correction. 307-310
• 
  John Penix: Deductive Synthesis of Event-Based Software Architectures. 311-314
• 
  Michael W. Whalen, Mats Per Erik Heimdahl: An Approach to Automatic Code Generation for Safety-Critical Systems. 315-318
• 
  Stephen H. Brackin: Implementing Effective Automatic Cryptographic Protocol Analysis. 319-322
• 
  Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge: System for Automated Validation of Embedded Software in Multiple Operating Configurations. 323-326
• 
  Prasanta K. Bose, Mark G. Matthews: NAVCo: Negotiation-based Adaptive View Coordination. 327-330
• 
  Chang Liu, Debra J. Richardson: Towards Discovery, Specification, and Verification of Component Usage. 331-334
• 
  J. William Murdock, Ashok K. Goel: Towards Adaptive Web Agents. 335-338