Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

Software Testing for Managers: An Introduction to Strategies, Technologies, and Best Practices

Software leaders, directors, and managers of all types need to know about software testing. It can be a tough climb up the mountain of technical jargon. Engineers seem to be speaking a language all their own sometimes. Most books on testing are deep in the weeds with technical terms and techniques that simply aren’t applicable even to technical managers. This book provides a high-level perspective on broad topics in a friendly, easy-to-absorb style. Get started and up to speed quickly with immediately useful, actionable guidance. Guidance on team structure, best practices and even common pitfalls will save you time and money, while automation and code reuse will provide exponential value.There’s a gap of knowledge between engineers and their managers; they are almost speaking different languages and the jargon can be confusing. There’s a lot to know about the world of testing. Test from the Top delivers quick, concise guidance to bridge the gap! It offers clear, actionable steps and is a must have for busy leaders who need quick answers.What You Will Learn:How and where to integrate testing in the software development lifecycleTesting terminology and concepts from a management perspectiveCommon pitfalls of testing, how to avoid wasted timeHow to hire test-aware teamsThe value in reusing test code for more generalized automationWho This Book is for:Software managers, Lead Software Engineers, Tech Directors, CTOs, Project Managers, software leaders of all kinds. These leaders understand the value of testing, but have not yet built out extensive automation or team structure. Either new to testing concepts or modernizing systems or looking to improve software quality. Assumed to have a working knowledge of the Software Development Lifecycle and basic project management (no specific methodology required).

Software Testing in the Cloud: Migration and Execution (SpringerBriefs in Computer Science)

For a large, complex system, the amount of test cases in a regression test suite can range from a few hundred to several thousands, which can take hours or even days to execute. Regression testing also requires considerable resources that are often not readily available. This precludes their use in an interactive setting, further contributing to an inefficient testing process.Cloud computing offers the use of virtualized hardware, effectively unlimited storage, and software services that can help reduce the execution time of large test suites in a cost-effective manner. The research presented by Tilley and Parveen leverages the resources provided by cloud computing infrastructure to facilitate the concurrent execution of test cases. They introduce a decision framework called SMART-T to support migration of software testing to the cloud, a distributed environment called HadoopUnit for the concurrent execution of test cases in the cloud, and a series of case studies illustrating the use of the framework and the environment. Experimental results indicate a significant reduction in test execution time is possible when compared with a typical sequential environment.Software testing in the cloud is a subject of high interest for advanced practitioners and academic researchers alike. For advanced practitioners, the issue of cloud computing and its impact on the field of software testing is becoming increasingly relevant. For academic researchers, this is a subject that is replete with interesting challenges; there are so many open problems that graduate students will be busy for years to come. To further disseminate results in this field, the authors created a community of interest called “Software Testing in the Cloud” (www.STITC.org), and they encourage all readers to get involved in this exciting new area.

Software Testing Strategies: A testing guide for the 2020s

Unlock the true potential of software testing to achieve seamless software performance with this comprehensive guideKey FeaturesGain a solid understanding of software testing and master its multifaceted strategiesEmpower yourself to effectively overcome software testing challengesDevelop actionable real-world testing skills for succeeding in any rolePurchase of the print or Kindle book includes a free PDF eBookBook DescriptionSoftware Testing Strategies covers a wide range of topics in the field of software testing, providing practical insights and strategies for professionals at every level. With equal emphasis on theoretical knowledge and practical application, this book is a valuable resource for programmers, testers, and anyone involved in software development. The first part delves into the fundamentals of software testing, teaching you about test design, tooling, and automation. The chapters help you get to grips with specialized testing areas, including security, internationalization, accessibility, and performance. The second part focuses on the integration of testing into the broader software delivery process, exploring different delivery models and puzzle pieces contributing to effective testing. You’ll discover how to craft your own test strategies and learn about lean approaches to software testing for optimizing processes. The final part goes beyond technicalities, addressing the broader context of testing. The chapters cover case studies, experience reports, and testing responsibilities, and discuss the philosophy and ethics of software testing. By the end of this book, you’ll be equipped to elevate your testing game and ensure software quality, and have an indispensable guide to the ever-evolving landscape of software quality assurance.What you will learnExplore accessibility, functional testing, performance testing, and more as an integral part of testingFind out how to implement a wide range of testing approachesDevelop the skills needed to create effective testing strategies tailored to your project's needsDiscover how to prioritize and execute the most impactful test ideasGain insight into when and how to apply different testing elementsDefend your chosen testing strategy with a comprehensive understanding of its componentsWho this book is forThis book is for a broad spectrum of professionals engaged in software development, including programmers, testers, and DevOps specialists. Tailored to those who aspire to elevate their testing practices beyond the basics, the book caters to anyone seeking practical insights and strategies to master the nuanced interplay between human intuition and automation. Whether you are a seasoned developer, meticulous tester, or DevOps professional, this comprehensive guide offers a transformative roadmap to become an adept strategist in the dynamic realm of software quality assurance.

