Software Engineering

The practice of test automation is invaluable for modern software testers.

Reliable test design is important in software testing; without it, defects in software may remain undetected.

Reliable test design is important in software testing; without it, defects in software may remain undetected.

This book focuses on planning and scheduling for construction projects and presents field-site-based best practices related to schedule management and Primavera P6, and offers strategies that utilise scheduling methodologies and tools.

This classroom-tested new edition features expanded coverage of the basics and test automation frameworks, with new exercises and examples.

This classroom-tested new edition features expanded coverage of the basics and test automation frameworks, with new exercises and examples.

This book covers Mathematica® for beginners.

This book covers Mathematica® for beginners.

This tutorial reference goes from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE.

This tutorial reference goes from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE.

This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.

This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.

Everything you need to know about NFC technology, its applications, implementation, common obstacles and strategies to overcome them.

Everything you need to know about NFC technology, its applications, implementation, common obstacles and strategies to overcome them.

Sure to become the go-to resource for those wishing to learn the language or to program in it.

Sure to become the go-to resource for those wishing to learn the language or to program in it.

The acclaimed beginner''s book on object technology now presents UML 2.

A no-nonsense introduction to software design using the Python programming language, for people with no programming experience.

Provides an introduction to numerical methods for students in engineering.

Written with computer scientists and engineers in mind, this book brings queueing theory decisively back to computer science.

Provides an introduction to numerical methods for students in engineering.

Written with computer scientists and engineers in mind, this book brings queueing theory decisively back to computer science.

An accessible guide to learning the key features of Unix and Perl, written with the non-programmer in mind.

This guidebook is for those who want to use computational experiments to support their work in algorithm design and analysis.

Authoritative treatment of software product line engineering for students and practitioners alike.

Authoritative treatment of software product line engineering for students and practitioners alike.

All you need to know to model and design software applications from use cases to software architectures in UML.

This second edition of Testing IT demonstrates the role and use of agile testing best practices and includes a specific agile case study.

Provides detailed methodology for digitizing project knowledge by bridging the gap between Waterfall and Agile Methodologies.

All the algorithms, proofs, and implementations in Python you need to know for tech job interviews and coding competitions.

All the algorithms, proofs, and implementations in Python you need to know for tech job interviews and coding competitions.

Category theory reveals commonalities between structures of all sorts.

Category theory reveals commonalities between structures of all sorts.

A practical guide for data scientists who want to improve the performance of any machine learning solution with feature engineering.

This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.

This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.

Concise and easy-to-understand guidelines and standards for creating UML 2.

Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.

A pragmatic guide that takes you from the basics of OCaml language to an understanding of type-system, toolchain, and runtime.

The established textbook on the Ada language for 40 years, now covering the 2016 ISO Corrigendum and introducing Ada 2022.

A concise and accessible overview of the design, implementation and management of medical software.

Designed for introductory courses with a significant team project, this textbook presents concepts with real-life case studies and examples.

The acclaimed beginner''s book on object technology now presents UML 2.

This book on symmetric programming is for graduate students who have already taken a graduate course in microeconomic theory.

Explains the evolution of the internet into a cloud computing platform and assesses its impact on enterprise IT.

This book on symmetric programming is for graduate students who have already taken a graduate course in microeconomic theory.

Explains the evolution of the internet into a cloud computing platform and assesses its impact on enterprise IT.

This book provides practical guidance for professionals, practitioners, and researchers faced with creating and rolling out their own agile testing processes.

This book provides practical guidance for professionals, practitioners, and researchers faced with creating and rolling out their own agile testing processes.

Updated introduction to software modelling using VDM.