Editorial
Automated Software Engineering
Logic of Change
Automating Support for Software Evolution in UML
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Three Books for a Desert Island