Software Testing using Visual Studio 2010

This book starts with basic understanding of different types of tests. It then goes about explaining several examples with a step-by-step approach to master concepts and the features needed to help the reader understand testing clearly. If you are a developer, a software tester, or an architect who wishes to master the amazing range of features offered by the Visual Studio 2010 for testing your software applications before going live - then this book is for you. This book assumes that you have a basic knowledge of testing software applications and have good work experience of using Visual Studio IDE.

Software Testing using Visual Studio 2012

We will be setting up a sample test scenario, then we'll walk through the features available to deploy tests.This book is for developers and testers who want to get to grips with Visual Studio 2012 and Test Manager for all testing activities and managing tests and results in Team Foundation Server. It requires a minimal understanding of testing practices and the software development life cycle; also, some coding skills would help in customizing and updating the code generated from the web UI testing.

Software Testing with Visual Studio Team System 2008: A Comprehensive And Concise Guide To Testing Your Software Applications With Visual Studio Team System 2008

An example testing scenario is set up, and used as reference for exploring the testing features available in Visual Studio Team System 2008. This is a concise practical guide that will help you learn testing your software applications using Visual Studio Team System 2008 quickly, with lot of examples and clear explanations. It is packed with screenshots to aid your understanding of the process. This book is for Microsoft developers working with Visual Studio 2008 who need to create a structured testing environment for their applications. No prior knowledge of testing is expected. The reader will need to be familiar with the standard Visual Studio 2008 environment, but anyone who has entered and compiled code in this environment before will easily follow what goes on.

Software Theory: A Cultural and Philosophical Study (PDF)

The cultural and philosophical study of software is crucial, both within and outside of the university, at an international level and across disciplines. Software is increasingly considered the focus of digital media studies because of the perceived need to address the invisibility, ubiquity, and power of digital media. Yet software remains quite obscure to students and scholars in media studies, the social sciences, and the humanities. This unique book engages directly in close readings of technical texts and computer code in order to show how software works and in what sense it can be considered constitutive of culture and even of human thought. Federica Frabetti combines this with an engagement with thinkers such as Bernard Steigler and Jacques Derrida to problematize the very nature of the conceptual system on which software is based and which has shaped its historical evolution. The book argues for a radical demystification of software and digital technologies by addressing the mystery that surrounds its function and that affects our comprehension of its relationship between technology, philosophy, culture, and society.

