Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Book
ISBN: 9783642050312 Year: 2009 Publisher: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Complex analysis --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- complexe analyse (wiskunde) --- vormgeving --- simulaties --- programmeren (informatica) --- programmeertalen --- software engineering
Book
ISBN: 9783540388654 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This volume contains the proceedings of the international workshop WS-FM (Web Services and Formal Methods) held at Vienna University of Technology, Vienna, Austria, during September 8-9, 2006. The International Workshop on Web Services and Formal Methods aims to bring together researchers working on Web services and formal methods in - der to activate a fruitful collaboration in this direction of research. This, pot- tially, could also have a great impact on the current standardization phase of Web service technologies. The main topics of the conference include: protocols and standards for WS (SOAP, WSDL, UDDI, etc. ); languages and descripion methodologies for Choreography/Orchestration/Work?ow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc. ); coordination techniques for WS (tra- actions, agreement, coordination services, etc. ); semantics-based dynamic WS discovery services (based on Semantic Web/ontology techniques or other - mantic theories); security, performance evaluation and quality of service of WS; semi-structureddata and XML relatedtechnologies; comparisonswith di?erent related technologies/approaches. This third edition of the workshop (WS-FM 2006) featured 15 papers - lected among 40 submissions after a rigorous review process by international reviewers and three invited talks by Wil van der Aalst (Eindhoven University of Technology, The Netherlands), Roberto Bruni (University of Pisa, Italy) and Schahram Dustdar (Vienna University of Technology, Austria). These contri- tions brought an additional dimension to the technical and the scienti?c merit of the workshop. This volume of the proceedings contains the 15 selected papers and three papers related to the invited talks.
Computer science --- Computer architecture. Operating systems --- Computer. Automation --- informatica --- maatschappij --- computerbesturingssystemen --- programmeren (informatica) --- software engineering --- computernetwerken
Book
ISBN: 9783540497035 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc. The FATES/RV 2006 workshop selected 14 high-quality papers out of 31 submissions. Each paper underwent at least three anonymous reviews by either PCmembersorexternalreviewersselectedbythem.Inadditiontothe14regular papers, the proceedings contain two papers corresponding to the invited talks by Wolfgang Grieskamp (Microsoft Research, USA) and Oege de Moor (Oxford University, UK). This was the ?rst time that the two workshops, FATES and RV, were held together. The success of this joint edition shows that the integration of these two communities can be pro?table for both of them. Previous editions of these two events were held in the following places: FATES 2001 was held in A- borg (Denmark) and FATES 2002 in Brno (Czech Republic). In both cases, the workshop was a?liated with CONCUR. FATES 2003 and FATES 2004 were held in Montreal(Canada)and Vienna (Austria), respectively,in a?liationwith ASE.FATES 2005wasco-locatedwith CAV in Edinburgh(UK). Since 2003,the FATES workshop proceedings have been published by Springer (LNCS series).
Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- informatica management
| Listing 1 - 3 of 3 |
Sort by
|