Automated Software Engineering （ASE） - December 2008, issue 3-4 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： December 2008, issue 3-4 |
| 发布时间： |
| 卷期年份： 2008 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/15-3 |
本期论文列表
A final editorial
What is software?
Automated software engineering: supporting understanding
Model driven code checking
Reasoning about programs via operational semantics: requirements for a support system
A journey to highly dynamic, self-adaptive service-based applications
The socio-economics of software architecture
Rethinking software design in participation cultures
Personal reflections on automation, programming culture, and model-based software engineering
Desert Island Column
A method and tools for large scale scenarios
Requirements model generation to support requirements elicitation: the Secure Tropos experience
Deriving event-based transition systems from goal-oriented requirements models
On similarity-awareness in testing-based fault localization
Desert Island Column
Guest Editors’ Introduction
A portable compiler-integrated approach to permanent checking
Differencing and merging of architectural views
Continuous and automated evolution of architecture-to-implementation traceability links
Desert Island Column