default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated 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 - Thomas Leo 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
