Automated Software Engineering （ASE） - April 2006, issue 2 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： April 2006, issue 2 |
| 发布时间： |
| 卷期年份： 2006 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/13-2 |
本期论文列表
Introduction
Real-life IT architecture design reports and their relation to IEEE Std 1471 stakeholders and concerns
Using software evolution to focus architectural recovery
Runtime recovery and manipulation of software architecture of component-based systems
Separating sequence overlap for automated test sequence generation
Automated user interface engineering with a pattern reflecting programming language
Automated Prototyping of User Interfaces Based on UML Scenarios
Integrating COTS Software into Systems through Instrumentation and Reasoning
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
On the Systematic Analysis of Natural Language Requirements with CIRCE
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Guest Editors’ Introduction
Tool-assisted unit-test generation and selection based on operational abstractions
A family of experiments to investigate the effects of groupware for software inspection
Specification and synthesis of hybrid automata for physics-based animation
Explicit modeling of semantics associated with composite states in UML statecharts
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation
A formal approach based on UML and B for the specification and development of database applications