The first feedback that Rose Model Checker got from a user outside Rational:

"I really like the fact that the little bar at the top of the right frame explains the type of warning that you are viewing in a little more detail. It is just the right amount of info. for that type of a thing. The "What's This?" should then go into great detail about the type of Warning.

The format is really simple and easy. It isn't confusing to try to figure out how to use the product, and you don't need to read a big manual before you can get anything accomplished.

The format is familiar, it is similar to NT Explorer, and other products, so it makes working with it easy, even the first time.

The warning that you list are in categories, so that you are not just looking at a bunch of mush in one big "you screwed up" list. This way you can go and check out the specific aspect of the "client" that is causing the problem, and run through the model in an organized fashion."

Kathryn Juarez   (September 23, 1999)

All products mentioned are registered trademarks or trademarks of their respective companies.

Questions or problems regarding this web site should be directed to webmaster@rationalrose.com
Copyright © 1999 Michael Moors. All rights reserved.
Last modified: Friday December 10, 1999.