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.)

Mac OS X Bible, Panther Edition
Mac OS X Bible, Panther Edition

According to popular legend, a Mac is so easy to use that you don’t need to read books about it. Alas, if only that were true. The fact is, to harness all the power of Mac OS X would take a substantial amount of time of exploring and tinkering. The reality is, not everyone has the time, the inclination, or the patience...

Advanced Imaging of the Abdomen
Advanced Imaging of the Abdomen
This book is an attempt to bridge the interface between referring clinicians and radiologists when faced with a patient suspected of having a complex or unusual abdominal condition. The emphasis is on the choice of imaging procedures, expected diagnostic yield, a discussion of pertinent imaging findings, and the possible differential...
Electrical Installation Work, Fifth Edition
Electrical Installation Work, Fifth Edition
Electrical Installation Work covers both theory and practice for the trainee who wants to understand not only how, but why electrical installations are designed, installed and tested in particular ways. Brian Scaddan's approach encourages independent learning with self-assessment questions provided throughout.

In
...

Parallel Algorithm Derivation and Program Transformation
Parallel Algorithm Derivation and Program Transformation
Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little...
20 Recipes for Programming MVC 3: Faster, Smarter Web Development
20 Recipes for Programming MVC 3: Faster, Smarter Web Development

There's no need to reinvent the wheel every time you run into a problem with ASP.NET's Model-View-Controller (MVC) framework. This concise cookbook provides recipes to help you solve tasks many web developers encounter every day. Each recipe includes the C# code you need, along with a complete working example of how to...

Optimized C++: Proven Techniques for Heightened Performance
Optimized C++: Proven Techniques for Heightened Performance

In today’s fast and competitive world, a program’s performance is just as important to customers as the features it provides. This practical guide teaches developers performance-tuning principles that enable optimization in C++. You’ll learn how to make code that already embodies best practices of C++ design run...

©2021 LearnIT (support@pdfchm.net) - Privacy Policy