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).
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 6,90 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoEUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoLibrería: Buchpark, Trebbin, Alemania
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 260 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 5946186/2
Cantidad disponible: 1 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783642050305
Cantidad disponible: 2 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783642050305
Cantidad disponible: 1 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9783642050305_new
Cantidad disponible: Más de 20 disponibles
Librería: moluna, Greven, Alemania
Kartoniert / Broschiert. Condición: 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. Nº de ref. del artículo: 5044488
Cantidad disponible: Más de 20 disponibles
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783642050305
Cantidad disponible: 2 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 1st edition. 247 pages. 9.29x6.06x0.63 inches. In Stock. Nº de ref. del artículo: x-3642050301
Cantidad disponible: 2 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. pp. 260. Nº de ref. del artículo: 261375929
Cantidad disponible: 4 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Print on Demand pp. 260 Illus. Nº de ref. del artículo: 6504806
Cantidad disponible: 4 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642050305
Cantidad disponible: 10 disponibles