Sign In
Spec Explorer Team Blog
A Model-Based Testing tool from Microsoft
Translate This Page
Translate this page
Powered by
Microsoft® Translator
Options
Email Blog Author
RSS for posts
Atom
RSS for comments
OK
Search
Advanced search options...
Search In:
Everything
Blogs
Forums
People
Groups
Places
Pages
Date range:
All Time
Last Year
Last 6 Months
Last 3 Months
Last Month
Last Week
Last Two Days
Tags
MBT
Model-Based Testing
Spec Explorer
testing
Archive
Archives
August 2011
(1)
April 2011
(1)
January 2011
(1)
September 2010
(1)
July 2010
(1)
April 2010
(2)
March 2010
(1)
February 2010
(2)
January 2010
(1)
November 2009
(3)
October 2009
(3)
July, 2010
MSDN Blogs
>
Spec Explorer Team Blog
>
July, 2010
Posts
Subscribe via RSS
Sort by:
Most Recent
|
Most Views
|
Most Comments
Excerpt View
|
Full Post View
Spec Explorer Team Blog
The Controlled Calculator: An example of combining models while showing other features of Spec Explorer
Posted
over 2 years ago
by
Rob DuWors
1
Comments
The Calculator The core calculator model is a simple four function calculator. But infix calculators aren't entirely simple, because calculators demonstrate rich variations in outputs depending upon the exact order of input sequences of numbers, operations...
Page 1 of 1 (1 items)