Computer programming / software engineering Books

Book SynopsisAs artificial intelligence (AI) processing moves from the cloud to the edge of the network, battery-powered and deeply embedded devices are challenged to perform AI functions such as computer vision and voice recognition. Microchip Technology Inc., via its Silicon Storage Technology (SST) subsidiary, is addressing this challenge by significantly reducing power with its analog memory technology, the memBrain Memory Solution. The memBrain solution is being adopted by today's companies looking to advance machine learning capacities in edge devices. Due to its ability to significantly reduce power, this analog in-memory computer solution is ideal for an AI application. Neuromorphic Computing Systems for Industry 4.0 covers the available literature in the field of neural computing-based microchip technology. It provides further research opportunities in this dynamic field. Covering topics such as emotion recognition, biometric authentication, and neural network protection, this premier reference source is an essential resource for technology developers, computer scientists, engineers, students and educators of higher education, librarians, researchers, and academicians.

Read more less

Book SynopsisData structures are essential principles applicable to any programming language in computer science. Data structures may be studied more easily with Python than with any other programming language because of their interpretability, interactivity, and object-oriented nature. Computers may store and process data at an extraordinary rate and with outstanding accuracy. Therefore, it is of the utmost importance that the data is efficiently stored and is able to be accessed promptly. In addition, data processing should take as little time as feasible while maintaining the highest possible level of precision.Advanced Applications of Python Data Structures and Algorithms assists in understanding and applying the fundamentals of data structures and their many implementations and discusses the advantages and disadvantages of various data structures. Covering key topics such as Python, linked lists, datatypes, and operators, this reference work is ideal for industry professionals, computer scientists, researchers, academicians, scholars, practitioners, instructors, and students.

Read more less

Book SynopsisAbout This Book Get quick, clear guidance on all the principle aspects of integration with the Arduino Learn the tools and components needed to build engaging electronics with the Arduino Make the most of your board through practical tips and tricks Who This Book Is ForIf you want to build programming and electronics projects that interact with the environment, this book will offer you dozens of recipes to guide you through all the major applications of the Arduino platform. It is intended for programming or electronics enthusiasts who want to combine the best of both worlds to build interactive projects.

Read more less

Book SynopsisDesign, simulate, and program interactive robots Key Features Design, simulate, build, and program an interactive autonomous mobile robot Leverage the power of ROS, Gazebo, and Python to enhance your robotic skills A hands-on guide to creating an autonomous mobile robot with the help of ROS and Python Book DescriptionRobot Operating System (ROS) is one of the most popular robotics software frameworks in research and industry. It has various features for implement different capabilities in a robot without implementing them from scratch.This book starts by showing you the fundamentals of ROS so you understand the basics of differential robots. Then, you'll learn about robot modeling and how to design and simulate it using ROS. Moving on, we'll design robot hardware and interfacing actuators. Then, you'll learn to configure and program depth sensors and LIDARs using ROS. Finally, you'll create a GUI for your robot using the Qt framework. By the end of this tutorial, you'll have a clear idea of how to integrate and assemble everything into a robot and how to bundle the software package.What you will learn Design a differential robot from scratch Model a differential robot using ROS and URDF Simulate a differential robot using ROS and Gazebo Design robot hardware electronics Interface robot actuators with embedded boards Explore the interfacing of different 3D depth cameras in ROS Implement autonomous navigation in ChefBot Create a GUI for robot control Who this book is forThis book is for those who are conducting research in mobile robotics and autonomous navigation. As well as the robotics research domain, this book is also for the robot hobbyist community. You’re expected to have a basic understanding of Linux commands and Python.Table of ContentsTable of Contents Getting started with ROS Understanding basics of differential robots Modeling the Differential Drive Robot Simulating a Differential Drive Robot Using ROS Designing ChefBot Hardware and Circuits Interfacing Actuators and Sensors to the Robot Controller Interfacing Vision Sensors with ROS Building ChefBot Hardware and the Integration of Software Designing a GUI for a Robot Using Qt and Python Assessments

Read more less

