ENGLISH

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

By Zakaria Maamar , Manuel Nunez , Chun Ouyang , Jonathan Billington (auth.) , Fernando L. Pelayo , Key Pousttchi , Fernando Rubio (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
978-3-540-23169-1, 978-3-540-30233-9
DOI
10.1007/b100825
Language
english
Format
PDF
Filesize
3 MB (3552850 bytes)
Series
Lecture Notes in Computer Science 3236
Edition
1
Pages
379\391
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Software Engineering; Computer Communication Netwo

Description

This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004. The 27 revised full papers presented were carefully reviewed and selected from a total of 62 submissions. The papers are grouped in three topical sections corresponding to the workshop topics.

Similar books