0928-8910

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