Automated Software Engineering （ASE） - April 2001, issue 2 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： April 2001, issue 2 |
| 发布时间： |
| 卷期年份： 2001 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/8-2 |
本期论文列表
Inductive Programming
Predictive Software
Logic Program Synthesis as Problem Reduction Using Combining Forms
The Automated Refinement of a Requirements Domain Theory
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Model Checking Interactor Specifications
An Approach for Recovering Distributed System Architectures
Eight Desert Island Books
Guest Editorial
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automatic Generation of Test Oracles—From Pilot Studies to Application
Modeling Architecture Description Languages Using AML
Evolving Object-Oriented Designs with Refactorings
Software Engineering Books for Desert Island Reading