Produktbild
Jonathan (University of Washington) Jacky

Model-based Software Testing and Analysis with C#

Buch

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

CHF 145.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Veanes, Margus / Campbell, Colin / Schulte, Wolfram
  • ISBN: 978-0-521-88655-0
  • EAN: 9780521886550
  • Produktnummer: 6716419
  • Verlag: Cambridge University Press
  • Sprache: Englisch
  • Erscheinungsjahr: 2007
  • Seitenangabe: 366 S.
  • Masse: H24.0 cm x B18.2 cm x D2.1 cm 740 g
  • Abbildungen: Worked examples or Exercises; 2 Tables, unspecified
  • Gewicht: 740
  • Sonstiges: Tertiary Education (US: College)

Über den Autor


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.

Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.