Book SynopsisLearn to view, edit and analyse geospatial data using QGIS and Python 3Key Features Leverage the power of QGIS to add professionalism to your maps Explore and work with the newly released features like Python 3, GeoPackage, 3D views, Print layouts in QGIS 3.4 Build your own plugins and customize maps using QT designer Book DescriptionQGIS 3.4 is the first LTR (long term release) of QGIS version 3. This is a giant leap forward for the project with tons of new features and impactful changes. Learn QGIS is fully updated for QGIS 3.4, covering its processing engine update, Python 3 de-facto coding environment, and the GeoPackage format.This book will help you get started on your QGIS journey, guiding you to develop your own processing pathway. You will explore the user interface, loading your data, editing, and then creating data. QGIS often surprises new users with its mapping capabilities; you will discover how easily you can style and create your first map. But that’s not all! In the final part of the book, you’ll learn about spatial analysis and the powerful tools in QGIS, and conclude by looking at Python processing options.By the end of the book, you will have become proficient in geospatial analysis using QGIS and Python.What you will learn Explore various ways to load data into QGIS Understand how to style data and present it in a map Create maps and explore ways to expand them Get acquainted with the new processing toolbox in QGIS 3.4 Manipulate your geospatial data and gain quality insights Understand how to customize QGIS 3.4 Work with QGIS 3.4 in 3D Who this book is forIf you are a developer or consultant familiar with the basic functions and processes of GIS and want to learn how to use QGIS to analyze geospatial data and create rich mapping applications, this book is for you. You’ll also find this book useful if you’re new to QGIS and wish to grasp its fundamentalsTable of ContentsTable of Contents Where do I start? Data Creation and Editing Visualizing data Creating Great Maps Running geospatial queries on data Extending and customizing QGIS 3

Read more less

Book SynopsisLearn how to use Next.js for building web apps without compromising performance, user experience, and developer happinessKey Features Develop scalable web applications using Next.js Use Next.js as a frontend for existing backends and e-commerce websites and understand how to implement it with any headless CMS Deploy Next.js on different platforms, such as Vercel, DigitalOcean, and AWS, or on your own server Book DescriptionNext.js is a scalable and high-performance React.js framework for modern web development and provides a large set of features, such as hybrid rendering, route prefetching, automatic image optimization, and internationalization, out of the box. If you are looking to create a blog, an e-commerce website, or a simple website, this book will show you how you can use the multipurpose Next.js framework to create an impressive user experience.Starting with the basics of Next.js, the book demonstrates how the framework can help you reach your development goals. You'll realize how versatile Next.js is as you build real-world applications with step-by-step explanations. This Next.js book will guide you in choosing the right rendering methodology for your website, securing it, and deploying it to different providers, all while focusing on performance and developer happiness.By the end of the book, you'll be able to design, build, and deploy modern architectures using Next.js with any headless CMS or data source.What you will learn Get up to speed with Next.js essentials and learn how to build apps quickly Understand how to create scalable Next.js architectures Choose between different rendering strategies, such as client-side rendering (CSR), static site generation (SSG), server-side rendering (SSR), and incremental static regeneration (ISR) Write unit tests and integration tests in your Next.js application Discover the powerful routing system and Next.js' built-in components Design and build modern architectures with Next.js using GraphCMS or any headless CMS Who this book is forThis book is for web developers who want to improve their React skills by building scalable and maintainable full-stack applications using the modern Next.js web framework. Intermediate-level knowledge of ES6+, React, Node.js, and REST is assumed.Table of ContentsTable of Contents A Brief Introduction to Next.js Exploring Different Rendering Strategies Next.js Basics and Built-In Components Organizing the Code Base and Fetching Data in Next.js Managing Local and Global States in Next.js CSS and Built-In Styling Methods Using UI Frameworks Using a Custom Server Testing Next.js Working with SEO and Managing Performance Different Deployment Platforms Managing Authentication and User Session Building an E-Commerce Website with Next.js and GraphCMS Example Projects and Next Steps for Learning More

Read more less

