13. ASE 1998: Honolulu, Hawaii, USA

The Thirteenth IEEE Conference on Automated Software Engineering (ASE'98), 13-16 October, 1998, Honolulu, Hawaii, USA. IEEE Computer Society, online publication: http://computer.org/proceedings/ase/8750/8750toc.htm

Session 1a: Specification

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

Session 1b: Validation and Verification

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

Session 2b: Reuse

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

Session 3b: Requirements

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

Session 4a: Testing

Christoph C. Michael, Gary McGraw:
Automated Software Test Data Generation for Complex Programs. 136-146
Electronic Edition (IEEE Computer Society DL) BibTeX
Jason McDonald, Daniel Hoffman, Paul A. Strooper:
Programmatic Testing of the Standard Template Library Containers. 147-156
Electronic Edition (IEEE Computer Society DL) BibTeX
J. Andrews:
Testing using Log File Analysis: Tools, Methods, and Issues. 157-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 4b: Synthesis

Pierre Flener, Hamza Zidoum, Brahim Hnich:
Schema-Guided Synthesis of Constraint Logic Programs. 168-176
Electronic Edition (IEEE Computer Society DL) BibTeX
Kurt Stirewalt, Spencer Rugaber:
Automating UI Generation by Model Composition. 177-
Electronic Edition (IEEE Computer Society DL) BibTeX

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
Electronic Edition (IEEE Computer Society DL) BibTeX
Stefan Leue, L. Mehrmann, Mohammad Rezai:
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. 192-195
Electronic Edition (IEEE Computer Society DL) BibTeX
Kevin Gary, Timothy E. Lindquist, Harry Koehnemann, Jean-Claude Derniame:
Component-based Software Process Support. 196-199
Electronic Edition (IEEE Computer Society DL) BibTeX
Amir Michail, David Notkin:
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. 200-203
Electronic Edition (IEEE Computer Society DL) BibTeX
Richard Clayton, Spencer Rugaber, Linda M. Wills:
Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts. 204-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 5b: Short Papers

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

Session 6a: Program Understanding and Debugging

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

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
Electronic Edition (IEEE Computer Society DL) BibTeX
Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold:
Planware - Domain-Specific Synthesis of High-Performance Schedulers. 270-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 7a: Short Papers

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

Session 7b: Short Papers

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