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

Pro Visual Studio Team System with Team Edition for Database Professionals, Second Edition
Pro Visual Studio Team System with Team Edition for Database Professionals, Second Edition
It is clear that Visual Studio Team System is the future of development from Microsoft’s perspective. Development is no longer a personal pursuit by one developer in a darkened room; it is a collective effort by a team of peers. VSTS supports this broader vision by providing a complete collaboration platform for the entire project team. VSTS...
SAP® Business Information Warehouse Reporting
SAP® Business Information Warehouse Reporting

Your Hands-On Guide to SAP Business Information Warehouse

Give your company the competitive edge by delivering up-to-date, pertinent business reports to users inside and outside your enterprise. SAP Business Information Warehouse Reporting shows you how to construct Enterprise Data Warehouses, create workbooks...

ACCA Performance Management
ACCA Performance Management
The headings in this checklist/index indicate the main topics of questions, but questions often cover several different topics.

Past exam questions are designated with the date of the exam in which they featured, although some have been amended to reflect subsequent changes to the syllabus or in the format of the
...

Understanding DB2 9 Security
Understanding DB2 9 Security
Understanding DB2 9 Security is the only comprehensive guide to securing DB2 and leveraging the powerful new security features of DB2 9. Direct from a DB2 Security deployment expert and the IBM® DB2 development team, this book gives DBAs and their managers a wealth of security information that is available nowhere else. It presents real-world...
DotNetNuke 5.4 Cookbook
DotNetNuke 5.4 Cookbook

DotNetNuke is a powerful and flexible content management system for building websites. It comes with many features for publishing content including tools to create Blogs, Banner Advertising, News Feeds, and much more. But setting up a fully featured website and customizing a complete content management system using the open source DotNetNuke...

Microsoft  Office Visio  2007 Step by Step
Microsoft Office Visio 2007 Step by Step
The smart way to learn Microsoft Office Visio 2007one step at a time! Work at your own pace through the easy numbered steps, practice files on CD, helpful hints, and troubleshooting tips to master the fundamentals of working with the latest version of Office Visio. Youll discover how to create and format shapes and diagrams, create project...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy