Introduces software engineering techniques for developing software products and apps

With Engineering Software Products, author Ian Sommerville takes a unique approach to teaching software engineering and focuses on the type of software products and apps that are familiar to students, rather than focusing on project-based techniques. Written in an informal style, this book focuses on software engineering techniques that are relevant for software product engineering. Topics covered include per...

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which ...

Learn how to use stories and visuals to make top-notch presentations It's called CAST (Content, Audience, Story, & Tell) and it's been a quiet success, until now. Developed over a twelve year period as a presentation method to help Enterprise Architects, it was adopted by Microsoft Enterprise Architecture teams and filtered from IT managers to Sales, and beyond to major organizations around the world. Now, thanks to this unique book from an expert author team that includes two Microsoft prese...

The new fourth edition of Principles of Business Information Systems features new cases, new questions and assignments and the latest technologies, whilst retaining its comprehensive coverage of Information Systems issues. It also boasts a wealth of real world examples from a broad range of countries and updated coverage of IT and technological issues, making it perfect for courses that prepare students for the modern corporate world.

Reveals how Web sites, software applications, and mobile devices can be used to change people's attitudes and behavior. This book contains key term definitions in persuasive computing. It provides frameworks for understanding this domain. It describes real examples of persuasive technologies.