Book SynopsisWrite fast, robust, and highly reusable applications using Python's internal optimization, state-of-the-art performance-benchmarking tools, and cutting-edge librariesKey Features Benchmark, profile, and accelerate Python programs using optimization tools Scale applications to multiple processors with concurrent programming Make applications robust and reusable using effective design patterns Book DescriptionPython's powerful capabilities for implementing robust and efficient programs make it one of the most sought-after programming languages.In this book, you'll explore the tools that allow you to improve performance and take your Python programs to the next level.This book starts by examining the built-in as well as external libraries that streamline tasks in the development cycle, such as benchmarking, profiling, and optimizing. You'll then get to grips with using specialized tools such as dedicated libraries and compilers to increase your performance at number-crunching tasks, including training machine learning models.The book covers concurrency, a major solution to making programs more efficient and scalable, and various concurrent programming techniques such as multithreading, multiprocessing, and asynchronous programming.You'll also understand the common problems that cause undesirable behavior in concurrent programs.Finally, you'll work with a wide range of design patterns, including creational, structural, and behavioral patterns that enable you to tackle complex design and architecture challenges, making your programs more robust and maintainable.By the end of the book, you'll be exposed to a wide range of advanced functionalities in Python and be equipped with the practical knowledge needed to apply them to your use cases.What you will learn Write efficient numerical code with NumPy, pandas, and Xarray Use Cython and Numba to achieve native performance Find bottlenecks in your Python code using profilers Optimize your machine learning models with JAX Implement multithreaded, multiprocessing, and asynchronous programs Solve common problems in concurrent programming, such as deadlocks Tackle architecture challenges with design patterns Who this book is forThis book is for intermediate to experienced Python programmers who are looking to scale up their applications in a systematic and robust manner. Programmers from a range of backgrounds will find this book useful, including software engineers, scientific programmers, and software architects.Table of ContentsTable of Contents Benchmarking and Profiling Pure Python Optimizations Fast Array Operations with NumPy and Pandas C Performance with Cython Exploring Compilers Automatic Differentiation and Accelerated Linear Algebra for Machine Learning Implementing Concurrency Parallel Processing Concurrent Web Requests Concurrent Image Processing Building Communication Channels with asyncio Deadlocks Starvation Race Conditions The Global Interpreter Lock The Factory Pattern The Builder Pattern Other Creational Patterns The Adapter Pattern The Decorator Pattern The Bridge Pattern The Facade Pattern Other Structural Patterns The Chain of Responsibility Pattern The Command Pattern The Observer Pattern

Read more less

Book SynopsisHarness the power of this popular declarative configuration management tool to automate your infrastructure configuration Purchase of the print or Kindle book includes a free PDF eBook Key Features Understand the core concepts and best approaches to the latest version of the Puppet language Learn the key components of the Puppet platform and see how they deploy and apply Puppet code to infrastructure Discover approaches to collaborative working by using the right structure of code and deployment Book DescriptionAs DevOps and platform engineering drive the demand for robust internal development platforms, the need for infrastructure configuration tools has never been greater. Puppet, a powerful configuration management tool, is widely used by leading enterprises and boasts a thriving open source community. This book provides a comprehensive explanation of both the Puppet language and the platform. It begins by helping you grasp the basic concepts and approach of Puppet as a stateful language, and then builds up to explaining how to structure Puppet code to scale and allow flexibility and collaboration among teams. As you advance, you’ll find out how the Puppet platform allows the management and reporting of infrastructure configuration. The book also shows you how the platform can be integrated with other tooling, such as ServiceNow and Splunk. The concluding chapters help you implement Puppet to fit in heavily regulated and audited environments as well as modern hybrid cloud environments. By the end of this book, you’ll have gained a solid understanding of the capabilities of both the Puppet language and platform, and you will have learned how to structure and scale Puppet to create a platform to provide enterprise-grade infrastructure configuration.What you will learn Find out how to structure Puppet code and data to scale and be secure Discover the core components of the Puppet platform and how to achieve performance Get to grips with classifying infrastructure and deploying code for different environments Understand how Bolt can provide procedural orchestration alongside Puppet code Use Puppet’s integrations and Forge modules that allow Puppet to integrate with other systems Adopt approaches to adoption to ensure your Puppet implementation will succeed in regulated environments, the cloud, and with change control Who this book is forThis book is for DevOps engineers looking to automate infrastructure with Puppet as a configuration management tool. It will allow both beginners and current Puppet users to understand the full power of the Puppet language and platform. A basic understanding of Unix system administration and Windows systems and core development concepts such as revision control tools like git, virtualization, testing, and coding tooling like vi or Visual Studio code is a prerequisite.Table of ContentsTable of Contents Puppet Concepts and Practices Major Changes, Useful Tools, and References Puppet Classes, Resource Types, and Providers Variables and Data Types Facts and Functions Relationships, Ordering, and Scope Templating, Iterating, and Conditionals Developing and Managing Modules Handling Data with Puppet Puppet Platform Parts and Functions Classification and Release Management Bolt for Orchestration Taking Puppet Server Further A Brief Overview of Puppet Enterprise Approaches to Adoption

