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