Model-Based Software Testing and Analysis with C# - Couverture rigide

Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram

Couverture rigide

ISBN 10 : 0521886554 ISBN 13 : 9780521886550

Editeur : Cambridge University Press, 2007

Synopsis

Teaches new methods for specifying, analyzing and testing software that increase automation in each step.

A propos du livre

À propos des auteurs

Jonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, signal processing, and scientific computing. He has taught at the Evergreen State College and has been a visiting researcher at Microsoft Research. He is the author of The Way of Z: Practical Programming with Formal Methods.

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.

Margus Veanes is a researcher in the Foundations of Software Engineering (FSE) group at Microsoft Research and a co-designer and co-developer of the Spec Explorer tool.

Wolfram Schulte is a research area manager at Microsoft Research, managing the FSE group, the Programming Languages and Methods (PLM) group, and the Software Design and Implementation (SDI) group.

Détails de l'édition

• Éditeur: Cambridge University Press
• Date d'édition: 2007
• Langue: anglais
• ISBN 10: 0521886554
• ISBN 13: 9780521886550
• Reliure: Relié
• Numéro d'édition: 1
• Nombre de pages: 366
• Coordonnées du fabricant: non disponible
• Personne responsable: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; France