The Kluwer international series in software engineering