Automated Software Engineering
, Volume 8
Volume 8, Number 1, January 2001
Robert J. Hall
,
Enn Tyugu
:
Guest Editorial.
5-6
Keith E. Williamson
,
Michael Healy
,
Richard A. Barker
:
Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware.
7-30
Martin S. Feather
,
Benjamin D. Smith
:
Automatic Generation of Test Oracles-From Pilot Studies to Application.
31-61
David S. Wile
:
Modeling Architecture Description Languages Using AML.
63-88
Lance Tokuda
,
Don S. Batory
:
Evolving Object-Oriented Designs with Refactorings.
89-120
David W. Bustard
:
Software Engineering Books for Desert Island Reading.
121-123
Volume 8, Number 2, April 2001
Pierre Flener
,
Derek Partridge
:
Inductive Programming.
131-137
José Hernández-Orallo
,
M. José Ramírez-Quintana
:
Predictive Software.
139-166
Andreas Hamfelt
,
Jørgen Fischer Nilsson
,
Nikolaj Oldager
:
Logic Program Synthesis as Problem Reduction Using Combining Forms.
167-193
T. L. McCluskey
,
Margaret Mary West
:
The Automated Refinement of a Requirements Domain Theory.
195-218
Volume 8, Number 3-4, August 2001
Ugo A. Buy
,
Robert H. Sloan
:
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset.
227-273
José Creissac Campos
,
Michael D. Harrison
:
Model Checking Interactor Specifications.
275-310
Nabor C. Mendonça
,
Jeff Kramer
:
An Approach for Recovering Distributed System Architectures.
311-354
Darrel C. Ince
:
Eight Desert Island Books.
355-358
Last update Thu Feb 9 05:20:46 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page