14. ASE 1999: Cocoa Beach, Florida, USA

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
  

Last update Sun May 26 02:41:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page