This volume contains the proceedings of TESTCOM/FATES 2009, a Joint Conference of the 21st IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 9th International Workshop on Formal Approachesto Testing of Software (FATES). TESTCOM/FATES 2009 was held in Eindhoven, The Netherlands, during November 2 4, 2009. In this edition, TESTCOM/FATES was part of the ?rst Formal Methods Week (FMweek). TESTCOM/FATES aims at being a forum for researchers, developers, and testers to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the ?eld of testing of communicating systemsandsoftware.TESTCOMhasa longhistory.Previouslyitwascalled- ternationalWorkshoponProtocolTest Systems (IWPTS) and changedits name latertoInternationalWorkshoponTestingofCommunicatingSystem(IWTCS). The previous events were held in Vancouver, Canada (1988); Berlin, Germany (1989);McLean,USA (1990);Leidschendam,TheNetherlands(1991);Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt,Germany(1996);Cheju Island,Korea(1997);Tomsk,Russia(1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); Sophia Antipolis, France (2003); Oxford, UK (2004); Montr´ eal, Canada (2005) andNew York,USA (2006).FATESalsohasits history.The previousworkshops were held in Aalborg, Denmark (2001); Brno, Czech Republic (2002); Montr´ eal, Canada (2003); Linz, Austria (2004); Edinburgh, UK (2005) and Seattle, USA (2006). TESTCOM and FATES became a joint conference in 2007: It has been held in Tallinn, Estonia (2007) and Tokyo, Japan (2008).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009.
The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 6,90 per la spedizione da Germania a Italia
Destinazione, tempi e costiEUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiDa: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 260 | Sprache: Englisch | Produktart: Bücher. Codice articolo 5946186/2
Quantità: 1 disponibili
Da: moluna, Greven, Germania
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Regular Papers.- Testing Real-Time Systems Using TINA.- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.- Testing k-Safe Petri Nets.- Implementing MSC Tests with Quiescence Observation.- Testing Timed Finite State M. Codice articolo 5044488
Quantità: Più di 20 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. 260 pp. Englisch. Codice articolo 9783642050305
Quantità: 2 disponibili
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. Codice articolo 9783642050305
Quantità: 1 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. Codice articolo 9783642050305
Quantità: 2 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9783642050305_new
Quantità: Più di 20 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 260. Codice articolo 261375929
Quantità: 4 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 1st edition. 247 pages. 9.29x6.06x0.63 inches. In Stock. Codice articolo x-3642050301
Quantità: 2 disponibili
Da: Majestic Books, Hounslow, Regno Unito
Condizione: New. Print on Demand pp. 260 Illus. Codice articolo 6504806
Quantità: 4 disponibili
Da: Biblios, Frankfurt am main, HESSE, Germania
Condizione: New. PRINT ON DEMAND pp. 260. Codice articolo 181375923
Quantità: 4 disponibili