5799861
9780521886550
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.Jacky, Jonathan is the author of 'Model-Based Software Testing and Analysis with C#', published 2007 under ISBN 9780521886550 and ISBN 0521886554.
[read more]