Automated Software Engineering （ASE） - December 2009, issue 3-4 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： December 2009, issue 3-4 |
| 发布时间： |
| 卷期年份： 2009 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/16-3 |
本期论文列表
A first editorial
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
A semantic framework for metamodel-based languages
Automated software license analysis
Editorial for Special Issue of JASE on Source Code Analysis and Manipulation
Precise slicing of concurrent programs
Trading-off security and performance in barrier slicing for remote software entrusting
On temporal path conditions in dependence graphs
Demand-driven evaluation of collection attributes
An integrated crosscutting concern migration strategy and its semi-automated application to JHotDraw
Improving static resolution of dynamic class loading in Java using dynamically gathered environment information
Parameter reference immutability: formal definition, inference tool, and comparison
Fast extraction of high-quality framework-specific models from application code
Scalable satisfiability checking and test data generation from modeling diagrams
Keyword programming in Java
Monitoring and diagnosing software requirements
Guest editors’ introduction