Search results: Found 6

Listing 1 - 6 of 6
Sort by
Rethinking Productivity in Software Engineering

Authors: ---
ISBN: 9781484242216 Year: Pages: 310 DOI: 10.1007/978-1-4842-4221-6 Language: English
Publisher: Springer Nature
Subject: Business and Management --- Computer Science
Added to DOAB on : 2020-02-05 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity. The results of their work, Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, guidelines for measuring productivity in specific contexts, best practices and pitfalls, and theories and open questions on productivity. You'll benefit from the many short chapters, each offering a focused discussion on one aspect of productivity in software engineering. Readers in many fields and industries will benefit from their collected work. Developers wanting to improve their personal productivity, will learn effective strategies for overcoming common issues that interfere with progress. Organizations thinking about building internal programs for measuring productivity of programmers and teams will learn best practices from industry and researchers in measuring productivity. And researchers can leverage the conceptual frameworks and rich body of literature in the book to effectively pursue new research directions. What You'll Learn Review the definitions and dimensions of software productivity See how time management is having the opposite of the intended effect Develop valuable dashboards Understand the impact of sensors on productivity Avoid software development waste Work with human-centered methods to measure productivity Look at the intersection of neuroscience and productivity Manage interruptions and context-switching Who Book Is For Industry developers and those responsible for seminar-style courses that include a segment on software developer productivity. Chapters are written for a generalist audience, without excessive use of technical terminology. ; Collects the wisdom of software engineering thought leaders in a form digestible for any developer Shares hard-won best practices and pitfalls to avoid An up to date look at current practices in software engineering productivity

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030255404 Year: Pages: 673 DOI: 10.1007/978-3-030-25540-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.

Programming Languages and Systems

Author:
Book Series: Lecture Notes in Computer Science ISBN: 9783030171841 Year: Pages: 816 DOI: 10.1007/978-3-030-17184-1 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

Fundamental Approaches to Software Engineering

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030167226 Year: Pages: 446 DOI: 10.1007/978-3-030-16722-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.

Pro TBB

Authors: --- ---
ISBN: 9781484243985 Year: Pages: 754 DOI: 10.1007/978-1-4842-4398-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-02-05 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices to help you become an effective TBB programmer and leverage the power of parallel systems. Pro TBB starts with the basics, explaining parallel algorithms and C++'s built-in standard template library for parallelism. You'll learn the key concepts of managing memory, working with data structures and how to handle typical issues with synchronization. Later chapters apply these ideas to complex systems to explain performance tradeoffs, mapping common parallel patterns, controlling threads and overhead, and extending TBB to program heterogeneous systems or system-on-chips. What You'll Learn Use Threading Building Blocks to produce code that is portable, simple, scalable, and more understandable Review best practices for parallelizing computationally intensive tasks in your applications Integrate TBB with other threading packages Create scalable, high performance data-parallel programs Work with generic programming to write efficient algorithms Who This Book Is For C++ programmers learning to run applications on multicore systems, as well as C or C++ programmers without much experience with templates. No previous experience with parallel programming or multicore processors is required. ;

Foundations of Software Science and Computation Structures

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030171278 Year: Pages: 542 DOI: 10.1007/978-3-030-17127-8 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.

Listing 1 - 6 of 6
Sort by
Narrow your search

Publisher

Springer Nature (6)


License

CC by (4)

CC by-nc-nd (2)


Language

english (6)


Year
From To Submit

2019 (6)