18. ASE 2003:
Montreal,
Canada
18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada.
IEEE Computer Society 2003, ISBN 0-7695-2035-9 BibTeX
@proceedings{DBLP:conf/kbse/2003,
title = {18th IEEE International Conference on Automated Software Engineering
(ASE 2003), 6-10 October 2003, Montreal, Canada},
booktitle = {ASE},
publisher = {IEEE Computer Society},
year = {2003},
isbn = {0-7695-2035-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Regular Papers
Requirements,
Interfaces and Groupware
Testing I
Software Architectures and Distributed Systems
Model Checking
Software Components
Testing II
Software Evolution and Maintenance
Short Papers
- James Skene, Wolfgang Emmerich:
A Model-Driven Approach to Non-Functional Analysis of Software Architectures.
236-239
Electronic Edition (link) BibTeX
- Wolfgang Mayer, Markus Stumptner:
Extending Diagnosis to Debug Programs with Exceptions.
240-244
Electronic Edition (link) BibTeX
- Dirk Heuzeroth, Stefan Mandel, Welf Löwe:
Generating Design Pattern Detectors from Pattern Specifications.
245-248
Electronic Edition (link) BibTeX
- Lan Guo, Bojan Cukic, Harshinder Singh:
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks.
249-252
Electronic Edition (link) BibTeX
- Peter Bunus, Peter Fritzson:
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models.
253-258
Electronic Edition (link) BibTeX
- Sebastiano Vigna:
Automatic Generation of Content Management Systems from EER-Based Specifications.
259-262
Electronic Edition (link) BibTeX
- Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel:
Automated Requirements-based Generation of Test Cases for Product Families.
263-266
Electronic Edition (link) BibTeX
- Gabriela Arévalo, Stéphane Ducasse, Oscar Nierstrasz:
XRay Views: Understanding the Internals of Classes.
267-270
Electronic Edition (link) BibTeX
- Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman:
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations.
271-276
Electronic Edition (link) BibTeX
- Yann-Gaël Guéhéneuc, Hervé Albin-Amiot:
A Pragmatic Study of Binary Class Relationships.
277-280
Electronic Edition (link) BibTeX
- Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi:
The Feature Signatures of Evolving Programs.
281-285
Electronic Edition (link) BibTeX
- Ingo Stürmer, Mirko Conrad:
Test Suite Design for Code Generation Tools.
286-290
Electronic Edition (link) BibTeX
- Hannah Harris, Mark Ryan:
Theoretical Foundations of Updating Systems.
291-294
Electronic Edition (link) BibTeX
- Harald Holz:
An Incremental Approach to Task-Specific Information Delivery in SE Processe.
295-298
Electronic Edition (link) BibTeX
- David S. Wile:
Architecture Style-Based Calculi for Non-functional Properties.
299-303
Electronic Edition (link) BibTeX
- Grigore Rosu, Feng Chen:
Certifying Measurement Unit Safety Polic.
304-309
Electronic Edition (link) BibTeX
- Eugenia Díaz, Javier Tuya, Raquel Blanco:
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search.
310-313
Electronic Edition (link) BibTeX
- Yunja Choi, Mats Per Erik Heimdahl:
Model Checking Software Requirement Specifications using Domain Reduction Abstraction.
314-317
Electronic Edition (link) BibTeX
- Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor:
An Approach for Tracing and Understanding Asynchronous Architectures.
318-322
Electronic Edition (link) BibTeX
- Alejandra Garrido, Ralph Johnson:
Refactoring C with Conditional Compilation.
323-326
Electronic Edition (link) BibTeX
- Moacir C. da Silva Jr., Paulo Asterio de Castro Guerra, Cecília M. F. Rubira:
A Java Component Model for Evolving Software Systems.
327-330
Electronic Edition (link) BibTeX
- Abhik Roychoudhury:
Depiction and Playout of Multi-threaded Program Executions.
331-336
Electronic Edition (link) BibTeX
- Bernd Fischer, Johann Schumann:
Applying AutoBayes to the Analysis of Planetary Nebulae Images.
337-342
Electronic Edition (link) BibTeX
- Bill J. Ellis, Andrew Ireland:
Automation for Exception Freedom Proofs.
343-346
Electronic Edition (link) BibTeX
- Robert J. Hall, Andrea Zisman:
Overview of OpenModel-based Validation with Partial Information.
347-351
Electronic Edition (link) BibTeX
Doctoral Symposium Papers
Copyright © Sat May 16 23:27:51 2009
by Michael Ley (ley@uni-trier.de)
