Composability, Comprehensibility and Correctness of Working Software
Winter School, 3COWS (CEFP) 2018, Košice, Slovakia, January 22–26, 2018, Revised Selected Papers
Buch in deiner Nähe kaufen
Beschreibung
This volume presents the revised, extended lecture notes of the 3COWS Winter School on Composability, Comprehensibility and Correctness of Working Software held in Košice on January 22–26, 2018.
The 11 papers included in this volume were carefully reviewed and selected. The lectures cover the above topics, and also functional, imperative, and object-oriented approaches towards working software.
The 3COWS Winter School continued the long tradition of the Central European Functional Programming Schools (CEFP).
This volume presents the revised, extended lecture notes of the 3COWS Winter School on Composability, Comprehensibility and Correctness of Working Software held in Košice on January 22–26, 2018.
The 11 papers included in this volume were carefully reviewed and selected. The lectures cover the above topics, and also functional, imperative, and object-oriented approaches towards working software.
The 3COWS Winter School continued the long tradition of the Central European Functional Programming Schools (CEFP).
Contributions were rigorously reviewed, selected, and extended Valuable contribution to Software Engineering education School scope was broadened to include functional, imperative and object-oriented approaches towards working software Part of the established CEFP school series
Autor*in
Clemens Grelck
Themen in »Composability, Comprehensibility and Correctness of Working Software«
software engineering software organization and properties software notations and tools software creation and management software verification and validation sustainable programming education and teaching energy-efficient computing Natural Language Processing symbolic execution functional programming cloud computing static code analysis Internet of Things domain-specific programming languages