Software Tools: Eine umfassende Darstellung der Einsatzmöglichkeiten von Software-Entwicklungswerkzeugen (Betriebs- und Wirtschaftsinformatik #42)

Erstmalig werden in einem Buch Automatisierungspotentiale und Werkzeuge der Software-Entwicklung gemeinsam dargestellt. Begonnen wird mit einer Analyse der automatisierbaren Tätigkeiten im Software Life Cycle. Darauf aufbauend erfolgt die Präsentation einer an den Funktionen und Einsatzbereichen der Software Tools orientierten Systematik; sie unterstützt sowohl die theoretische Einordnung als auch die praxisorientierte Auswahl der Programmierwerkzeuge. Parallel dazu werden die wesentlichen Eigenschaften der Werkzeuge auf der Basis einer vereinheitlichten Terminologie erläutert. Dadurch erhält der Leser einen umfassenden Überblick über Funktionen und Einsatzbereiche von Software Tools (incl. Fourth Generation Languages - 4GLs), der auch weniger gebräuchliche Tools mit teilweise ungewöhnlichen Funktionen berücksichtigt.

Software Tools and Algorithms for Biological Systems (Advances in Experimental Medicine and Biology #696)

“Software Tools and Algorithms for Biological Systems" is composed of a collection of papers received in response to an announcement that was widely distributed to academicians and practitioners in the broad area of computational biology and software tools. Also, selected authors of accepted papers of BIOCOMP’09 proceedings (International Conference on Bioinformatics and Computational Biology: July 13-16, 2009; Las Vegas, Nevada, USA) were invited to submit the extended versions of their papers for evaluation.

Software Transparency: Supply Chain Security in an Era of a Software-Driven Society

Discover the new cybersecurity landscape of the interconnected software supply chain In Software Transparency: Supply Chain Security in an Era of a Software-Driven Society, a team of veteran information security professionals delivers an expert treatment of software supply chain security. In the book, you’ll explore real-world examples and guidance on how to defend your own organization against internal and external attacks. It includes coverage of topics including the history of the software transparency movement, software bills of materials, and high assurance attestations. The authors examine the background of attack vectors that are becoming increasingly vulnerable, like mobile and social networks, retail and banking systems, and infrastructure and defense systems. You’ll also discover: Use cases and practical guidance for both software consumers and suppliers Discussions of firmware and embedded software, as well as cloud and connected APIs Strategies for understanding federal and defense software supply chain initiatives related to securityAn essential resource for cybersecurity and application security professionals, Software Transparency will also be of extraordinary benefit to industrial control system, cloud, and mobile security professionals.

Software Transparency: Supply Chain Security in an Era of a Software-Driven Society

Discover the new cybersecurity landscape of the interconnected software supply chain In Software Transparency: Supply Chain Security in an Era of a Software-Driven Society, a team of veteran information security professionals delivers an expert treatment of software supply chain security. In the book, you’ll explore real-world examples and guidance on how to defend your own organization against internal and external attacks. It includes coverage of topics including the history of the software transparency movement, software bills of materials, and high assurance attestations. The authors examine the background of attack vectors that are becoming increasingly vulnerable, like mobile and social networks, retail and banking systems, and infrastructure and defense systems. You’ll also discover: Use cases and practical guidance for both software consumers and suppliers Discussions of firmware and embedded software, as well as cloud and connected APIs Strategies for understanding federal and defense software supply chain initiatives related to securityAn essential resource for cybersecurity and application security professionals, Software Transparency will also be of extraordinary benefit to industrial control system, cloud, and mobile security professionals.

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13124)

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12549)

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

Software Verification and Analysis: An Integrated, Hands-On Approach

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving correctness” is to be understood as an effort to minimize the number of residual programming faults (“bugs”) and their impact on the software’s behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching?) “How to do it right,” I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery? If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development.

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Computer Science #13466)

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.

Software Verification and Validation: An Engineering and Scientific Approach

