Software Engineering

This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 paper

No longer confined to medical devices, medical software has become a pervasive technology giving healthcare operators access to clinical information stored in electronic health records and clinical de

This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2

This book constitutes the post-conference proceedings of the International Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Sciences (

This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research

"Software update is an important mechanism by which security changes and improvements are made in software, and this seemingly simple concept encompasses a wide variety of practices, mechanisms, polic

The Must-have Reference Guide for SAFe® Professionals “There are a lot of methods of scale out there, but the Scaled Agile Framework is the one lighting up the world.” –St

Robert Gehl's timely critique, Reverse Engineering Social Media, rigorously analyzes the ideas of social media and software engineers, using these ideas to find contradictions and fissures beneath the

Robert Gehl's timely critique, Reverse Engineering Social Media, rigorously analyzes the ideas of social media and software engineers, using these ideas to find contradictions and fissures beneath the

Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming languages. Nowhere else in software engineering have we see

Software and Hardware Engineering: Assembly and C Programming for the Freescale HCS12 Microcontroller, Second Edition, provides a general-purpose view of software and hardware engineering in microcont

Advanced manufacturing technologies (AMTs) combine novel manufacturing techniques and machines with the application of information technology, microelectronics and new organizational practices within

The revolutions in software technology in last few decades require a solid foundation of complex structures. Software architecture is an emerging branch of software engineering which presents a bluepr

Now in its third edition, this classic guide to software requirements engineering has been fully updated with new topics, examples, and guidance. Two leaders in the requirements community have teamed

YOU HAVE TO OWN THIS BOOK!Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code takes an unflinching, no bulls$ look at behavioral problems in the software engineering industry, shedd

Software testing is conducted to provide stakeholders with information about the quality of a product under testing. The book, which is a result of the two decades of teaching experience of the author, aims to present testing concepts and methods that can be used in practice. The text will help readers to learn how to find faults in software before it is made available to users. A judicious mix of software testing concepts, solved problems and real-life case studies makes the book ideal for a basic course in software testing. The book will be a useful resource for senior undergraduate/graduate students of engineering, academics, software practitioners and researchers.

This book constitutes the refereed proceedings of the 6th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2014.This professional symposium and conference offers a range of

In small but growing software companies, the engineering manager is in the unique position of having to deal with the technical team and other senior managers, while at the same time taking direction

Big Data Analytics and Software Defined Networking (SDN) are helping to drive the management of data and usage of the extraordinary increase of computer processing power provided by Cloud Data Centres

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.