Searching...
Advanced Search
Table of Contents
Login to access your subscribed content
13th IEEE International Conference on Automated Software Engineering (ASE'98)
ISBN: 0-8186-8750-9
Honolulu, Hawaii October 13-October 16
Subscribe to this Publication
RSS feed for this Publication
This Publication
Digital Library
Advanced Search
Preface
pp. ix
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Organizing Committee
pp. x
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Steering Committee
pp. xi
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Program Committee
pp. xii
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Invited Talks
pp. xiv
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Mini-Tutorial 1
pp. xv
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Mini Tutorial 2
pp. xvi
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Panel: Automated Software Engineering ? Issues and Opportunities
pp. xvii
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 1a: Specification
A Tool for Automated System Analysis based on Modular Specifications
A. Morzenti
P. San Pietro
S. Morasca
pp. 2
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Management of Evolving Specifications using Category Theory
V. Wiels
S. Easterbrook
pp. 12
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Specification-based Testing of Ada Units with Low Encapsulation
A. Reyes
D. Richardson
pp. 22
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Yves Ledru
, LSR/IMAG
pp. 32
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 1b: Validation and Verification
Planning Equational Verification in CCS
R. Monroy
A. Bundy
I. Green
pp. 43
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Don't Verify, Abstract!
C. O'Halloran
A. Smith
pp. 53
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL
H. Jacobsen
B. Krämer
pp. 63
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Towards a Theory for Integration of Mathematical Verification and Empirical Testing
M. Lowry
M. Boyd
D. Kulkarni
pp. 322
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 2b: Reuse
Specification-based Browsing of Software Component Libraries
B. Fischer
pp. 74
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study
Y. Mao
H. Sahraoui
H. Lounis
pp. 84
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
An Automated Approach for Supporting Software Reuse via Reverse Engineering
G. Gannod
Y. Chen
B. Cheng
pp. 94
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 3b: Requirements
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
T.L. McCluskey
, The University of Huddersfield
M.M. West
, The University of Huddersfield
pp. 105
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Explanation-based Scenario Generation for Reactive System Models
R. Hall
pp. 115
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Automated Integrative Analysis of State-based Requirements
B. Czerny
M. Heimdahl
pp. 125
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 4a: Testing
Automated Software Test Data Generation for Complex Programs
C. Michael
G. McGraw
pp. 136
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Programmatic Testing of the Standard Template Library Containers
J. McDonald
D. Hoffman
P. Strooper
pp. 147
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Testing using Log File Analysis: Tools, Methods, and Issues
J. Andrews
pp. 157
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 4b: Synthesis
Schema-Guided Synthesis of Constraint Logic Programs
P. Flener
H. Zidoum
B. Hnich
pp. 168
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Automating UI Generation by Model Composition
K. Stirewalt
S. Rugaber
pp. 177
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 5a: Short Papers
On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation
M. Goedicke
T. Meyer
C. Piwetz
pp. 188
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
Stefan Leue
Mohammad Rezai
pp. 192
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Component-based Software Process Support
K. Gary
T. Lindquist
H. Koehnemann
J. Derniame
pp. 196
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Illustrating Object-Oriented Library Reuse by Example: A Tool-Based Approach
Amir Michail
David Notkin
pp. 200
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts
Richard Clayton
, Georgia Institute of Technology
Spencer Rugaber
, Georgia Institute of Technology
Linda Wills
, Georgia Institute of Technology
pp. 204
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 5b: Short Papers
From Z to BON/Eiffel
R. Paige
J. Ostroff
pp. 209
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Detection of Exclusive OR Global Predicates
E. Lee
C. Park
D. Lee
pp. 213
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Statically Checkable Design Level Traits
J. Gil
Y. Eckel
pp. 217
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Parameterising (Algebraic) Specifications on Diagrams
T. Dimitrakos
pp. 221
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Visualization Concept for Hierarchical Object Models
S. Berner
S. Joos
M. Glinz
M. Arnold
pp. 225
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 6a: Program Understanding and Debugging
Task Oriented Software Understanding
A. Erdem
W. Johnson
S. Marsella
pp. 230
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Explaining Synthesized Software
J. Van Baalen
P. Robinson
M. Lowry
T. Pressburger
pp. 240
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Configurable Automatic Instrumentation Tool for ANSI C
K. Templer
C. Jeffery
pp. 249
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 6b: Synthesis and Development Environments
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm
A. Haeberer
T. Maibaum
pp. 260
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Planware ? Domain-Specific Synthesis of High-Performance Schedulers
L. Blaine
L. Gilham
J. Liu
D. Smith
S. Westfold
pp. 270
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 7a: Short Papers
ASSISTing Exit Decisions in Software Inspection
J. Miller
F. Macdonald
pp. 281
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
An Automated Framework for Structural Test-Data Generation
N. Tracey
J. Clark
K. Mander
J. McDermid
pp. 285
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
ADLscope: An Automated Specification-based Unit Testing Tool
J. Chang
D. Richardson
pp. 289
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
An Empirical Study of the Evolution of a Software System
R. Mark Greenwood
, University of Manchester
Brian Warboys
, University of Manchester
Rachel Harrison
, University of Southampton
Peter Henderson
, University of Southampton
pp. 293
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Coordination System Approach to Software Workflow Process Evolution
J. Andreoli
C. Fernström
J. Meunier
pp. 297
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Session 7b: Short Papers
Requirements Engineering and Verification using Specification Animation
D. Hazel
P. Strooper
O. Traynor
pp. 302
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Automated Knowledge Acquisition and Application for Software Development Projects
E. Baisch
T. Liedtke
pp. 306
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Developing the Designer's Toolkit with Software Comprehension Models
A. Walenstein
pp. 310
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Development, Assessment, and Reengineering of Language Descriptions
A. Sellink
C. Verhoef
pp. 314
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Brewing Fresh JAVA from Legacy Lisp ? An Experiment in Automated Reverse Engineering
T. Harmer
J. Boyle
pp. 318
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Index of Authors
pp. 333
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Sponsored Whitepaper
11 Best Practices
for Peer Code Review
