Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
“..., implementation, maintenance, and evolution.  The focus of the journal also includes modelling techniques, new...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... of Composition Models for Supporting Software Evolution -- Context-Aware Aspects -- Understanding Design Patterns...”