Articoli correlati a Formal Methods and Testing: An Outcome of the FORTEST...
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering): 4949 - Brossura
Sinossi
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g. precision, clarity, provability) with the advantages of testing (e.g. scalability, generality, applicability).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Model Based Testing with Labelled Transition Systems.- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.- Testing Real-Time Systems Using UPPAAL.- Coverage Criteria for State Based Specifications.- Testing in the Distributed Test Architecture.- Testing from X-Machine Specifications.- Testing Data Types Implementations from Algebraic Specifications.- From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.- Comparing the Effectiveness of Testing Techniques.- The Test Technology TTCN-3.- Testability Transformation – Program Transformation to Improve Testability.- Modelling the Effects of Combining Diverse Software Fault Detection Techniques.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540789162
- ISBN 13 9783540789161
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine388
- RedattoreHierons Robert M.
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 58,97
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Formal Methods and Testing: An Outcome of the FORTEST...
Foto dell'editore
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-C-081-00891
Quantità: 1 disponibili
Foto dell'editore
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers
Editore:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540789162
ISBN 13: 9783540789161
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2008 | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Codice articolo 4355884/12
Quantità: 1 disponibili
Foto dell'editore
Formal Methods And Testing
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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-156736
Quantità: 1 disponibili
Foto dell'editore
Formal Methods And Testing
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-341844
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods and Testing
Editore:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540789162
ISBN 13: 9783540789161
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) meth. Codice articolo 4901075
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods and Testing
Editore:
Springer Berlin Heidelberg Apr 2008, 2008
ISBN 10: 3540789162
ISBN 13: 9783540789161
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability). 388 pp. Englisch. Codice articolo 9783540789161
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers
Editore:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540789162
ISBN 13: 9783540789161
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability). Codice articolo 9783540789161
Quantità: 1 disponibili
Foto dell'editore
Formal Methods and Testing
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 388. Codice articolo 26294831
Quantità: 1 disponibili
Foto dell'editore
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540789161_new
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods and Testing
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 388 Illus. Codice articolo 7585904
Quantità: 1 disponibili