Automated Software Engineering （ASE） - April 2003, issue 2 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： April 2003, issue 2 |
| 发布时间： |
| 卷期年份： 2003 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/10-2 |
本期论文列表
Guest Editorial: ASE 2000 Special Issue
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems
CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis
Renaming Detection
Model Checking Programs
Desert Island: Software Engineering—A Human Activity
Guest Editorial: XML and Software Engineering
Small-Scale XMI Programming: A Revolution in UML Tool Use?
Automatic Construction of XML-Based Tools Seen as Meta-Programming
Dynamic Query-Based Debugging of Object-Oriented Programs
Relative Debugging of Automatically Parallelized Programs
Some Reading for ASE Island
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
User Interface Reverse Engineering in Support of Interface Migration to the Web
Desert Island
Agile Parsing in TXL
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation
Desert Island Column