Software Development category: 2585 books
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Language: English
Release Date: August 23, 2015
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96...
Reliable Software Technologies – Ada-Europe 2016
21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Language: English
Release Date: May 30, 2016
This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.
The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from...
by
Language: English
Release Date: July 24, 2019
Language: English
Release Date: July 24, 2019
This edited book presents the scientific outcomes of the 17th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2019) held on May 29–31, 2019 in Honolulu, Hawaii. The aim of the conference was to bring together researchers and scientists,...
by Anne Kramer, Bruno Legeard
Language: English
Release Date: March 29, 2016
Language: English
Release Date: March 29, 2016
Provides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB® Model-Based Tester—Foundation Level Certification Syllabus
This book covers the essentials of Model-Based Testing (MBT) needed to pass the ISTQB® Foundation Level Model-Based...
Software Technologies: Applications and Foundations
STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Language: English
Release Date: January 29, 2018
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.
The 15 full and 22 short papers presented were carefully...
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Language: English
Release Date: April 18, 2017
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.
The six contributions included in this volume provide...
Software, Animation and the Moving Image
What's in the Box?
Language: English
Release Date: December 12, 2014
Software, Animation and the Moving Image brings a unique perspective to the study of computer-generated animation by placing interviews undertaken with animators alongside an analysis of the user interface of animation software. Wood develops a novel framework for considering computer-generated images found in visual effects and animations.
Autotools
A Practitioner's Guide to GNU Autoconf, Automake, and Libtool
Language: English
Release Date: July 15, 2010
The GNU Autotools make it easy for developers to create software that is portable across many Unix-like operating systems. Although the Autotools are used by thousands of open source software packages, they have a notoriously steep learning curve. And good luck to the beginner who wants to find anything...
by Rawane Madi
Language: English
Release Date: September 24, 2013
Language: English
Release Date: September 24, 2013
Learning Software Testing with Test Studio is a practical, hands-on guide that will help you get started with Test Studio to design your automated solution and tests. All through the book, there are best practices and tips and tricks inside Test Studio which can be employed to improve your solution just...
by Daniel Jackson
Language: English
Release Date: April 7, 2006
Language: English
Release Date: April 7, 2006
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Language: English
Release Date: October 17, 2017
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
The 19 full papers presented together with 3 invited talks were carefully reviewed and selected...
by Jonathan Arnowitz, Michael Arent, Nevin Berger
Language: English
Release Date: July 19, 2010
Language: English
Release Date: July 19, 2010
Effective Prototyping for Software Makers is a practical, informative resource that will help anyone—whether or not one has artistic talent, access to special tools, or programming ability—to use good prototyping style, methods, and tools to build prototypes and manage for effective prototyping.
This...
Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Language: English
Release Date: March 30, 2017
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice...
Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Language: English
Release Date: August 26, 2015
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27...