The papers of this volume focus on the foundational aspects of computer science the thematic
origin and stronghold of LNCS under the title Computing and Software Science: State of the Art
and Perspectives. They are organized in two parts:The first part Computation and Complexity
presents a collection of expository papers on fashionable themes in algorithmics optimization
and complexity.The second part Methods Languages and Tools for Future System Development
aims at sketching the methodological evolution that helps guaranteeing that future systems meet
their increasingly critical requirements. Chapter 3 is available open access under a Creative
Commons Attribution 4.0 International License via link.springer.com.
