14. ASE 1999: Cocoa Beach, Florida, USA

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
Electronic Edition (IEEE Computer Society DL) BibTeX
John Penix:
Evaluation of Automated Software Engineering Systems? (Panel). 3
Electronic Edition (IEEE Computer Society DL) BibTeX

Long Papers

Requirements and Reuse

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

Synthesis

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

Test Synthesis

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

Analysis

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

Verification

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

Transformation

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

Architecture

David S. Wile:
AML: An Architecture Meta-Language. 183-190
Electronic Edition (IEEE Computer Society DL) BibTeX
Alexander Egyed, Cristina Gacek:
Automatically Detecting Mismatches During Component-based and Model-based Development. 191-198
Electronic Edition (IEEE Computer Society DL) BibTeX
Kurt Stirewalt:
Separating Concerns in Direct Manipulation User Interfaces. 199-
Electronic Edition (IEEE Computer Society DL) BibTeX

Automated Testing

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

Short Papers

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