Colin Cambell has more than 20 years in the software industry. For the past eight years he has focussed on ways to improve the software development process using executable specifications to model systems. He has written many papers on this subject and is one of the authors of the forthcoming book Model-based Software Testing and Analysis in C#, which will be published by Cambridge University Press in 2007.

Jon Jacky has spent many years using formal methods to model critical systems. He has written many papers on this subject and is the author of The Way of Zed and one of the co-authors of the forthcoming book Model-based Software Testing and Analysis in C#. Both books are published by Cambridge University Press.

Roberta Leibovitz has been a technical writer for more than 15 years. Her focus is on programming documentation. Some of her recent projects include documentation for Microsoft Corporation's Enterprise Library and the Enterprise Library Test Guide.