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.