Software Development category: 2585 books
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Language: English
Release Date: February 14, 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.
The NSV workshop is dedicated to...
by Len Bass, Rick Kazman, Paul Clements
Language: English
Release Date: April 9, 2003
Language: English
Release Date: April 9, 2003
This award-winning book, substantially updated to reflect the latest developments in the field, introduces the concepts and best practices of software architecture--how a software system is structured and how that system's elements are meant to interact. Distinct from the details of implementation,...
Software Engineering and Formal Methods
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Language: English
Release Date: June 22, 2016
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions....
Patterns of HCI Design and HCI Design of Patterns
Bridging HCI Design and Model-Driven Software Engineering
Language: English
Release Date: May 28, 2015
As interactive systems are quickly becoming integral to our everyday lives, this book investigates how we can make these systems, from desktop and mobile apps to more wearable and immersive applications, more usable and maintainable by using HCI design patterns. It also examines how we can facilitate...
Basics Python Skills
Concepts, Techniques and models
Language: English
Release Date: May 26, 2016
Python is a widely used high-level, general-purpose, interpreted, dynamic programming language Its design philosophy emphasizes code readability, and its syntax allows programmers to express concepts in fewer lines of code than would be possible in languages such as C++ or Java. The language provides...
Just Enough Requirements Management
Where Software Development Meets Marketing
Language: English
Release Date: July 18, 2013
This is the digital version of the printed book (Copyright © 2005). If you develop software without understanding the requirements, you're wasting your time. On the other hand, if a project spends too much time trying to understand the requirements, it will end up late and/or over-budget. And products...
Agile Application Lifecycle Management
Using DevOps to Drive Process Improvement
Language: English
Release Date: June 1, 2016
Integrate Agile ALM and DevOps to Build Better Software and Systems at Lower Cost
Agile Application Lifecycle Management (ALM) is a comprehensive development lifecycle that encompasses essential Agile principles and guides all activities needed to deliver successful software or other...
by Nick Birch
Language: English
Release Date: January 23, 2015
Language: English
Release Date: January 23, 2015
Thesis (M.A.) from the year 2015 in the subject Computer Science - Software, grade: 1.6, Central Queensland University, course: Arts Administration Research, language: English, abstract: Software as a Service (SaaS) is changing the way businesses operate. It's not just a trend: it's a proven way for...
Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Language: English
Release Date: July 11, 2017
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017,...
Demystifying Computation
A Hands-On Introduction
Language: English
Release Date: April 19, 2017
Problem solving in computing is referred to as computational thinking. The theory behind this concept is challenging in its technicalities, yet simple in its ideas. This book introduces the theory of computation from its inception to current form of complexity; from explanations of how the field of...
by
Language: English
Release Date: January 14, 2016
Language: English
Release Date: January 14, 2016
In a down-to-the earth manner, the volume lucidly presents how the fundamental concepts, methodology, and algorithms of Computational Intelligence are efficiently exploited in Software Engineering and opens up a novel and promising avenue of a comprehensive analysis and advanced design of software...
by
Language: English
Release Date: June 12, 2015
Language: English
Release Date: June 12, 2015
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding...
by
Language: English
Release Date: July 9, 2013
Language: English
Release Date: July 9, 2013
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment...
by Darrin Perez
Language: English
Release Date: December 19, 2014
Language: English
Release Date: December 19, 2014
Beginning RPG Maker VX Ace takes you through the process of using the RPG Maker VX Ace game development engine to create your very own role playing game. The book has been designed with the complete beginner in mind who has little to no experience with the engine. Tutorials and exercises will take...