This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4-5, 2009 in Bologna, Italy. There …
This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010. The 30 …
This book constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. …
This volume constitutes the refereed proceedings of the Fourth European Conference, ServiceWave 2011, held in Poznan, Poland, in October 2011. The 25 revised full papers presented …
This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated …
Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. …
This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. …
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April …
1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during …
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September …