Read more less

Book SynopsisStreamline your business by creating clear, concise process diagrams with Microsoft Visio, and share them securely for viewing, reviewing, and collaboration Purchase of the print or Kindle book includes a free PDF eBook Key Features Learn built-in diagram types or create custom ones to describe flow steps effectively Unlock the skills and techniques needed to efficiently and speedily capture and communicate complex flows Understand how to store securely, integrate with other apps, and import and export flow steps Book DescriptionEvery business has process flows, but not all of them are fully described to or verified for accuracy with each stakeholder. This not only presents a risk for business continuity but also removes the ability to make insightful improvements. To make these complex interactions easy to grasp, it’s important to describe these processes visually using symbology that everybody understands. Different parts of these flows should be collaboratively developed and stored securely as commercial collateral. Visualize Complex Processes with Microsoft Visio helps you understand why it is crucial to use a common, systematic approach to document the steps needed to meet each business requirement. This book explores the various process flow templates available in each edition of Microsoft Visio, including BPMN. It also shows you how to use them effectively with the help of tips and techniques and examples to reduce the time required for creating them, as well as how you can improve their integration and presentation. By the end of this book, you’ll have mastered the skills needed to create data-integrated business flowcharts with Microsoft Visio, learned how to effectively use these diagrams collaboratively, but securely, and understood how to integrate them with other M365 apps, including Excel, Word, PowerPoint, and Power Automate.What you will learn Choose an appropriate flowchart diagram type to describe process steps Develop the skills to efficiently use Visio to draw process flowcharts Discover how to create process flows diagrams to meet the BPMN standard Find out how to synchronize Excel tables with Visio process flowcharts Store flowcharts that can also be used for collaboration securely Understand how to export flowcharts and data to other M365 apps Discover how Visio ShapeSheet functions can increase productivity Who this book is forIf you’re a manager, analyst, or designer of business processes, then this book will help you create professional process diagrams effectively and consistently to improve the accuracy of communication and facilitate impactful insights. This book will also be useful for beginners or power users who are seeking tips and techniques to capture process flows from context and customize diagrams to meet academic as well as corporate standards.Table of ContentsTable of Contents Choosing the Correct Business Process Diagram Type Choosing the Best Visio Edition for Our Needs Learning to Manually Create Process Flow Diagrams Using Visio for Desktop with BPMN Utilizing Data Sources to Create and Enrich Business Process Diagrams Learn How to Diagram Efficiently Preparing Diagrams for Presentation and Collaboration Securing and Providing Access to Diagrams Integrating Visio with Other Microsoft Apps Customizing Master Shapes and Templates Improving the Provided Flowchart Shapes

Read more less

Book SynopsisEnhance your programming skills through code reviews, TDD and BDD implementation, and API design to overcome code inefficiency, redundancy, and other issues arising from bad code Key Features Write code that seamlessly integrates with other systems while maintaining well-defined software boundaries Understand how coding principles and standards elevate software quality Learn how to avoid common errors while implementing concurrency or threading Purchase of the print or Kindle book includes a free PDF eBook Book DescriptionTraditionally associated with Windows desktop applications and game development, C# has expanded into web, cloud, and mobile development. However, despite its extensive coding features, professionals often encounter issues with efficiency, scalability, and maintainability due to poor code. Clean Code in C# guides you in identifying and resolving these problems using coding best practices. This book starts by comparing good and bad code to emphasize the importance of coding standards, principles, and methodologies. It then covers code reviews, unit testing, and test-driven development, and addresses cross-cutting concerns. As you advance through the chapters, you’ll discover programming best practices for objects, data structures, exception handling, and other aspects of writing C# computer programs. You’ll also explore API design and code quality enhancement tools, while studying examples of poor coding practices to understand what to avoid. By the end of this clean code book, you’ll have the developed the skills needed to apply industry-approved coding practices to write clean, readable, extendable, and maintainable C# code.What you will learn Master the art of writing evolvable and adaptable code Implement the fail-pass-refactor methodology using a sample C# console application Develop custom C# exceptions that provide meaningful information Identify low-quality C# code in need of refactoring Improve code performance using profiling and refactoring tools Create efficient and bug-free code using functional programming techniques Write cross-platform code using MAUI Develop cloud-deployable microservices for versatile applications Who this book is forThis coding book is for proficient C# developers, team leads, senior software engineers, and software architects who want to improve the efficiency of their legacy systems. A strong understanding of C# programming is assumed.Table of ContentsTable of Contents Coding Standards and Principles in C# Code Review - Process and Importance Classes, Objects and Data Structures Writing Clean Functions Exception Handling Unit Testing Designing and Developing APIs Addressing Cross-Cutting Concerns AOP with PostSharp Using Tools to Improve Code Quality Refactoring C# Code Functional Programming Cross-Platform Development with MAUI Microservices

