Articoli correlati a Model-Based Software Testing and Analysis with C#

Model-Based Software Testing and Analysis with C# - Brossura

 
9780521687614: Model-Based Software Testing and Analysis with C#

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sugli autori

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreCambridge University Press
  • Data di pubblicazione2008
  • ISBN 10 0521687616
  • ISBN 13 9780521687614
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero edizione1
  • Numero di pagine366
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: buono
Pages can have notes/highlighting...
Visualizza questo articolo

EUR 8,74 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

EUR 10,39 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780521886550: Model-Based Software Testing and Analysis with C#

Edizione in evidenza

ISBN 10:  0521886554 ISBN 13:  9780521886550
Casa editrice: Cambridge University Press, 2007
Rilegato

Risultati della ricerca per Model-Based Software Testing and Analysis with C#

Foto dell'editore

Jacky, Jonathan; Veanes, Margus; Campbell, Colin
ISBN 10: 0521687616 ISBN 13: 9780521687614
Antico o usato Paperback

Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.35. Codice articolo G0521687616I3N00

Contatta il venditore

Compra usato

EUR 7,92
Convertire valuta
Spese di spedizione: EUR 8,74
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Schulte Wolfram Campbell Colin Veanes Margus Jacky Jonathan
ISBN 10: 0521687616 ISBN 13: 9780521687614
Nuovo Brossura

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 368. Codice articolo 8329583

Contatta il venditore

Compra nuovo

EUR 15,60
Convertire valuta
Spese di spedizione: EUR 10,39
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
ISBN 10: 0521687616 ISBN 13: 9780521687614
Antico o usato Paperback

Da: Bill & Ben Books, Faringdon, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Very Good. This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods. Codice articolo 0103744

Contatta il venditore

Compra usato

EUR 14,50
Convertire valuta
Spese di spedizione: EUR 11,86
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Wolfram Schulte , Colin Campbell, Margus Veanes,Jonathan Jacky,
ISBN 10: 0521687616 ISBN 13: 9780521687614
Nuovo Brossura

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-141347

Contatta il venditore

Compra nuovo

EUR 41,53
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Wolfram Schulte , Colin Campbell, Margus Veanes,Jonathan Jacky,
ISBN 10: 0521687616 ISBN 13: 9780521687614
Nuovo Brossura

Da: Basi6 International, Irving, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-105332

Contatta il venditore

Compra nuovo

EUR 41,53
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Jacky, Jonathan, et al.
ISBN 10: 0521687616 ISBN 13: 9780521687614
Nuovo Paperback

Da: Academybookshop, Long Island City, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: new. Codice articolo 17-11-Model-Based

Contatta il venditore

Compra nuovo

EUR 6,39
Convertire valuta
Spese di spedizione: EUR 38,73
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 17 disponibili

Aggiungi al carrello

Foto dell'editore

Jacky, Jonathan
ISBN 10: 0521687616 ISBN 13: 9780521687614
Nuovo Paperback

Da: Academybookshop, Long Island City, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Codice articolo 17-11-Model-Based-ukcmbg

Contatta il venditore

Compra nuovo

EUR 6,39
Convertire valuta
Spese di spedizione: EUR 38,73
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 16 disponibili

Aggiungi al carrello

Foto dell'editore

Jacky, Jonathan
ISBN 10: 0521687616 ISBN 13: 9780521687614
Nuovo PAP

Da: PBShop.store US, Wood Dale, IL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo FM-9780521687614

Contatta il venditore

Compra nuovo

EUR 50,06
Convertire valuta
Spese di spedizione: EUR 1,22
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Jacky, Jonathan
ISBN 10: 0521687616 ISBN 13: 9780521687614
Nuovo PAP

Da: PBShop.store UK, Fairford, GLOS, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo FM-9780521687614

Contatta il venditore

Compra nuovo

EUR 47,30
Convertire valuta
Spese di spedizione: EUR 6,18
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Jonathan Jacky/ Margus Veanes/ Colin Campbell/ Wolfram Schulte
Editore: Cambridge Univ Pr, 2008
ISBN 10: 0521687616 ISBN 13: 9780521687614
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock. Codice articolo __0521687616

Contatta il venditore

Compra nuovo

EUR 47,44
Convertire valuta
Spese di spedizione: EUR 11,74
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 6 copie di questo libro

Vedi tutti i risultati per questo libro