Software Development category: 2585 books
by Kun Ma, Ajith Abraham, Bo Yang
Language: English
Release Date: February 19, 2016
Language: English
Release Date: February 19, 2016
This book presents some of the emerging techniques and technologies used to handle Web data management. Authors present novel software architectures and emerging technologies and then validate using experimental data and real world applications. The contents of this book are focused on four popular...
Identifying Relevant Information for Testing Technique Selection
An Instantiated Characterization Schema
Language: English
Release Date: December 6, 2012
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget...
by Mark Garzone
Language: English
Release Date: October 17, 2014
Language: English
Release Date: October 17, 2014
This book is a guide to software testing of mobile apps, web apps, and games. It covers all aspects of testing such as manual testing, test cases design, automation testing, exploratory testing and performance testing. The book discusses tips, techniques, and tools for the every day tester needed to accomplish their job. It also includes advice on how to be a better tester and test manager.
Complete Guide to Digital Project Management
From Pre-Sales to Post-Production
Language: English
Release Date: February 19, 2018
Get a 360-degree view of digital project management. Learn proven best practices from case studies and real-world scenarios. A variety of project management tools, templates, models, and frameworks are covered.
This book provides an in-depth view of digital project management from initiation...
by Atif Memon
Language: English
Release Date: January 8, 2019
Language: English
Release Date: January 8, 2019
Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial...
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Language: English
Release Date: December 15, 2017
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The 12 full papers presented were carefully revised and selected...
Software Challenges to Exascale Computing
Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings
Language: English
Release Date: April 9, 2019
This book constitutes the refereed proceedings of the Second Workshop on Software Challenges to Exascale Computing, SCEC 2018, held in Delhi, India, in December 2018.
The 10 papers presented in this volume were carefully reviewed and selected from 24 submissions and focus on scientific applications,...
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Language: English
Release Date: October 13, 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International...
Serverless Design Patterns and Best Practices
Build, secure, and deploy enterprise ready serverless applications with AWS to improve developer productivity
Language: English
Release Date: April 12, 2018
Get started with designing your serverless application using optimum design patterns and industry standard practices
Key Features
Learn the details of popular software patterns and how they are applied to serverless applications
Understand key concepts and components in serverless designs
Walk...
Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Language: English
Release Date: June 18, 2018
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions....
by Manfred Broy, Marco Kuhrmann
Language: German
Release Date: September 26, 2013
Language: German
Release Date: September 26, 2013
Die Entwicklung umfangreicher Softwaresysteme erfordert neben der Beherrschung von Softwaretechnik auch eine fundierte Projektplanung, -organisation und -durchführung. Nötig sind Kenntnisse der Aufwandsschätzung und des Angebots- und Vertragswesens. Das einzigartige Lehrbuch für Studenten bietet...
Software Technologies: Applications and Foundations
STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Language: English
Release Date: December 6, 2018
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.
The 65 full papers presented were carefully reviewed...
Kiểm thử và đảm bảo chất lượng phần mềm
Tester. Hướng dẫn tự học Tester từ cơ bản đến nâng cao
Language: English
Release Date: April 18, 2019
KIỂM THỬ VÀ ĐẢM BẢO CHẤT LƯỢNG PHẦN MỀM
Kiểm thử phần mềm là quá trình khảo sát một hệ thống hay thành phần dưới những điều kiện xác định, quan sát và ghi lại các kết quả, và đánh giá một khía cạnh nào đó của hệ...
by
Language: English
Release Date: July 1, 2015
Language: English
Release Date: July 1, 2015
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.