Software Development category: 2585 books
Reactive Messaging Patterns with the Actor Model
Applications and Integration in Scala and Akka
Language: English
Release Date: July 13, 2015
USE THE ACTOR MODEL TO BUILD SIMPLER SYSTEMS WITH BETTER PERFORMANCE AND SCALABILITY
Enterprise software development has been much more difficult and failure-prone than it needs to be. Now, veteran software engineer and author Vaughn Vernon offers an easier and more rewarding method...
by Kevin Lano
Language: English
Release Date: February 17, 2017
Language: English
Release Date: February 17, 2017
This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile...
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
Language: English
Release Date: October 5, 2016
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.
The papers presented in this volume were...
Solving Software Challenges for Exascale
International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Language: English
Release Date: February 18, 2015
This volume contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014.
The 6 full papers presented together with 6 short papers were carefully reviewed and selected...
Five Core Metrics
The Intelligence Behind Successful Software Management
Language: English
Release Date: July 18, 2013
This is the digital version of the printed book (Copyright © 2003).
To succeed in the software industry, managers need to cultivate a reliable development process. By measuring what teams have achieved on previous projects, managers can more accurately set goals, make bids, and ensure the...
by Alan Page, Ken Johnston, Bj Rollison
Language: English
Release Date: December 10, 2008
Language: English
Release Date: December 10, 2008
It may surprise you to learn that Microsoft employs as many software testers as developers. Less surprising is the emphasis the company places on the testing discipline—and its role in managing quality across a diverse, 150+ product portfolio. This book—written by three of Microsoft’s...
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Language: English
Release Date: October 4, 2016
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.
The papers presented in this volume were...
by
Language: English
Release Date: August 31, 2014
Language: English
Release Date: August 31, 2014
Professionals in the interdisciplinary field of computer science focus on the design, operation, and maintenance of computational systems and software. Methodologies and tools of engineering are utilized alongside the technological advancements of computer applications to develop efficient and precise...
Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud
11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings
Language: English
Release Date: January 21, 2019
This book constitutes the refereed proceedings of the 11th Software Quality Days Conference, SWQD 2019, held in Vienna, Austria, in January 2019.
The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conferences on software quality in Europe with a strong...
by Max Kanat-Alexander
Language: English
Release Date: September 29, 2017
Language: English
Release Date: September 29, 2017
Software legend Max Kanat-Alexander shows you how to succeed as a developer by embracing simplicity, with forty-three essays that will help you really understand the software you work with.
About This Book
Read and enjoy the superlative writing and insights of the legendary Max Kanat-Alexander
...
Python Testing Cookbook
Easy solutions to test your Python projects using test-driven development and Selenium, 2nd Edition
Language: English
Release Date: June 29, 2018
Fix everyday testing problems in Python with the help of this solution-based guide
Key Features
Use powerful tools such as doctest and unittest to make testing convenient
Apply automation testing to an existing legacy system that isn't test oriented
A practical guide to ease testing in Python...
by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Language: English
Release Date: March 14, 2010
Language: English
Release Date: March 14, 2010
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP,...
Experimentation in Software Engineering
An Introduction
Language: English
Release Date: December 6, 2012
It is my belief that software engineers not only need to know software engineering methods and processes, but that they also should know how to assess them. Conse quently, I have taught principles of experimentation and empirical studies as part of the software engineering curriculum. Until now,...
by Joakim Verona
Language: English
Release Date: February 16, 2016
Language: English
Release Date: February 16, 2016
Harness the power of DevOps to boost your skill set and make your IT organization perform better
About This Book
Get to know the background of DevOps so you understand the collaboration between different aspects of an IT organization and a software developer
Improve your organization's performance...