• Design and implement robust system components by means of the de facto unit testing standard in Java
• Reduce defect rate and maintenance effort, plus simultaneously increase code quality and development pace
...

The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching...

Principles of Big Data helps readers avoid the common mistakes that endanger all Big Data projects. By stressing simple, fundamental concepts, this book teaches readers how to organize large volumes of complex data, and how to achieve data permanence when the content of the data is constantly changing. General methods for data...

Inferno Programming with Limbo is the first complete developer’s guide to programming for the Inferno operating system. Developed at Lucent's Bell Labs, Inferno enables cross-platform, portable, distributed application development that is well suited for networked applications on resource constrained, embedded systems. Limbo is its...

‘Through the use of tantalizing questions and aptly chosen and often amusing examples, the author transmits to the reader the excitement and intellectual satisfaction of computer science...

With coverage that draws from diverse disciplines, Systems Engineering Tools and Methods demonstrates how, using integrated or concurrent engineering methods, you can empower development teams. Copiously illustrated with figures, charts, and graphs, the book offers methods, frameworks, techniques, and tools for designing,...

Developed through the interaction of mechanical, electrical and information technologies, mechatronic systems allow engineers to meet increasing demands for complex and sophisticated products. Using tools common to electronics, this book provides a timely introduction to the modelling and simulation of these systems from an...

• Innovative recipes, offering numerous practical solutions when...