Read more less

Book SynopsisAccelerate your career and make an impact by launching and running a successful open source project. Purchase of the print or Kindle book includes a free PDF eBook Key Features Understand the method and rationale for launching an open source project Explore best practices and insights for running an open source project Leverage open source projects to advance your career Book DescriptionOpen source is ubiquitous in our society, with countless existing projects, and new ones emerging every day. It follows a "scratch-your-own-itch" model where contributors and maintainers drive the project forward. Through Open Source Projects - Beyond Code, you'll learn what it takes to develop a successful, scalable, and sustainable open source project. In this book, you’ll explore the full life cycle of open source projects, from inception, through launch, to maturity, and then discover how to sunset an open source project responsibly. Along the way, you’ll learn the concepts of licensing, governance, community building, ecosystem management, and growing maintainers and contributors, as well as understand how other open source projects have been successful or might have struggled in some areas. You can use this book as an end-to-end guide or reference material for the future. By the end of this book, you’ll be able to accelerate your career in open source. Your newly acquired skills will help you stay ahead of the curve even with the ever-evolving nature of technology.What you will learn Explore what is open source and how you can use it to accelerate your career Start an open source project while exploring its key considerations Grow, support, and manage a vast community of developers and users Build and maintain a mature and sustainable project Enable mass users and developers to downstream productization and outreach Use open source as a portfolio to build your career Understand when to end a project and conduct it responsibly Who this book is forThis book is for software developers, product managers, project managers, business leaders, or general enthusiasts looking to start an open source project or currently maintaining one.Table of ContentsTable of Contents Product Information Document The Whats and Whys of Open Source What Makes a Good Open Source Project? Open Source License and IP Management Aligning the Business Value of Open Source for Your Employer Governance and Hosting Models Making Your Project Feel Welcoming Growing Contributors to Maintainers Dealing with Conflict Handling Growth Commercialization of Open Source Open Source and the Talent Ecosystem Marketing for Open Source – Advocacy and Outreach Transitioning Leadership Sunsetting an Open Source Project

Read more less

Book SynopsisProven techniques, best practices, and tips for writing effective user stories, leveraging user story mapping, and expert interviews to deliver high value to users Purchase of the print or Kindle book includes a free PDF eBook Key Features Learn how to write and implement effective user stories to improve product development Discover techniques to gather requirements, prioritize, and refine user stories Handle stakeholder expectations, communicate user stories, and incorporate user feedback Book DescriptionThe Art of Crafting User Stories is a must-read for product managers, UX professionals, and product developers dedicated to creating meaningful digital experiences. This book provides a comprehensive, step-by-step approach to empower you to master the techniques for creating user stories that drive effective product development. This book takes you on a journey from identifying and capturing user needs, goals, and perspectives through user stories, to crafting impactful stories for design choices and organizing tasks efficiently. You’ll learn how to define the problem area, recognize user personas, and develop user scenarios with the aid of real-world examples, practical tips, and exercises designed to help you develop your skills in crafting user-centered experiences. Moreover, you’ll gain a thorough understanding of user stories, their role in Agile development, and how to use them to plan and manage products effectively. By the end of this book, you’ll be able to improve the quality and efficiency of your own products by applying the hands-on practical skills to create compelling digital experiences that resonate with users and stay relevant in the market.What you will learn Leverage user personas in product development for prioritizing features and guiding design decisions Communicate with stakeholders to gather accurate information for writing user stories Avoid common mistakes by implementing best practices for user story development Estimate the time and resources required for each user story and incorporate estimates into the product plan Apply product frameworks and techniques for user story prioritization and requirement elicitation Benefit from the experiences, insights, and practices of experts in the field of user story mapping Who this book is forIf you're interested in learning about user stories, as a product management method in Agile development, this book is for you. It's suitable for anyone involved in software development, including product managers, product owners, Agile coaches, designers, product analysts, and developers. Although prior experience with Agile development is not expected, a basic understanding of software development will be beneficial.Table of ContentsTable of Contents Introduction to User Stories Understanding the User Perspective Writing Effective User Stories Prioritizing and Estimating User Stories Working with Stakeholders User Story Refinement and Continuous Improvement User Stories in Practice Expert Interviews Conclusion

