Automated Software Engineering （ASE） - April 2005, issue 2 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： April 2005, issue 2 |
| 发布时间： |
| 卷期年份： 2005 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/12-2 |
本期论文列表
Rewriting-Based Techniques for Runtime Verification
Reuse-Conducive Development Environments
Interactive and Probabilistic Proof of Mobile Code Safety
Web Application Slicing in Presence of Dynamic Code Generation
SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions
Fundamental Nonmodularity in Electronic Mail
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks
Developing Ambient Intelligence Systems: A Solution based on Web Services
Desert Island Column
Introduction
Component Verification with Automatically Generated Assumptions
Deviation Analysis: A New Use of Model Checking
Modular Verification of Open Features Using Three-Valued Model Checking
Desert Island Reading: Back to the Future
Introduction
Automated Procedure Construction for Deductive Synthesis
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
Tool-Supported Verification of Product Line Requirements