Automated Software Engineering （ASE） - April 1999, issue 2 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： April 1999, issue 2 |
| 发布时间： |
| 卷期年份： 1999 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/6-2 |
本期论文列表
Playing Detective: Reconstructing Software Architecture from Available Evidence
Efficient Specification-Based Component Retrieval
Overlaps in Requirements Engineering
Desert Island Column: The Long Story of a Short Theorem
Guest Editorial
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Model Checking Complete Requirements Specifications Using Abstraction
Refining Model Checking by Abstract Interpretation
Guest Editorial
Formal Specifications of User Requirements
A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation
Mapping Procedural Patterns to Object-Oriented Design Patterns
A Comparison of Computer Support Systems for Software Inspection
Desert Island Column
Guest Editorial
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
A Concept Formation Based Approach to Object Identification in Procedural Code
Efficient Implementations of Software Architectures via Partial Evaluation
Desert Island Column: The Books Don't Work