Automated Software Engineering （ASE） - April 2004, issue 2 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： April 2004, issue 2 |
| 发布时间： |
| 卷期年份： 2004 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/11-2 |
本期论文列表
Introduction
Inductively Verifying Invariant Properties of Parameterized Systems
Strategy for Verifying Security Protocols with Unbounded Message Size
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System
Desert Island Reading Assignment
Introduction
Precise Call Graphs for C Programs with Function Pointers
Syntax-Directed Amorphous Slicing
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Desert Island Column
Introduction to Special Issue on Distributed and Mobile Software Engineering
CODEWEAVE: Exploring Fine-Grained Mobility of Code
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Model Checking for Combined Logics with an Application to Mobile Systems
Desert Island Column: Saving Software Engineering
Guest Editors' Introduction
Automatically Restructuring Programs for the Web
Cluster-Based Partial-Order Reduction
TestEra: Specification-Based Testing of Java Programs Using SAT