Composability, Comprehensibility and Correctness of Working Software

Composability, Comprehensibility and Correctness of Working Software
Author :
Publisher : Springer Nature
Total Pages : 398
Release :
ISBN-10 : 9783031428333
ISBN-13 : 3031428331
Rating : 4/5 (331 Downloads)

Book Synopsis Composability, Comprehensibility and Correctness of Working Software by : Zoltán Porkoláb

Download or read book Composability, Comprehensibility and Correctness of Working Software written by Zoltán Porkoláb and published by Springer Nature. This book was released on 2023-11-18 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.


Composability, Comprehensibility and Correctness of Working Software Related Books

Composability, Comprehensibility and Correctness of Working Software
Language: en
Pages: 398
Authors: Zoltán Porkoláb
Categories: Computers
Type: BOOK - Published: 2023-11-18 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4
Non-Functional Requirements in Software Engineering
Language: en
Pages: 458
Authors: Lawrence Chung
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Non-Functional Requirements in Software Engineering presents a systematic and pragmatic approach to `building quality into' software systems. Systems must exhib
Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems
Language: en
Pages: 380
Authors: Andrea Fiaschetti
Categories: Computers
Type: BOOK - Published: 2017-12-15 - Publisher: CRC Press

DOWNLOAD EBOOK

With a business baseline focused on the impact of embedded systems in the years ahead, the book investigates the Security, Privacy and Dependability (SPD) requi
Non-functional Requirements in Systems Analysis and Design
Language: en
Pages: 276
Authors: Kevin MacG. Adams
Categories: Technology & Engineering
Type: BOOK - Published: 2015-04-23 - Publisher: Springer

DOWNLOAD EBOOK

This book will help readers gain a solid understanding of non-functional requirements inherent in systems design endeavors. It contains essential information fo
Evaluation of Novel Approaches to Software Engineering
Language: en
Pages: 275
Authors: Leszek A. Maciaszek
Categories: Computers
Type: BOOK - Published: 2011-11-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains a collection of thoroughly refereed papers presented at the 5th International Conference on Evaluation of Novel Approaches to Software Engine