Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Model-Based Software Testing and Analysis with C#

Buy
This book teaches new methods for specifying, analyzing, and testing software; essentials for creating high-quality software. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. The authors work through several realistic case studies in-depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

About the Author

Jonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, signal processing, and scientific computing. He has taught at the Evergreen State College and has been a visiting researcher at Microsoft Research. He is the author of The Way of Z: Practical Programming with Formal Methods. Colin Campbell has worked on model-based testing and analysis techniques for a number of years in industry, including Microsoft Research. He is a principal of the consulting firm Modeled Computation LLC in Seattle (www.modeled-computation.com). His current interests include design analysis, the modeling of reactive and distributed systems, and the integration of components in large systems. Margus Veanes is a researcher in the Foundations of Software Engineering (FSE) group at Microsoft Research and a co-designer and co-developer of the Spec Explorer tool. Wolfram Schulte is a research area manager at Microsoft Research, managing the FSE group, the Programming Languages and Methods (PLM) group, and the Software Design and Implementation (SDI) group.
(HTML tags aren't allowed.)

Solaris(TM) Performance and Tools: DTrace and MDB Techniques for Solaris 10 and OpenSolaris
Solaris(TM) Performance and Tools: DTrace and MDB Techniques for Solaris 10 and OpenSolaris

"The Solaris™Internals volumes are simply the best and most comprehensive treatment of the Solaris (and OpenSolaris) Operating Environment. Any person using Solaris--in any capacity--would be remiss not to include these two new volumes in their personal library. With advanced observability tools in Solaris (like DTrace), you...

Signals and Systems with MATLAB Applications
Signals and Systems with MATLAB Applications
This text contains a comprehensive discussion of continuous and discrete time signals and systems with many examples from MATLAB—software used to write efficient, compact programs to solve electrical and computer engineering problems of varying complexity. Intended for junior- and senior-level electrical engineering students and for...
Schaum's Outline of Advanced Calculus, Third Edition (Schaum's Outline Series)
Schaum's Outline of Advanced Calculus, Third Edition (Schaum's Outline Series)

Tough Test Questions? Missed Lectures? Not Enough Time?

Fortunately for you, there's Schaum's.

More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all...


Holub on Patterns: Learning Design Patterns by Looking at Code
Holub on Patterns: Learning Design Patterns by Looking at Code

This is a book about programming in an object -oriented way and about how to use design patterns to solve commonplace problems in object-oriented systems.

I've based this book on the philosophy that the best way to learn and understand the design patterns is to see them in action, all jumbled up, just as they occur in the
...

Microsoft Office 365 Administration Inside Out
Microsoft Office 365 Administration Inside Out

Conquer Microsoft Office 365 administration—from the inside out!

Dive into Office 365 administration—and really put your systems expertise to work! This supremely organized reference packs hundreds of timesaving solutions, troubleshooting tips, and workarounds. Discover how the experts tackle deployment,...

Next.js Quick Start Guide: Server-side rendering done right
Next.js Quick Start Guide: Server-side rendering done right

Create, build and deploy universal JavaScript applications using Next.js

Key Features

  • Work with the entire tool-chain for developing universal Javascript applications with Next.js
  • A straightforward guide to implementing server-side rendering
  • Use Next.js to...
©2020 LearnIT (support@pdfchm.net) - Privacy Policy