Read more less

Book SynopsisDevelop an extendable smart robot capable of performing a complex series of actions with Python and Raspberry Pi Key Features Get up to speed with the fundamentals of robotic programming and build intelligent robots Learn how to program a voice agent to control and interact with your robot's behavior Enable your robot to see its environment and avoid barriers using sensors Book DescriptionWe live in an age where the most complex or repetitive tasks are automated. Smart robots have the potential to revolutionize how we perform all kinds of tasks with high accuracy and efficiency. With this second edition of Learn Robotics Programming, you'll see how a combination of the Raspberry Pi and Python can be a great starting point for robot programming. The book starts by introducing you to the basic structure of a robot and shows you how to design, build, and program it. As you make your way through the book, you'll add different outputs and sensors, learn robot building skills, and write code to add autonomous behavior using sensors and a camera. You'll also be able to upgrade your robot with Wi-Fi connectivity to control it using a smartphone. Finally, you'll understand how you can apply the skills that you've learned to visualize, lay out, build, and code your future robot building projects. By the end of this book, you'll have built an interesting robot that can perform basic artificial intelligence operations and be well versed in programming robots and creating complex robotics projects using what you've learned.What you will learn Leverage the features of the Raspberry Pi OS Discover how to configure a Raspberry Pi to build an AI-enabled robot Interface motors and sensors with a Raspberry Pi Code your robot to develop engaging and intelligent robot behavior Explore AI behavior such as speech recognition and visual processing Find out how you can control AI robots with a mobile phone over Wi-Fi Understand how to choose the right parts and assemble your robot Who this book is forThis second edition of Learn Robotics Programming is for programmers, developers, and robotics enthusiasts who want to develop a fully functional robot and leverage AI to build interactive robots. Basic knowledge of the Python programming language will help you understand the concepts covered in this robot programming book more effectively.Table of ContentsTable of Contents Introduction to Robotics Exploring Robot Building Blocks - Code and Electronics Introducing the Raspberry Pi - Starting with Raspbian Preparing a Raspberry Pi for a Robot - Headless by Default Protecting Robot Code with Git and SD Card Copies Building Robot Basics - Wheels, Power, and Wiring Moving Motors with Python Programming Distance Sensors with Python Programming RGB Strips in Python Using Python to Control Servo Motors Programming Encoders with Python IMU Programming with Python Robot Vision - Using a Pi Camera and OpenCV Line Following With A Camera with Python Voice Communication with a Robot Using Mycroft Diving Deeper with the IMU Controlling the Robot With A Phone and Python Taking Your Robot Programming Skills Further Planning Your Next Robot Project - Putting It All Together

Read more less

Book Synopsis“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.Trade ReviewFrom the reviews: "Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. … It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and offer appropriate solutions. The physical quality of the book is extremely high." (M. Ivanovic, ACM Computing Reviews, June, 2009) “Software verification and validation are conducted to help ensure that programs perform correctly. … While this book’s subtitle indicates a ‘hands-on approach,’ it really takes a formal mathematical approach to describing software verification. … The book includes plenty of diagrams and figures, and it explains verification concepts with examples. This work is useful as a complement to hands-on testing books to detail the mathematical foundations of software verification. Summing Up: Recommended. Upper-division undergraduates through professionals.” (H. J. Bender, Choice, Vol. 47 (3), November, 2009)Table of ContentsThe Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-Box Testing.- Static Analysis.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell About a Program Without Its Execution: Static Analysis.- Dynamic Analysis.- Is There a Bug in the Program? Structural Program Testing.- Dynamic Program Analysis.

Read more less