Automated Software Engineering （ASE） - April 2002, issue 2 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： April 2002, issue 2 |
| 发布时间： |
| 卷期年份： 2002 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/9-2 |
本期论文列表
Guest Editorial: Software Engineering for Mobility
Mark, a Reasoning Kit for Mobility
XMILE: An XML Based Approach for Incremental Code Mobility and Update
The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments
Being Logical About Desert Island Reading
Guest Editor's Introduction
Proving Invariants of I/O Automata with TAME
Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design
Creating High Confidence in a Separation Kernel
The DSD Schema Language
Desert Island Books
Introduction
Extension Language Automation of Embedded System Debugging
Static and Dynamic Slicing of Constraint Logic Programs
Kima: An Automated Error Correction System for Concurrent Logic Programs
Non-Intrusive Detection of Synchronization Errors Using Execution Replay
Desert Island Column
On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
Desert Island Reading: A Software Engineering Perspective