This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software. The intent is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? and 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. The book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.

Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures (Lecture Notes in Computer Science #2269)

This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own. Based on a seminar held at Dagstuhl Castle in May 2001, the book offers topical sections on:- algorithm animation- software visualization and software engineering- software visualization and education- graphs in software visualization- and perspectives of software visualization.Each section starts with an introduction surveying previous and current work and providing extensive bibliographies.

Software Visualization: Visualizing the Structure, Behaviour, and Evolution of Software

Here is an ideal textbook on software visualization, written especially for students and teachers in computer science. It provides a broad and systematic overview of the area including many pointers to tools available today. Topics covered include static program visualization, algorithm animation, visual debugging, as well as the visualization of the evolution of software. The author's presentation emphasizes common principles and provides different examples mostly taken from seminal work. In addition, each chapter is followed by a list of exercises including both pen-and-paper exercises as well as programming tasks.

Software Visualization: From Theory to Practice (The Springer International Series in Engineering and Computer Science #734)

Software Visualization: From Theory to Practice was initially selected as a special volume for "The Annals of Software Engineering (ANSE) Journal", which has been discontinued. This special edited volume, is the first to discuss software visualization in the perspective of software engineering. It is a collection of 14 chapters on software visualization, covering the topics from theory to practical systems. The chapters are divided into four Parts: Visual Formalisms, Human Factors, Architectural Visualization, and Visualization in Practice. They cover a comprehensive range of software visualization topics, including *Visual programming theory and techniques for rapid software prototyping and graph visualization, including distributed programming; *Visual formalisms such as Flowchart, Event Graph, and Process Communication Graph; *Graph-oriented distributed programming; *Program visualization for software understanding, testing/debugging and maintenance; *Object-oriented re-design based on legacy procedural software; *Cognitive models for designing software exploration tools; *Human comprehensibility of visual modeling diagrams in UML; *UML extended with pattern compositions for software reuse; *Visualization of software architecture and Web architecture for better understanding; *Visual programming and program visualization for music synthesizers; *Drawing diagrams nicely using clustering techniques for software engineering.

Software War Stories: Case Studies in Software Management

A comprehensive, practical book on software management that dispels real-world issues through relevant case studies Software managers inevitably will meet obstacles while trying to deliver quality products and provide value to customers, often with tight time restrictions. The result: Software War Stories. This book provides readers with practical advice on how to handle the many issues that can arise as a software project unfolds. It utilizes case studies that focus on what can be done to establish and meet reasonable expectations as they occur in government, industrial, and academic settings. The book also offers important discussions on both traditional and agile methods as well as lean development concepts. Software War Stories: Covers the basics of management as applied to situations ranging from agile projects to large IT projects with infrastructure problems Includes coverage of topics ranging from planning, estimating, and organizing to risk and opportunity management Uses twelve case studies to communicate lessons learned by the author in practice Offers end-of-chapter exercises, sample solutions, and a blog for providing updates and answers to readers' questions Software War Stories: Case Studies in Software Management mentors practitioners, software engineers, students and more, providing relevant situational examples encountered when managing software projects and organizations.

Software War Stories: Case Studies in Software Management

A comprehensive, practical book on software management that dispels real-world issues through relevant case studies Software managers inevitably will meet obstacles while trying to deliver quality products and provide value to customers, often with tight time restrictions. The result: Software War Stories. This book provides readers with practical advice on how to handle the many issues that can arise as a software project unfolds. It utilizes case studies that focus on what can be done to establish and meet reasonable expectations as they occur in government, industrial, and academic settings. The book also offers important discussions on both traditional and agile methods as well as lean development concepts. Software War Stories: Covers the basics of management as applied to situations ranging from agile projects to large IT projects with infrastructure problems Includes coverage of topics ranging from planning, estimating, and organizing to risk and opportunity management Uses twelve case studies to communicate lessons learned by the author in practice Offers end-of-chapter exercises, sample solutions, and a blog for providing updates and answers to readers' questions Software War Stories: Case Studies in Software Management mentors practitioners, software engineers, students and more, providing relevant situational examples encountered when managing software projects and organizations.

Software-Wiederverwendung: Konzeption einer domänenorientierten Architektur (Programm Angewandte Informatik)

Software-Zuverlässigkeit: Grundlagen Konstruktive Maßnahmen Nachweisverfahren (VDI-Buch)

Das Werk erörtert konzeptionelle Grundlagen, konstruktive Maßnahmen sowie Nachweismöglichkeiten der Software-Zuverlässigkeit. Anhand von Tabellen und Checklisten kann der Benutzer die Betriebsbewährtheit besser analysieren.

Softwareagenten und elektronische Kaufprozesse: Referenzmodelle zur Integration

Die Integration von Softwareagenten in elektronische Kaufprozesse ermöglicht die Gestaltung innovativer Informationssysteme. Dieses Buch zeigt anhand von vier Referenzmodellen die Möglichkeiten und Potentiale solcher agentenbasierter Kaufprozesse auf.

Softwarearchitektur für die Praxis (Xpert.press)