TY - BOOK ID - 38296829 TI - 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 AU - Bravetti, Mario. AU - Kloul, Leila. AU - Zavattaro, Gianluigi. AU - EPEW 2005 PY - 2005 SN - 9783540319030 PB - Berlin : Springer, DB - UniCat KW - software engineering KW - Computer. Automation KW - maatschappij KW - Computer architecture. Operating systems KW - informatica KW - computernetwerken KW - computerbesturingssystemen KW - programmeren (informatica) KW - Computer science KW - Formal methods (Computer science) KW - Stochastic models KW - Computer systems KW - Evaluation KW - Software engineering. KW - Computer Communication Networks. KW - Logic design. KW - Computer system performance. KW - Computer science. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - System Performance and Evaluation. KW - Computers and Society. KW - Informatics KW - Science KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer software engineering KW - Engineering KW - Computer communication systems. KW - Computer logic. KW - Computer system failures. KW - Computers and civilization. KW - Civilization and computers KW - Civilization KW - Computer failures KW - Computer malfunctions KW - Failure of computer systems KW - System failures (Engineering) KW - Fault-tolerant computing KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Electronic data processing KW - Network computers KW - Failures KW - Distributed processing KW - Computer networks. KW - Electronic digital computers—Evaluation. KW - Computer Science Logic and Foundations of Programming. UR - https://www.unicat.be/uniCat?func=search&query=sysid:38296829 AB - This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit´ ede VersaillesSaint-Quentin-en-Yvelines,V- sailles, France, 1-3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci?cation, analysis and veri?cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers. We therefore owe special thanks to all members of both program committees of EPEW and WS-FM and their sub-referees for the excellent work they did in the short time they had. Additionally, this proceedings includes four invited papers, by Gianfranco Ciardo (University of California at Riverside), Peter G. Harrison (Imperial C- lege London), Cosimo Laneve (University of Bologna) and Wil van der Aalst (Eindhoven University of Technology). These contributions brought an ad- tional dimension to the technical and the scienti?c merit of these workshops. Finally,ourthanksgototheUniversityofVersaillesSaint-Quentin-en-Yvelines, its Laboratoire PRiSM and the CNRS for hosting the workshops and providing technicaland?nancialsupport. ER -