13. ASE 1998: Honolulu, Hawaii, USA

Session 1a: Specification

• Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca:
  A Tool for Automated System Analysis based on Modular Specifications. 2-11
  
• Virginie Wiels, Steve M. Easterbrook:
  Management of Evolving Specifications using Category Theory. 12-21
  
• Arthur Alexander Reyes, Debra J. Richardson:
  Specification-based Testing of Ada Units with Low Encapsulation. 22-31
  
• Yves Ledru:
  Identifying Pre-Conditions with the Z/EVES Theorem Prover. 32-
  

Session 1b: Validation and Verification

• Raul Monroy, Alan Bundy, Ian Green:
  Planning Equational Verification in CCS. 43-52
  
• Colin O'Halloran, Alf Smith:
  Don't Verify, Abstract! 53-62
  
• Hans-Arno Jacobsen, Bernd J. Krämer:
  A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. 63-
  
• Michael R. Lowry, M. Boyd, D. Kulkarni:
  Towards a Theory for Integration of Mathematical Verification and Empirical Testing. 322-
  

Session 2b: Reuse

• Bernd Fischer:
  Specification-based Browsing of Software Component Libraries. 74-83
  
• Yida Mao, Houari A. Sahraoui, Hakim Lounis:
  Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study. 84-93
  
• Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng:
  An Automated Approach for Supporting Software Reuse via Reverse Engineering. 94-
  

Session 3b: Requirements

• T. L. McCluskey, Margaret Mary West:
  Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. 105-114
  
• Robert J. Hall:
  Explanation-based Scenario Generation for Reactive System Models. 115-124
  
• Barbara J. Czerny, Mats Per Erik Heimdahl:
  Automated Integrative Analysis of State-based Requirements. 125-
  

Session 4a: Testing

• Christoph C. Michael, Gary McGraw:
  Automated Software Test Data Generation for Complex Programs. 136-146
  
• Jason McDonald, Daniel Hoffman, Paul A. Strooper:
  Programmatic Testing of the Standard Template Library Containers. 147-156
  
• James H. Andrews:
  Testing using Log File Analysis: Tools, Methods, and Issues. 157-
  

Session 4b: Synthesis

• Pierre Flener, Hamza Zidoum, Brahim Hnich:
  Schema-Guided Synthesis of Constraint Logic Programs. 168-176
  
• Kurt Stirewalt, Spencer Rugaber:
  Automating UI Generation by Model Composition. 177-
  

Session 5a: Short Papers

• Michael Goedicke, Torsten Meyer, C. Piwetz:
  On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation. 188-191
  
• Stefan Leue, L. Mehrmann, Mohammad Rezai:
  Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. 192-195
  
• Kevin Gary, Timothy E. Lindquist, Harry Koehnemann, Jean-Claude Derniame:
  Component-based Software Process Support. 196-199
  
• Amir Michail, David Notkin:
  Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. 200-203
  
• Richard Clayton, Spencer Rugaber, Linda M. Wills:
  Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts. 204-
  

Session 5b: Short Papers

• Richard F. Paige, Jonathan S. Ostroff:
  From Z to BON/Eiffel. 209-212
  
• E. Lee, C. Park, D. Lee:
  Detection of Exclusive OR Global Predicates. 213-216
  
• Joseph Gil, Y. Eckel:
  Statically Checkable Design Level Traits. 217-220
  
• Theodosis Dimitrakos:
  Parameterising (Algebraic) Specifications on Diagrams. 221-224
  
• Stefan Berner, Stefan Joos, Martin Glinz, Martin Arnold:
  A Visualization Concept for Hierarchical Object Models. 225-
  

Session 6a: Program Understanding and Debugging

• Ali Erdem, W. Lewis Johnson, Stacy Marsella:
  Task Oriented Software Understanding. 230-239
  
• Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger:
  Explaining Synthesized Software. 240-248
  
• Kevin Templer, Clinton L. Jeffery:
  A Configurable Automatic Instrumentation Tool for ANSI C. 249-
  

Session 6b: Synthesis and Development Environments

• Armando Martin Haeberer, T. S. E. Maibaum:
  The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. 260-271
  
• Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold:
  Planware - Domain-Specific Synthesis of High-Performance Schedulers. 270-
  

Session 7a: Short Papers

• James Miller, Fraser MacDonald:
  ASSISTing Exit Decisions in Software Inspection. 281-284
  
• Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid:
  An Automated Framework for Structural Test-Data Generation. 285-288
  
• Juei Chang, Debra J. Richardson:
  ADLscope: An Automated Specification-based Unit Testing Tool. 289-292
  
• R. Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson:
  An Empirical Study of the Evolution of a Software System. 293-296
  
• Jean-Marc Andreoli, Christer Fernström, Jean-Luc Meunier:
  A Coordination System Approach to Software Workflow Process Evolution. 297-
  

Session 7b: Short Papers

• Daniel Hazel, Paul A. Strooper, Owen Traynor:
  Requirements Engineering and Verification using Specification Animation. 302-305
  
• E. Baisch, T. Liedtke:
  Automated Knowledge Acquisition and Application for Software Development Projects. 306-309
  
• Andrew Walenstein:
  Developing the Designer's Toolkit with Software Comprehension Models. 310-313
  
• M. P. A. Sellink, Chris Verhoef:
  Development, Assessment, and Reengineering of Language Descriptions. 314-317
  
• Terence J. Harmer, James M. Boyle:
  Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering. 318-332
  

Last update Tue May 21 17:38:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page