Automated Software Engineering （ASE） - December 1995, issue 4 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： December 1995, issue 4 |
| 发布时间： |
| 卷期年份： 1995 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/2-4 |
本期论文列表
A specification-based approach to concurrency analysis
Integrating specifications: A similarity reasoning approach
Requirements engineering: An educational dilemma
Desert Island column
Inductive specification recovery: Understanding software by learning from example behaviors
Systematic incremental validation of reactive systems via sound scenario generalization
Process specification generation from communications service specifications