Mining and Checking Object Behavior

By Valentin Dallmeier

This book introduces a novel approach to modeling the behavior of programs at runtime. The technique leverages the structure of object-oriented programs to derive models that describe the behavior of... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3838123921
• ISBN13: 9783838123929
• Release Date: February 2011
• Publisher: Sudwestdeutscher Verlag Fur Hochschulschrifte
• Length: 180 Pages
• Weight: 0.60 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"