Cargando…

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /

This book constitutes the refereed proceedings of the Second International Conference on Test and Proofs, TAP 2008, held in Prato, Italy, in April 2008. The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected f...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Beckert, Bernhard (Editor ), Hähnle, Reiner (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:	1st ed. 2008.
Colección:	Programming and Software Engineering, 4966
Temas:	Software engineering. Electronic digital computers-Evaluation. Computer science. Computer networks . Computers and civilization. Software Engineering. System Performance and Evaluation. Computer Science Logic and Foundations of Programming. Computer Communication Networks. Computers and Society.
Acceso en línea:	Texto Completo

Ejemplares similares

Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
Publicado: (2007)

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Publicado: (2009)

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings /
Publicado: (2005)

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers /
Publicado: (2006)

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers /
Publicado: (2007)

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings /
Publicado: (2005)

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings /
Publicado: (2008)

Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
Publicado: (2006)

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings /
Publicado: (2007)

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
Publicado: (2006)

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
Publicado: (2008)

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings /
Publicado: (2008)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings /
Publicado: (2011)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /
Publicado: (2011)

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /
Publicado: (2016)

The Testing Network An Integral Approach to Test Activities in Large Software Projects /
por: Henry, Jean-Jacques Pierre
Publicado: (2008)

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings /
Publicado: (2008)

Passive and Active Network Measurement 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008, Proceedings /
Publicado: (2008)

Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings /
Publicado: (2009)

Next Generation Teletraffic and Wired/Wireless Advanced Networking 8th International Conference, NEW2AN 2008 and 1st Russian Conference on Smart Spaces, ruSMART, St. Petersburg, Russia, September 3-5, 2008, Proceedings /
Publicado: (2008)

Euro-Par 2008 Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings /
Publicado: (2008)

Testbeds and Research Infrastructure: Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers /
Publicado: (2012)

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings /
Publicado: (2014)

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings /
Publicado: (2008)

Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
Publicado: (2016)

NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009, Proceedings /
Publicado: (2009)

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
Publicado: (2014)

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /
Publicado: (2012)

Challenges for Next Generation Network Operations and Service Management 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings /
Publicado: (2008)

Distributed Applications and Interoperable Systems 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
Publicado: (2014)

Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings /
Publicado: (2006)

Optical Network Design and Modeling 11th International IFIP-TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007, Proceedings /
Publicado: (2007)

Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings /
Publicado: (2009)

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /
Publicado: (2016)

Distributed Applications and Interoperable Systems 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Publicado: (2015)

Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers /
Publicado: (2009)

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /
Publicado: (2009)

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings /
Publicado: (2007)

Testbeds and Research Infrastructure: Development of Networks and Communities 7th International ICST Conference, TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers /
Publicado: (2012)

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers /
Publicado: (2013)

Cannot write session to /tmp/vufind_sessions/sess_pi35rv3et6ksqma29n041jtemv