Nowadays, developers have to face the proliferation of hardware and software environments, the in...

This text comprises the edited collection of papers presented at the NATO Advanced Study Institut...

This volume contains most of the papers presented at a workshop on research directions in high-le...

The aim of this study is to provide evidence of the relevance of functional programming for softw...

Engineering of Software-Intensive Systems: State of the Art and Research Challenges.- Engineering...